bookmarks (hide)36
publications (hide)193
- Proceedings of the 17th ACM SIGPLAN symposium on Principles and Practice of Parallel Programming, page 141--150. New York, NY, USA, ACM, (2012)
- Proceedings of the 7th ACM international conference on Computing frontiers, page 53--62. New York, NY, USA, ACM, (2010)
- Journal of Computer Security, (1998)
- (2000)
- (2007)cite arxiv:cs/0701064.
- Proceedings of the 2003 ACM workshop on Formal methods in security engineering, page 11--23. New York, NY, USA, ACM, (2003)
- Electronic Notes in Theoretical Computer Science, 172 (0): 311 - 358 (2007)<ce:title>Computation, Meaning, and Logic: Articles dedicated to Gordon Plotkin</ce:title>.
- Journal of Cryptology, (2011)
- PROCEEDINGS THE 20TH INTERNATIONAL SYMPOSIUM ON DISTRIBUTED COMPUTING (DISC 2006). VOLUME 4167 OF LNCS., SPRINGER (2006) 238–253 INVITED PAPER, page 238--253. Springer, (2006)
- Design and Validation of Concurrent Systems, 09361, Dagstuhl, Germany, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany, (2010)
- Proceedings of the Joint 11th IFIP WG 6.1 International Conference FMOODS '09 and 29th IFIP WG 6.1 International Conference FORTE '09 on Formal Techniques for Distributed Systems, page 198--212. Berlin, Heidelberg, Springer-Verlag, (2009)
- TU Munchen, (1999)
- (2004)cite arxiv:math/0408282 Comment: Appears in Annals of Mathematics, 2006. 5 pages + references. Version 1 is submitted version; v3 is final published version (in two-column format rather than Annals style). Changes for v2: dualised definition of combinatorial truth, thereby shortening some subsequent proofs; added references; corrected typos; minor reworking of some sentences/paragraphs; added comments on polynomial-time correctness (referee request). Changes for v3: corrected two typos, reworded one sentence, repeated a citation in Notes section.
- volume 670 of Lecture Notes in Computer Science, page 482--500. Odense, Denmark, Springer-Verlag, (April 1993)
- (2009)
- icdcsw, (2001)
- Cornell University, Ithaca, NY, (2001)
- Theorem Proving in Higher Order Logics, (2001)
- ACM SIGOPS Operating Systems Review, 43 (4): 25--30 (2010)
- (2005)
