Publication List (chronological order)

Forthcoming papers

2007

  1. 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 (TDSC), IEEE Computer Society Press, To appear 2007.

2006

  1. 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), pp. 164-178, Tokyo, Japan, 6-8 December 2006.

  2. 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.

  3. "NEXCEL, a Deductive Spreadsheet", The Knowledge Engineering Review, To appear 2006.

  4. "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), pp. 1-8, Technical Report FS-06-04 (AAAI Press), Arlington, VA, 14 October 2006.

  5. With Frederic Butler, Aaron D. Jaggard, Andre Scedrov and Christopher Walstad: "Formal Analysis of Kerberos 5", Theoretical Computer Science, vol. 367(1-2), pp. 57-87, To appear 2006.

  6. 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), pp. 362-383, IEEE Computer Society Press, Hamburg, Germany, 18-20 September 2006.

  7. With Andre Scedrov: "Relating State-Based and Process-Based Concurrency through Linear Logic", Thirteenth Workshop on Logic, Language, Information and Computation - WoLLIC'06 ( Ruy de Queiroz, editor), pp. 145-176, Elsevier ENTCS 165, Stanford, CA, 18-21 July 2006.

  8. 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), pp. 55-70, Vienna, Austria, 25-26 March 2006.

  9. "Towards a Notion of Quantitative Security Analysis", Quality of Protection: Security Measurements and Metrics - QoP'05, (Revised Papers of the First Workshop on Quality of Protection, Milan, Italy, 15 September 2005) (Dieter Gollmann, Fabio Massacci and Artsiom Yautsiukhin, editors), pp. 131-144, Springer-Verlag Advances in Information Security 23, 2006. © Springer-Verlag.

2005

  1. 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. TBA(TBA) (Narciso Martí-Oliet, Grigore Rosu and Carolyn Talcott, editors), pp. TBA, Kluwer Academic Publishing, TBA 2005.

  2. "The Deductive Spreadsheet", Technical Report DS05-02, Deductive Solutions, Annandale, VA, August 2005.

  3. With Catherine Meadows and Dusko Pavlovic: "An Encapsulated Authentication Logic for Reasoning About Key Distribution Protocol", Eighteenth Computer Security Foundations Workshop - CSFW-18, pp. 48-61, IEEE Computer Society Press, Aix-en-Provence, France, 20-22 June 2005.

  4. 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), pp. 265-316, IOS Press, April 2005.

  5. "The Deductive Spreadsheet: Mid-Project Report", Technical Report DS05-01, Deductive Solutions, Annandale, VA, March 2005.

  6. With Serge Autexier and Heiko Mantel (co-editors): "Special issue on FCS/VERIFY 2002", International Journal of Information Security (IJIS), vol. 4(1), February 2005.

  7. 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), pp. 3-47, IOS Press, February 2005.

  8. 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), pp. 12-26, ACM Digital Library, Long Beach, CA, 10-11 January 2005.

2004

  1. 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), pp. 893-932, IOS Press, November 2004.

  2. "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.

  3. 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), Cork, Ireland, 5 July 2004.

  4. 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 & Information Science, University of Pennsylvania , Philadelphia, PA, April 2004.

  5. "Fine-Grained MSR Specifications for Quantitative Security Analysis", Fourth Workshop on Issues in the Theory of Security - WITS'04 (Peter Ryan, editor), pp. 111-127, Barcelona, Spain, 3-4 April 2004.

  6. 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 Marti-Oliet, editor), pp. 183-207, Elsevier ENTCS 117, Barcelona, Spain, 27-28 March 2004.

2003

  1. With Frederic Butler, Aaron D. Jaggard and Andre Scedrov: "Verifying Confidentiality and Authentication in Kerberos 5", Software Security - Theories and Systems - ISSS 2003, (Revised Papers of the 2003 Mext-NSF-JSPS International Symposium) (K. Futatsugi, F. Mizoguchi and N. Yonezaki, editors), pp. 1-24, Springer-Verlag LNCS 3233, Tokyo, Japan, 4-6 November 2003. © Springer-Verlag.

  2. With Kevin Watkins, Frank Pfenning and David Walker: "A Concurrent Logical Framework: The Propositional Fragment", TYPES Conference - TYPES'03, (post-conference proceedings) (Stefano Berardi, Mario Coppo and Ferruccio Damiani, editors), pp. 355-377, Springer-Verlag LNCS 3085, Torino, Italy, 30 April - 4 May 2003. © Springer-Verlag.

  3. With Frank Pfenning: "A Linear Spine Calculus", Journal of Logic and Computation, vol. 13(5), pp. 639-688, Oxford University Press, December 2003.

  4. With Stefano Bistarelli, Gabriele Lenzini, Roberto Marangoni and Fabio Martinelli: "On Representing Biological Systems through Multiset Rewriting", Ninth International Workshop on Computer Aided System Theory - EUROCAST'03 (Roberto Moreno-Díaz and Franz Pichler, editors), pp. 415-426, Springer-Verlag LNCS 2809, Las Palmas de Gran Canaria, Spain, 24-28 February 2003. © Springer-Verlag.

  5. 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), pp. 86-99, Springer-Verlag LNAI 2776, St. Petersburg, Russia, 20-24 September 2003. © Springer-Verlag.

  6. "Foundations of Computer Security" (proceedings of the LICS'03 workshop on Foundations of Computer Security), Technical Report TR-2003-04, Department of Computer Science, University of Ottawa, Ottawa, Canada, 26-27 June 2003.

  7. 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.

  8. 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.

  9. 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), pp. 21-31, Warsaw, Poland, 5-6 April 2003.

  10. 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), pp. 1-10, Warsaw, Poland, 5-6 April 2003.

  11. 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.

