| |
Computer Aided Verification (2009), pp. 682-688.
|
| |
Journal of Applied Logic, Vol. 5, No. 4. (December 2007), pp. 613-624.
|
| |
ACM Trans. Inf. Syst. Secur., Vol. 1, No. 1. (November 1998), pp. 66-92.
|
| |
Automata, Languages and Programming (2006), pp. 107-118.
|
| |
Computer Security Foundations Workshop III, 1990. Proceedings In Computer Security Foundations Workshop III, 1990. Proceedings (1990), pp. 32-41.
|
| |
In In Proc. Third ACM Conference on Computer and Communications Security (1996), pp. 95-105.
|
| |
In STOC '86: Proceedings of the eighteenth annual ACM symposium on Theory of computing (1986), pp. 304-315.
|
| |
Fundam. Inform., Vol. 72, No. 1-3. (2006), pp. 215-234.
|
| |
Theor. Comput. Sci., Vol. 367, No. 1. (November 2006), pp. 123-138.
|
| |
Electronic Notes in Theoretical Computer Science In Proceedings of the Workshop "Essays on Algebraic Process Calculi" (APC 25), Vol. 162 (29 September 2006), pp. 277-279.
|
| |
|
| |
Logic Journal of the IGPL, Vol. 9, No. 2. (2001)
|
| |
J. ACM, Vol. 39, No. 3. (1992), pp. 449-478.
|
| |
In IJCAI (2007), pp. 1384-1389.
|
| |
Electr. Notes Theor. Comput. Sci., Vol. 55, No. 1. (2001)
|
| |
In Proceedings 1990 IEEE Symposium on Research in Security and Privacy (1990), pp. 234-248.
|
| |
Electron. Notes Theor. Comput. Sci., Vol. 168 (2007), pp. 159-174.
|
| |
Autonomous Agents and Multi-Agent Systems
|
| |
J. Applied Logic, Vol. 5, No. 2. (2007), pp. 235-251.
|
| |
In Formalizing Common Sense - Papers by John McCarthy (1990), pp. 158-166.
|
Search
