Conference The logic of authentication protocols 2001 • Lecture Notes in Computer Science • 2171 LNCS:63-137 Syverson P, Cervesato I
Journal Article Typed MSR: Syntax and examples 2001 • Lecture Notes in Computer Science • 2052:159-177 Cervesato I
Conference Typed multiset rewriting specifications of security protocols 2001 • Electronic Notes in Theoretical Computer Science • 40:8-51 Cervesato I
Conference A calculus of macro-events: Progress report 2000 • Proceedings of the International Workshop on Temporal Representation and Reasoning • 2000-January:47-58 Cervesato I, Montanari A
Journal Article A guided tour through some extensions of the event calculus 2000 • Computational Intelligence • 16(2):307-347 Cervesato I, Franceschet M, Montanari A
Journal Article Efficient resource management for linear logic proof search 2000 • Theoretical Computer Science • 232(1-2):133-163 Cervesato I, Hodas JS, Pfenning F
Conference Relating strands and multiset rewriting for security protocol analysis 2000 • Proceedings of the Computer Security Foundations Workshop • 35-51 Cervesato I, Durgin N, Mitchell J, Lincoln P, Scedrov A
Journal Article A general modal framework for the Event Calculus and its skeptical and credulous variants 1999 • Journal of Logic Programming • 38(2):111-164 Cervesato I, Montanari A
Journal Article Meta-notation for protocol analysis 1999 • Proceedings of the Computer Security Foundations Workshop • 55-69 Cervesato I, Durgin NA, Lincoln PD, Mitchell JC, Scedrov A
Conference Event calculus with explicit quantifiers 1998 • Proceedings of the International Workshop on Temporal Representation and Reasoning • 81-88 Cervesato I, Franceschet M, Montanari A
Conference Linear higher-order pre-unification 1997 • Proceedings - Symposium on Logic in Computer Science • 422-433 Cervesato I, Pfenning F
Conference Modal event calculi with preconditions 1997 • Proceedings of the International Workshop on Temporal Representation and Reasoning • 38-45 Cervesato I, Franceschet M, Montanari A
Conference A linear logical framework 1996 • Proceedings - Symposium on Logic in Computer Science • 264-275 Cervesato I, Pfenning F
Conference Efficient resource management for linear logic proof search 1996 • Lecture Notes in Computer Science • 1050:67-81 Cervesato I, Hodas JS, Pfenning F
Conference Logic meta-programming facilities in ’LOG 1992 • Lecture Notes in Computer Science • 649 LNCS:148-161 Cervesato I, Rossi GF
Journal Article Relating Reasoning Methodologies in Linear Logic and Process Algebra (CMU-CS-11-145, CMU-CS-QTR-111) 1978 Deng Y, Simmons RJ, Cervesato I
Journal Article Proceedings First International Workshop on Focusing • Electronic Proceedings in Theoretical Computer Science • 197: Cervesato I, Schürmann C
Journal Article Proceedings Fourth International Workshop on Linearity • Electronic Proceedings in Theoretical Computer Science • 238: Cervesato I, Fernández M
Journal Article Proceedings Third International Workshop on Linearity • Electronic Proceedings in Theoretical Computer Science • 176: Alves S, Cervesato I