2002

  1. 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, (Revised Papers of the 2002 Mext-NSF-JSPS International Symposium) (M. Okada, B. Pierce, Andre Scedrov, H. Tokuda and A. Yonezawa, editors), pp. 356-383, Springer-Verlag LNCS 2609, Tokyo, Japan, 8-10 November 2002. © Springer-Verlag.

  2. "Data Access Specification and the Most Powerful Symbolic Attacker in MSR", Software Security - Theories and Systems - ISSS 2002, (Revised Papers of the 2002 Mext-NSF-JSPS International Symposium) (M. Okada, B. Pierce, Andre Scedrov, H. Tokuda and A. Yonezawa, editors), pp. 384-416, Springer-Verlag LNCS 2609, Tokyo, Japan, 8-10 November 2002. © Springer-Verlag.

  3. With Frank Pfenning: "A Linear Logical Framework", Information & Computation, vol. 179(1), pp. 19-75, November 2002.

  4. "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), pp. 64-68, Technical Report 02-05 (Department of Computer Science, University of Iowa), Copenhagen, Denmark, 25-26 July 2002.

  5. "Foundations of Computer Security" (proceedings of the FLoC'02 workshop on Foundations of Computer Security), Technical Report DIKU-02-12, Department of Computer Science, University of Copenhagen, Copenhagen, Denmark, 25-26 July 2002.

  6. 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, pp. 175-190, IEEE Computer Society Press, Cape Breton, NS, Canada, 24-26 June 2002.

  7. With Jonathan Herzog (co-editor): "The Computer Security Foundations Workshop: 1988-2002", CD-ROM, June 2002.

  8. "The Wolf Within", Second Workshop on Issues in the Theory of Security - WITS'02 (J. Guttman, editor), Portland, OR, 14-15 January 2002.

2001

  1. "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), pp. 1-22, Paphos, Cyprus, 1 December 2001.

  2. 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), pp. 235-244, ACM Press, Philadelphia, PA, 6-8 November 2001. © ACM.

  3. With Paul F. Syverson: "The Logic of Authentication Protocols" in Foundations of Security Analysis and Design (R. Focardi and R. Gorrieri, editors), pp. 63-136, Springer-Verlag LNCS 2171, 2001.

  4. "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.

  5. "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), pp. 159-177, Springer-Verlag LNCS 2052, St. Petersburg, Russia, 21-23 May 2001. © Springer-Verlag.

2000

  1. 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.

  2. "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), pp. 1-43, Elsevier ENTCS 40, Cork, Ireland, 19-21 July 2000.

  3. 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.

  4. With Angelo Montanari: "A Calculus of Macro-Events: Progress Report", 7th International Workshop on Temporal Representation and Reasoning - TIME'97 (A. Trudel and S.D. Goodwin, editors), pp. 47-58, IEEE Computer Society Press, Cape Breton, Nova Scotia, Canada, 7-9 July 2000.

  5. 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, pp. 35-51, IEEE Computer Society Press, Cambridge, UK, 3-5 July 2000.

  6. "Logical Framework Design: Why not just classical logic?" in Formalizing the Dynamics of Information (M. Faller, S. Kaufmann and M. Pauly, editors), pp. 87-104, CSLI Publications, 2000.

  7. With Massimo Franceschet and Angelo Montanari: "A Guided Tour through some Extensions of the Event Calculus", Computational Intelligence, vol. 16(2), pp. 307-347, May 2000.

  8. With Joshua S. Hodas and Frank Pfenning: "Efficient Resource Management for Linear Logic Proof Search", Theoretical Computer Science, vol. 232(1-2), pp. 133-163, February 2000.

1999

  1. 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.

  2. 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.

  3. 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, pp. 55-69, IEEE Computer Society Press, Mordano, Italy, 28-30 June 1999.

  4. With Angelo Montanari: "A General Modal Framework for the Event Calculus and its Skeptical and Credulous Variants", Journal of Logic Programming, vol. 38(2), pp. 111-164, February 1999.

