Database Entry Point
max planck institut
informatik
mpii logo Minerva of the Max Planck Society
 

Publications Master Template, generated: 3:57, 16 October 2019

Search the publication database

  . Return

Your search returned the following 10 documents:

  1. Giorgio Delzanno and Andreas Podelski
    Constraint-based Deductive Model Checking
    International Journal on Software Tools for Technology Transfer (STTT) 3 (3): 250-270, 2001
  2. Pablo Argon, Giorgio Delzanno, Supratik Mukhopadhyay, and Andreas Podelski
    Model Checking for Communication Protocols
    In: Proceedings of the 28th Annual Conference on Current Trends in Theory and Practice of Informatics (SOFSEM-2001), Piestany, Slovak Republic, November 24 -- December 1, 2001, 2001, 160-170. Note: To appear.
  3. Michele Bugliesi, Giorgio Delzanno, Luigi Liquori, and Maurizio Martelli
    Object Calculi in Linear Logic
    Journal of Logic and Computation 10 (1): 75-104, 2000
  4. Giorgio Delzanno and Jean-Fran├žois Raskin
    Symbolic Representation of Upward-Closed Sets
    In: Proceedings of the 6th Conference on Tools and Algorithms for Construction and Analysis of Systems (TACAS-00); Held as Part of the European Joint Conferences on the Theory and Practice of Software (ETAPS-00), Berlin, Germany, March 25 - April 2, 2000, 2000, 426-440
  5. Giorgio Delzanno
    Specification of Term Rewriting in Linear Logic
    In: Proceedings of Workshop on Proof-Search in Type-Theoretic Languages, Lindau, Germany, July, 5, 1998
  6. Giorgio Delzanno, Didier Galmiche, and Maurizio Martelli
    A specification logic for concurrent object-oriented programming
    Mathematical Structures in Computer Science 9 (3): 253-286, 1999
  7. Giorgio Delzanno, Javier Esparza, and Andreas Podelski
    Constraint-Based Analysis of Broadcast Protocols
    In: Proceedings of the 13th International Workshop on Computer Science Logic (CSL-99), 8th Annual Conference on the EACSL, Madrid, Spain, September 20-25, 1999, 1999, 50-66
  8. Marco Bozzano, Giorgio Delzanno, Maurizio Martelli, Viviana Mascardi, and Floriano Zini
    Logic Programming and Multi-Agent Systems: a Synergic Combination for Applications and Semantics
    In: The Logic Programming Paradigm: a 25-Year Perspective, 1999, 5-32
  9. Giorgio Delzanno and Andreas Podelski
    Model Checking in CLP
    In: Proceedings of the 5th International Conference on Tools and Algorithms for Construction and Analysis of Systems (TACAS-99), Amsterdam, The Netherlands, March, 22nd-26th, 1999, 223-239
  10. Marco Bozzano, Giorgio Delzanno, Maurizio Martelli, Viviana Mascardi, and Floriano Zini
    Multi-Agent Systems Development as a Software Engineering Enterprise
    In: Proceedings of the 1st International Workshop on Practical Aspects of Declarative Languages (PADL-99), San Antonio, Texas, USA, January, 18-19, 1999, 46-60