Publications

• 2012
  • With Yuxin Deng and Robert J. Simmons: Relating Reasoning Methodologies in Linear Logic and Process Algebra, Second International Workshop on Linearity — LINEARITY'12 (Sandra Alves and Ian Mackie, editors), Tallinn, Estonia, 1 April 2012. Linear logic, process algebra, induction, coinduction, contextual preorder, simulation, labeled transition system
• 2011
  • With Yuxin Deng and Robert J. Simmons: Relating Reasoning Methodologies in Linear Logic and Process Algebra, Technical Report CMU-CS-11-145, Department of Computer Science, Carnegie Mellon University, Pittsburgh, PA, December 2011. Linear logic, process algebra, CCS, pi-calculus, meta-reasoning, logical preorder, contextual preorder, simulation, labeled transition systems, equivalence, induction, coinduction
  • MSR 2.0: Language Definition and Programming Environment, Technical Report CMU-CS-11-141, Department of Computer Science, Carnegie Mellon University, Pittsburgh, PA, November 2011. MSR 2.0, multiset rewriting, specification language, language definition, syntax, typing, execution, type reconstruction, CMUQ, NPRP 09-667-1-100
  • Typed Multiset Rewriting Specifications of Security Protocols, Technical Report CMU-CS-11-140, Department of Computer Science, Carnegie Mellon University, Pittsburgh, PA, October 2011. Specification of Security Protocol, Dolev-Yao Model, Parallel Multiset Rewriting, Dependent Types, Subsorting, Data Access Specification, Dolev-Yao Intruder, Strongest Attacker, CMUQ, NPRP 09-667-1-100
  • With Andreas Karatsolis, Nael Abu-Ghazaleh, Yonina Cooper, Khaled Harras, Kemal Oflazer and Thierry Sans: Getting CS Undergraduates to Communicate Effectively, 16th Annual AMC Conference on Innovation and Technology in Computer Science Education — ITiCSE'11 (Guido Rößling, Tom Naps and Christian Spannagel, editors), 283-287, ACM Press, Darmstadt, Germany, 27-29 June 2011. ACM. Computer Science Education, CS Education, Writing
  • Discovering Logic through Comics, 16th Annual AMC Conference on Innovation and Technology in Computer Science Education — ITiCSE'11 (Guido Rößling, Tom Naps and Christian Spannagel, editors), 103-107, ACM Press, Darmstadt, Germany, 27-29 June 2011. ACM. Computer Science eduction, freshmen year, first-year of college, logic, computational thinking, comic book, logicomix, communication skills, history of CS
  • With Andreas Karatsolis, Nael Abu-Ghazaleh, Yonina Cooper, Khaled Harras, Kemal Oflazer and Thierry Sans: Getting CS Undergraduates to Communicate Effectively (short paper), 42nd ACM Technical Symposium on Computer Science Education — SIGCSE'11 (Thomas Cortina, Ellen Walker and Laurie Smith King, editors), 711, ACM Press, Dallas, TX, 9-12 March 2011. ACM. Computer Science Education, CS Education, Writing
  • With Michael Backes, Aaron D. Jaggard, Andre Scedrov and Joe-Kai Tsay: Cryptographically Sound Security Proofs for Basic and Public-Key Kerberos, International Journal of Information Security — IJIS, vol. 10(2), 107-134, Springer Verlag, 2011. Security, Kerberos, Dolev-Yao model, PKINIT, computational model
    web
• 2010
  • With Thierry Sans: QWeSST for Type-Safe Web Programming, Third International Workshop on Logics, Agents, and Mobility — LAM'10, vol. 7(1), EPiC (Berndt Farwer, editor), 96-111, EasyChair Publications, Edinburgh, Scotland, UK, 15 July 2010. Web programming, type safety, Qwesst, mobile
    web
  • With Thierry Sans: Type-Safe Web Programming in QWeSST, Technical Report CMU-CS-10-125, Department of Computer Science, Carnegie Mellon University, Pittsburgh, PA, June 2010. Web programming, type safety, Qwesst, mobile, parallelism