1998

  1. 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.

  2. "Proof-Theoretic Foundation of Compilation in Logic Programming Languages", 1998 Joint International Conference and Symposium on Logic Programming - JICSLP'98 (J. Jaffar, editor), pp. 115-129, MIT Press, Manchester, UK, 16-19 June 1998.

  3. With Massimo Franceschet and Angelo Montanari: "The Complexity of Model Checking in Modal Event Calculi with Quantifiers", 6ht International conference on Principles of Knowledge Representation and Reasoning - KR'98 (A.G. Cohn, L.K. Shubert and S.C. Shapiro, editors), pp. 368-379, Morgan Kaufmann publishers, Trento, Italy, 2-5 June 1998.

  4. 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), pp. 1-24, January-June 1998.

  5. 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), pp. 81-88, IEEE Computer Society Press, Sanibel Island, FL, 16-17 May 1998.

1997

  1. 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, editor), pp. 1-17, Manchester, UK, 14-18 July 1997.

  2. 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), pp. 419, MIT Press, Leuven, Belgium, 8-12 July 1997.

  3. 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.

  4. With Frank Pfenning: "Linear Higher-Order Pre-Unification", 12th Annual Symposium on Logic in Computer Science - LICS'97 (G. Winskel, editor), pp. 422-433, IEEE Computer Society Press, Warsaw, Poland, 29 June - 2 July 1997.

  5. 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), pp. 38-45, IEEE Computer Society Press, Daytona Beach, FL, May 10-11 1997.

  6. 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

  1. 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, editor), pp. 33-37, John Wiley & Sons, Budapest, Hungary, 12-16 August 1996.

  2. With Frank Pfenning: "Linear Higher-Order Pre-Unification", International Workshop on Proof-Search in Type-Theoretic Languages - PSTT'96 (D. Galmiche, editor), pp. 41-50, New Brunswick, NJ, 30 July 1996.

  3. With Frank Pfenning: "A Linear Logical Framework", 11th Annual Symposium on Logic in Computer Science - LICS'96 (E. Clarke, editor), pp. 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.

  4. 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.

  5. 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), pp. 67-81, Springer-Verlag LNAI 1050, Leipzig, Germany, 28-30 March 1996. © Springer-Verlag.

  6. "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

  1. "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), pp. 313-318, Palladio Press, Marina di Vietri, Italy, 11-14 September 1995.

  2. 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), pp. 299-313, MIT Press, Kanagawa, Japan, 13-16 June 1995.

  3. 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), pp. 73-80, Melbourne Beach, FL, 26 April 1995.

1994

  1. With Luca Chittaro and Angelo Montanari: "Modal Event Calculus" (short paper), 1994 International Logic Programming Symposium - ILPS'94 (M. Bruynooghe, editor), pp. 675, MIT Press, Ithaca, NY, 14-17 November 1994.

  2. 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), pp. 336-350, Peñíscola, Spain, 19-22 September 1994.

  3. 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.

  4. "Lollipops taste of Vanilla too", Workshop on Proof-theoretical Extensions of Logic Programming - ELP'94 (A. Momigliano and M. Ornaghi, editors), pp. 60-66, Santa Margherita Ligure, Italy, 18 June 1994.

1993

  1. With Gianfranco Rossi: "A WAM Implementation for the Logic Meta Programming Language 'Log", 8th Italian Conference on Logic Programming - GULP'93 (D. Saccà, editor), pp. 203-214, Mediterranean Press, Gizzeria Lido, Italy, 15-18 June 1993.

  2. With Christoph F. Eick: "Expression and Enforcement of Dynamic Integrity Constraints", First Italian Conference on Advanced Database Systems - SEBD'93 (D. Saccà, editor), pp. 203-214, Mediterranean Press, Gizzeria Lido, Italy, 14-16 June 1993.

  3. With Angelo Montanari and Alessandro Provetti: "On the Non-Monotonic Behavior of the Event Calculus for Deriving Maximal Time Intervals", International Journal on Interval Computations, vol. 2, (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), pp. 83-119, May 1993.

1992

  1. With Christoph F. Eick: "Specification and Enforcement of Dynamic Integrity Constraints", International Conference on Information and Knowledge Management - CIKM'92 (Y. Yesha, editor), pp. 193-200, Baltimore, MD, 8-11 November 1992.

  2. "A WAM Implementation for the Meta-Logic Programming Language 'Log", Master's Thesis, Department of Computer Science, University of Houston, Houston, TX, 24 July 1992.

  3. With Gianfranco Rossi: "Logic Meta-Programming Facilities in 'Log", 3rd International Workshop on Meta-Programming in Logic Programming - META'92 (A. Pettorossi, editor), pp. 148-161, Springer-Verlag LNCS 649, Uppsala, Sweden, 10-12 June 1992. © Springer-Verlag.

1991

  1. 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.

  2. With Gianfranco Rossi: "Meta-Programmazione Logica in 'Log" (in Italian), 6th Italian Conference on Logic Programming - GULP'91 (P. Asirelli, editor), pp. 275-289, Pisa, Italy, 12-14 June 1991.

  3. "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.

Last modified: Sun Apr 29, 07

Iliano Cervesato