• 2009
  • With Andre Scedrov: Relating State-Based and Process-Based Concurrency through Linear Logic, Information & Computation, vol. 207(10), 1044-1077, Elsevier, October 2009. Elsevier. linear logic, Petri nets, multiset rewriting, process algebra, security
    web
• 2008
  • With Helmut Veith and Andrei Voronkov (co-editors): Logic for Programming, Artificial Intelligence and Reasoning, Proceedings of the 15th International conference — LPAR'08, Springer-Verlag LNCS 5330, 713 + XI, Doha, Qatar, November 2008. Springer-Verlag.
  • On Teaching Programming Languages Using a Wiki, The 2008 Communication Symposium at Carnegie Mellon University: Developing Disciplinary Literacy — CS'08 (D. Wetzel, editor), 1-3, Pittsburgh, PA, 9-11 June 2008.
  • With Aaron D. Jaggard, Joe-Kai Tsay, Andre Scedrov and Christopher Walstad: Breaking and Fixing Public-Key Kerberos, Information & Computation, vol. 206(2-4), 402-424, Elsevier, April 2008. Elsevier. Security, Kerberos, Dolev-Yao model, PKINIT
• 2007
  • Advances in Computer Science: Computer and Network Security, Proceedings of the 12th Annual Asian Computing Conference — ASIAN'07, Springer-Verlag LNCS 4846, 310 + XI, Doha, Qatar, December 2007. Springer-Verlag.
  • NEXCEL, a Deductive Spreadsheet, The Knowledge Engineering Review, vol. 22, 221-236, November 2007.
  • With Kevin Watkins, Frank Pfenning and David Walker: Specifying Properties of Concurrent Computations in CLF, Fourth Workshop on Logical Frameworks and Meta-languages — LFM'04 (Carsten Schuermann, editor), 67-87, Elsevier ENTCS 199, Cork, Ireland, 5 July 2004, revised October 2007. Elsevier.
    web
  • With Catherine Meadows: One Picture is Worth a Dozen Connectives: A Fault-Tree Representation of NPATRL Security Requirements, IEEE Transactions on Dependable and Secure Computing, vol. 4(3), 216-227, IEEE Computer Society Press, July 2007.
    web
  • With Mark-Oliver Stehr: Representing the MSR Cryptoprotocol Specification Language in an Extension of Rewriting Logic with Dependent Types, Higher-Order and Symbolic Computation, vol. 20(1/2) (Narciso Martí-Oliet, Grigore Rosu and Carolyn Talcott, editors), 3-35, Kluwer Academic Publishing, June 2007.
    web
• 2006
  • With Aaron D. Jaggard, Joe-Kai Tsay, Andre Scedrov and Christopher Walstad: Breaking and Fixing Public-Key Kerberos, Eleventh Annual Asian Computing Science Conference — ASIAN'06 (Mitsu Okada and Ichiro Satoh, editors), 167-181, Springer-Verlag LNCS 4435, Tokyo, Japan, 6-8 December 2006. Springer-Verlag. Post-conference proceedings.
    web
  • With Catherine Meadows and Dusko Pavlovic: Deriving Key Distribution Protocols and their Security Properties, Technical Report CMU-CS-06-172, Department of Computer Science, Carnegie Mellon University, Pittsburgh, PA, June 2005, revised December 2006.
  • With Frederic Butler, Aaron D. Jaggard, Andre Scedrov and Christopher Walstad: Formal Analysis of Kerberos 5, Theoretical Computer Science, vol. 367(1-2), 57-87, November 2006.
    web
  • A Spreadsheet for Everyday Symbolic Reasoning, AAAI 2006 Fall Symposium on Integrating Reasoning into Everyday Applications — EVERYDAY'06 (M. Kassoff, H. Stuckenschmidt, A. Valente and M. Witbrock, editors), 1-8, Technical Report FS-06-04 (AAAI Press), Arlington, VA, 14 October 2006.
  • With Michael Backes, Aaron D. Jaggard, Andre Scedrov and Joe-Kai Tsay: Cryptographically Sound Security Proofs for Basic and Public-Key Kerberos, 11th European Symposium On Research In Computer Security — ESORICS'06 (D. Gollmann and A. Sabelfeld, editors), 362-383, IEEE Computer Society Press, Hamburg, Germany, 18-20 September 2006.
    webby Joe-Kai Tsay
  • With Andre Scedrov: Relating State-Based and Process-Based Concurrency through Linear Logic, 13th Workshop on Logic, Language, Information and Computation — WoLLIC'06 (Ruy de Queiroz, editor), 145-176, Elsevier ENTCS 165, Stanford, CA, 18-21 July 2006.
    web
  • With Aaron D. Jaggard, Joe-Kai Tsay, Andre Scedrov and Christopher Walstad: Breaking and Fixing Public-Key Kerberos, Sixth Workshop on Issues in the Theory of Security — WITS'06 (Dieter Gollmann and Jan Jürjens, editors), 55-70, Vienna, Austria, 25-26 March 2006.
  • Towards a Notion of Quantitative Security Analysis, Quality of Protection: Security Measurements and Metrics — QoP'05 (Dieter Gollmann, Fabio Massacci and Artsiom Yautsiukhin, editors), 131-144, Springer-Verlag Advances in Information Security 23, 2006. Springer-Verlag. Revised Papers of the First Workshop on Quality of Protection, Milan, Italy, 15 September 2005.
• 2005
  • The Deductive Spreadsheet, Technical Report DS05-02, Deductive Solutions, Annandale, VA, August 2005.
  • With Catherine Meadows and Dusko Pavlovic: An Encapsulated Authentication Logic for Reasoning About Key Distribution Protocol, Eighteenth Computer Security Foundations Workshop — CSFW-18, 48-61, IEEE Computer Society Press, Aix-en-Provence, France, 20-22 June 2005.
  • With Nancy Durgin, Patrick D. Lincoln, John C. Mitchell and Andre Scedrov: A Comparison between Strand Spaces and Multiset Rewriting for Security Protocol Analysis, Journal of Computer Security, vol. 13(2), 265-316, IOS Press, April 2005.
    web
  • The Deductive Spreadsheet: Mid-Project Report, Technical Report DS05-01, Deductive Solutions, Annandale, VA, March 2005.
  • With Serge Autexier and Heiko Mantel: Special issue on FCS/VERIFY 2002, International Journal of Information Security, vol. 4(1), February 2005.
  • With Stefano Bistarelli, Gabriele Lenzini and Fabio Martinelli: Relating Multiset Rewriting and Process Algebras for Security Protocol Analysis, Journal of Computer Security, vol. 13(1) (Roberto Gorrieri, editor), 3-47, IOS Press, February 2005.
    web
  • With Aaron D. Jaggard, Andre Scedrov and Christopher Walstad: Specifying Kerberos 5 Cross-Realm Authentication, Fifth Workshop on Issues in the Theory of Security — WITS'05 (Catherine Meadows and Jan Jürjens, editors), 12-26, ACM Digital Library, Long Beach, CA, 10-11 January 2005.
    webby Christopher Walstad
• 2004
  • With Catherine Meadows and Paul F. Syverson: Formal Specification and Analysis of the Group Domain of Interpretation using NPATR and the NRL Protocol Analyzer, Journal of Computer Security, vol. 12(6) (Sabrina De Capitani di Vimercati, editor), 893-932, IOS Press, November 2004.
    web
  • The Logical Meeting Point of Multiset Rewriting and Process Algebra: Progress Report, Technical Memo CHACS-5540-153, Center for High Assurance Computer Systems, Naval Research Laboratory, Washington, DC, September 2004.
  • Fine-Grained MSR Specifications for Quantitative Security Analysis, Fourth Workshop on Issues in the Theory of Security — WITS'04 (Peter Ryan, editor), 111-127, Barcelona, Spain, 3-4 April 2004.
  • With Frederic Butler, Aaron D. Jaggard and Andre Scedrov: A Formal Analysis of Some Properties of Kerberos 5 Using MSR, Technical Report MS-CIS-04-04, Department of Computer and Information Science, University of Pennsylvania, Philadelphia, PA, April 2004.
  • With Mark-Oliver Stehr: Representing the MSR Cryptoprotocol Specification Language in an Extension of Rewriting Logic with Dependent Types, Fifth International Workshop on Rewriting Logic and its Applications — WRLA'04 (Narciso Martí-Oliet, editor), 183-207, Elsevier ENTCS 117, Barcelona, Spain, 27-28 March 2004.
    web
• 2003
  • With Frank Pfenning: A Linear Spine Calculus, Journal of Logic and Computation, vol. 13(5), 639-688, Oxford University Press, December 2003.
  • With Frederic Butler, Aaron D. Jaggard and Andre Scedrov: Verifying Confidentiality and Authentication in Kerberos 5, Software Security: Theories and Systems — ISSS 2003 (K. Futatsugi, F. Mizoguchi and N. Yonezaki, editors), 1-24, Springer-Verlag LNCS 3233, Tokyo, Japan, 4-6 November 2003. Springer-Verlag. Revised Papers of the 2003 Mext-NSF-JSPS International Symposium.
  • With Stefano Bistarelli, Gabriele Lenzini and Fabio Martinelli: Relating Process Algebras and Multiset Rewriting for Immediate Decryption Protocols, Second International Workshop on Mathematical Methods, Models and Architectures for Computer Networks Security — MMM'03 (V.I. Gorodetski, V.A. Skormin and L.J. Popyack, editors), 86-99, Springer-Verlag LNAI 2776, St. Petersburg, Russia, 20-24 September 2003. Springer-Verlag.
  • Foundations of Computer Security (proceedings of the LICS'03' workshop on Foundations of Computer Security), LICS'03, Technical Report TR-2003-04, Department of Computer Science, University of Ottawa, Ottawa, Canada, 26-27 June 2003.
    coverbibtex of papers
  • With Frank Pfenning, David Walker and Kevin Watkins: A Concurrent Logical Framework II: Examples and Applications, Technical Report CMU-CS-02-102, Department of Computer Science, Carnegie Mellon University, Pittsburgh, PA, March 2002, revised May 2003.
  • With Kevin Watkins, Frank Pfenning and David Walker: A Concurrent Logical Framework I: Judgments and Properties, Technical Report CMU-CS-02-101, Department of Computer Science, Carnegie Mellon University, Pittsburgh, PA, March 2002, revised May 2003.
  • With Frank Pfenning, Kevin Watkins and David Walker: A Concurrent Logical Framework: The Propositional Fragment, TYPES Conference — TYPES'03 (Stefano Berardi, Mario Coppo and Ferruccio Damiani, editors), 355-377, Springer-Verlag LNCS 3085, Torino, Italy, 30 April - 4 May 2003. Springer-Verlag. Post-conference proceedings.
  • With Stefano Bistarelli, Gabriele Lenzini and Fabio Martinelli: Relating Process Algebras and Multiset Rewriting for Security Protocol Analysis, Third Workshop on Issues in the Theory of Security — WITS'03 (R. Gorrieri, editor), 21-31, Warsaw, Poland, 5-6 April 2003.
  • With Catherine Meadows: A Fault-Tree Representation of NPATRL Security Requirements, Third Workshop on Issues in the Theory of Security — WITS'03 (R. Gorrieri, editor), 1-10, Warsaw, Poland, 5-6 April 2003.
  • With Fabio Martinelli, Stefano Bistarelli, Gabriele Lenzini and Roberto Marangoni: Representing Biological Systems through Multiset Rewriting, Workshop on Computational Methods in Biomathematics — CMB'03, Las Palmas de Gran Canaria, Spain, 26 February 2003.
  • With Stefano Bistarelli, Gabriele Lenzini, Roberto Marangoni and Fabio Martinelli: On Representing Biological Systems through Multiset Rewriting, Nineth International Workshop on Computer Aided System Theory — EUROCAST'03 (Roberto Moreno-Díaz and Franz Pichler, editors), 415-426, Springer-Verlag LNCS 2809, Las Palmas de Gran Canaria, Spain, 24-28 February 2003. Springer-Verlag.
• 2002
  • With Nancy Durgin, Patrick D. Lincoln, John C. Mitchell and Andre Scedrov: A Comparison between Strand Spaces and Multiset Rewriting for Security Protocol Analysis, Software Security: Theories and Systems — ISSS 2002 (M. Okada, B. Pierce, Andre Scedrov, H. Tokuda and A. Yonezawa, editors), 356-383, Springer-Verlag LNCS 2609, Tokyo, Japan, 8-10 November 2002. Springer-Verlag. Revised Papers of the 2002 Mext-NSF-JSPS International Symposium.
  • Data Access Specification and the Most Powerful Symbolic Attacker in MSR, Software Security: Theories and Systems — ISSS 2002 (M. Okada, B. Pierce, Andre Scedrov, H. Tokuda and A. Yonezawa, editors), 384-416, Springer-Verlag LNCS 2609, Tokyo, Japan, 8-10 November 2002. Springer-Verlag. Revised Papers of the 2002 Mext-NSF-JSPS International Symposium.
  • With Frank Pfenning: A Linear Logical Framework, Information & Computation, vol. 179(1), 19-75, November 2002.
  • Solution Count for Multiset Unification with Trailing Multiset Variables, Sixteenth International Workshop on Unification — UNIF'02 (C. Ringeissen, C. Tinelli, F. Trinen and R. Verma, editors), 64-68, Technical Report 02-05 (Department of Computer Science, University of Iowa), Copenhagen, Denmark, 25-26 July 2002.
  • Foundations of Computer Security, proceedings of the FLoC'02 Workshop on Foundations of Computer Security — FCS'02, Technical Report DIKU-02-12, Department of Computer Science, University of Copenhagen, Copenhagen, Denmark, 25-26 July 2002.
    pdfbibtex of papers
  • With Frederic Butler, Aaron D. Jaggard and Andre Scedrov: A Formal Analysis of Some Properties of Kerberos 5 Using MSR, Fifteenth Computer Security Foundations Workshop — CSFW-15, 175-190, IEEE Computer Society Press, Cape Breton, NS, Canada, 24-26 June 2002.
  • With Jonathan Herzog (co-editor): The Computer Security Foundations Workshop: 1988-2002, CD-ROM, June 2002.
  • The Wolf Within, Second Workshop on Issues in the Theory of Security — WITS'02 (J. Guttman, editor), Portland, OR, 14-15 January 2002.
• 2001
  • A Specification Language for Crypto-Protocols based on Multiset Rewriting, Dependent Types and Subsorting, Workshop on Specification, Analysis and Validation for Emerging Technologies — SAVE'01 (G. Delzanno, S. Etalle and M. Gabbrielli, editors), 1-22, Paphos, Cyprus, 1 December 2001.
  • With Catherine Meadows and Paul F. Syverson: Formalizing GDOI Group Key Management Requirements in NPATRL, 8th ACM Conference on Computer and Communication Security — CCS'01 (P. Samarati, editor), 235-244, ACM Press, Philadelphia, PA, 6-8 November 2001. ACM.
  • The Dolev-Yao Intruder is the Most Powerful Attacker, 16th Annual Symposium on Logic in Computer Science — LICS'01 (J. Halpern, editor), IEEE Computer Society Press, Boston, MA, 16-19 June 2001.
  • Typed MSR: Syntax and Examples, First International Workshop on Mathematical Methods, Models and Architectures for Computer Networks Security — MMM'01 (V.I. Gorodetski, V.A. Skormin and L.J. Popyack, editors), 159-177, Springer-Verlag LNCS 2052, St. Petersburg, Russia, 21-23 May 2001. Springer-Verlag.
    photos
  • With Paul F. Syverson: The Logic of Authentication Protocols in Foundations of Security Analysis and Design (R. Focardi and R. Gorrieri, editors), 63-136, Springer-Verlag LNCS 2171, 2001.
• 2000
  • With Nancy Durgin, Max I. Kanovich and Andre Scedrov: Interpreting Strands in Linear Logic, 2000 Workshop on Formal Methods and Computer Security — FMCS'00 (H. Veith, N. Heintze and E. Clark, editors), Chicago, IL, 20 July 2000.
  • Typed Multiset Rewriting Specifications of Security Protocols, First Irish Conference on the Mathematical Foundations of Computer Science and Information Technology — MFCSIT'00 (A. Seda, editor), 1-43, Elsevier ENTCS 40, Cork, Ireland, 19-21 July 2000.
    web
  • With Catherine Meadows and Paul F. Syverson: Dolev-Yao is no better than Machiavelli, First Workshop on Issues in the Theory of Security — WITS'00 (P. Degano, editor), Geneva, Switzerland, 8-9 July 2000.
  • With Angelo Montanari: A Calculus of Macro-Events: Progress Report, 7th International Workshop on Temporal Representation and Reasoning — TIME'00 (A. Trudel and S.D. Goodwin, editors), 47-58, IEEE Computer Society Press, Cape Breton, Nova Scotia, Canada, 7-9 July 2000.
  • With Nancy Durgin, Patrick D. Lincoln, John C. Mitchell and Andre Scedrov: Relating Strands and Multiset Rewriting for Security Protocol Analysis, 13th Computer Security Foundations Workshop — CSFW-13, 35-51, IEEE Computer Society Press, Cambridge, UK, 3-5 July 2000.
    web
  • With Massimo Franceschet and Angelo Montanari: A Guided Tour through some Extensions of the Event Calculus, Computational Intelligence, vol. 16(2), 307-347, May 2000.
  • With Joshua S. Hodas and Frank Pfenning: Efficient Resource Management for Linear Logic Proof Search, Theoretical Computer Science, vol. 232(1-2), 133-163, February 2000.
  • Logical Framework Design: Why not just classical logic? in Formalizing the Dynamics of Information (M. Faller, S. Kaufmann and M. Pauly, editors), 87-104, CSLI Publications, 2000.
• 1999
  • With Valeria de Paiva and Eike Ritter: Explicit Substitutions for Linear Logical Frameworks: Preliminary Results, Workshop on Logical Frameworks and Meta-languages — LFM'99 (A. Felty, editor), Paris, France, 28 September 1999.
  • With John C. Mitchell (co-editor): Pleiades Project: Collected Work 1998-1999, Technical Report STAN-CS-TR-99-1625, Department of Computer Science, Stanford University, Stanford, CA, August 1999.
  • With Nancy Durgin, Patrick D. Lincoln, John C. Mitchell and Andre Scedrov: A Meta-Notation for Protocol Analysis, 12th Computer Security Foundations Workshop — CSFW-12, 55-69, IEEE Computer Society Press, Mordano, Italy, 28-30 June 1999.
    web
  • With Angelo Montanari: A General Modal Framework for the Event Calculus and its Skeptical and Credulous Variants, Journal of Logic Programming, vol. 38(2), 111-164, February 1999.
• 1998
  • With John C. Mitchell (co-editor): Pleiades Project: Collected Work 1997-1998, Technical Report STAN-CS-TR-98-1612, Department of Computer Science, Stanford University, Stanford, CA, September 1998.
  • Proof-Theoretic Foundation of Compilation in Logic Programming Languages, 1998 Joint International Conference and Symposium on Logic Programming — JICSLP'98 (J. Jaffar, editor), 115-129, MIT Press, Manchester, UK, 16-19 June 1998.
  • With Massimo Franceschet and Angelo Montanari: The Complexity of Model Checking in Modal Event Calculi with Quantifiers, 6th International conference on Principles of Knowledge Representation and Reasoning — KR'98 (A.G. Cohn, L.K. Shubert and S.C. Shapiro, editors), 368-379, Morgan Kaufmann publishers, Trento, Italy, 2-5 June 1998.
  • With Massimo Franceschet and Angelo Montanari: Event Calculus with Explicit Quantifiers, 5th International Workshop on Temporal Representation and Reasoning — TIME'98 (R. Morris and L. Khatib, editors), 81-88, IEEE Computer Society Press, Sanibel Island, FL, 16-17 May 1998.
  • With Massimo Franceschet and Angelo Montanari: The Complexity of Model Checking in Modal Event Calculi with Quantifiers, Electronic Transactions in Artificial Intelligence, vol. 2(1-2), 1-24, January-June 1998.
    webweb
• 1997
  • With Massimo Franceschet and Angelo Montanari: A Hierarchy of Modal Event Calculi: Expressiveness and Complexity, 2nd International Conference on Temporal Logic — ICTL'97 (H. Barringer, M. Fisher, M. Gabbay and G. Gough, editors), 1-17, Manchester, UK, 14-18 July 1997.
    web
  • With Massimo Franceschet and Angelo Montanari: The Complexity of Model Checking in Modal Event Calculi, 14th International Conference on Logic Programming — ICLP'97 (L. Naish, editor), 419, MIT Press, Leuven, Belgium, 8-12 July 1997.
  • With Frank Pfenning: Linear Higher-Order Pre-Unification, Technical Report CMU-CS-97-160, Department of Computer Science, Carnegie Mellon University, Pittsburgh, PA, July 1997.
    web
  • With Frank Pfenning: Linear Higher-Order Pre-Unification, 12th Annual Symposium on Logic in Computer Science — LICS'97 (G. Winskel, editor), 422-433, IEEE Computer Society Press, Warsaw, Poland, 29 June - 2 July 1997.
    web
  • With Massimo Franceschet and Angelo Montanari: Modal Event Calculi with Preconditions, 4th International Workshop on Temporal Representation and Reasoning — TIME'97 (R. Morris and L. Khatib, editors), 38-45, IEEE Computer Society Press, Daytona Beach, FL, May 10-11 1997.
  • With Frank Pfenning: A Linear Spine Calculus, Technical Report CMU-CS-97-125, Department of Computer Science, Carnegie Mellon University, Pittsburgh, PA, April 1997.
• 1996
  • With Luca Chittaro and Angelo Montanari: A General Modal Framework for the Event Calculus and its Skeptical and Credulous Variants, 12th European Conference on Artificial Intelligence — ECAI'96 (W. Wahlster, M. Fisher, M. Gabbay and G. Gough, editors), 33-37, John Wiley & Sons, Budapest, Hungary, 12-16 August 1996.
  • With Frank Pfenning: Linear Higher-Order Pre-Unification, International Workshop on Proof-Search in Type-Theoretic Languages — PSTT'96 (D. Galmiche, editor), 41-50, New Brunswick, NJ, 30 July 1996.
  • With Frank Pfenning: A Linear Logical Framework, 11th Annual Symposium on Logic in Computer Science — LICS'96 (E. Clarke, editor), 264-275, IEEE Computer Society Press, New Brunswick, NJ, 27-30 July 1996. This work appeared as Preprint 1834 of the Department of Mathematics of Technical University of Darmstadt, Germany.
    web
  • With Luca Chittaro and Angelo Montanari: A General Modal Framework for the Event Calculus and its Skeptical and Credulous Variants, Research Report 37/96-RR, Dipartimento di Matematica e Informatica, Università di Udine, Udine, Italy, July 1996.
    web
  • With Joshua S. Hodas and Frank Pfenning: Efficient Resource Management for Linear Logic Proof Search, International Workshop on Extensions of Logic Programming — ELP'96 (R. Dyckhoff, H. Herre and P. Schröder-Heister, editors), 67-81, Springer-Verlag LNAI 1050, Leipzig, Germany, 28-30 March 1996. Springer-Verlag.
  • Un Logical Framework Lineare (in Italian)Tesi di Dottorato di Ricerca in Informatica, Università degli Studi di Torino, Torino, Italy, February 1996. The English version will be shortly available.
• 1995
  • Petri Nets and Linear Logic: a case study for logic programming, 1995 Joint Conference on Declarative Programming — GULP-PRODE'95 (M. Apuente and M.I. Sessa, editors), 313-318, Palladio Press, Marina di Vietri, Italy, 11-14 September 1995.
  • With Luca Chittaro and Angelo Montanari: A Modal Calculus of Partially Ordered Events in a Logic Programming Framework, 12th International Conference on Logic Programming — ICLP'95 (L. Sterling, editor), 299-313, MIT Press, Kanagawa, Japan, 13-16 June 1995.
  • With Luca Chittaro and Angelo Montanari: Speeding up Temporal Reasoning by Exploiting the Notion of Kernel of an Ordering Relation, 2nd International Workshop on Temporal Representation and Reasoning — TIME'95 (S.D. Goodwin and H.J. Hamilton, editors), 73-80, Melbourne Beach, FL, 26 April 1995.
    web
• 1994
  • With Luca Chittaro and Angelo Montanari: Modal Event Calculus (short paper), 1994 International Logic Programming Symposium — ILPS'94 (M. Bruynooghe, editor), 675, MIT Press, Ithaca, NY, 14-17 November 1994.
  • With Luca Chittaro and Angelo Montanari: What the Event Calculus does and How to do it Efficiently, 1994 Joint Conference on Declarative Programming — GULP-PRODE'94 (M. Apuente, R. Barbuti and I. Ramos, editors), 336-35, Peñíscola, Spain, 19-22 September 1994.
    web
  • With Luca Chittaro and Angelo Montanari: Modal Event Calculus in Lolli, Technical Report CMU-CS-94-198, Department of Computer Science, Carnegie Mellon University, Pittsburgh, PA, September 1994.
    web
  • Lollipops taste of Vanilla too, Workshop on Proof-theoretical Extensions of Logic Programming — ELP'94 (A. Momigliano and M. Ornaghi, editors), 60-66, Santa Margherita Ligure, Italy, 18 June 1994.
• 1993
  • With Gianfranco Rossi: A WAM Implementation for the Logic Meta Programming Language 'Log, 8th Italian Conference on Logic Programming — GULP'93 (D. Saccà, editor), 203-214, Mediterranean Press, Gizzeria Lido, Italy, 15-18 June 1993.
  • With Christoph F. Eick: Expression and Enforcement of Dynamic Integrity Constraints, First Italian Conference on Advanced Database Systems — SEBD'93 (D. Saccà, editor), 203-214, Mediterranean Press, Gizzeria Lido, Italy, 14-16 June 1993.
  • With Angelo Montanari and Alessandro Provetti: On the Non-Monotonic Behavior of the Event Calculus for Deriving Maximal Time Intervals (special issue: Proceedings of the International Conference on Numerical Analysis with Automatic Result Verification, Lafayette, LA, 25 February - 1 March 1993, R. B. Kearfott guest editor), International Journal on Interval Computations, vol. 2, 83-119, May 1993.
    web
• 1992
  • With Christoph F. Eick: Specification and Enforcement of Dynamic Integrity Constraints, International Conference on Information and Knowledge Management — CIKM'92 (Y. Yesha, editor), 193-200, Baltimore, MD, 8-11 November 1992.
  • A WAM Implementation for the Meta-Logic Programming Language 'LogMaster's Thesis, Department of Computer Science, University of Houston, Houston, TX, 24 July 1992.
  • With Gianfranco Rossi: Logic Meta-Programming Facilities in 'Log, 3rd International Workshop on Meta-Programming in Logic Programming — META'92 (A. Pettorossi, editor), 148-161, Springer-Verlag LNCS 649, Uppsala, Sweden, 10-12 June 1992. Springer-Verlag.
    web
• 1991
  • With Gianfranco Rossi: Logic Meta-Programming in 'Log, Research Report 14/91-RR, Dipartimento di Matematica e Informatica, Università di Udine, Udine, Italy, October 1991.
  • With Gianfranco Rossi: Meta-Programmazione Logica in 'Log (in Italian), 6th Italian Conference on Logic Programming — GULP'91 (P. Asirelli, editor), 275-289, Pisa, Italy, 12-14 June 1991.
  • Una Proposta per l'Introduzione di Capacità di Meta-Rappresentazione in un Linguaggio di Programmazione Logica (in Italian)Tesi di Laurea in Scienze dell'Informazione, Università degli Studi di Udine, Udine, Italy, 7 March 1991.