Publications
Server halma.mpi-inf.mpg.de
Publications
Entries sorted by: 1. Author,Editor - 1. by Individual - 2. A..Z Index
Login to this database
Previous Page | Next Page | Expand All | Collapse All | Search (Full Text)
Show entries starting with: A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
| # |  | Year | Author(s) [non member] | Editor(s) [non member] | Title | Type | ||||
|---|---|---|---|---|---|---|---|---|---|---|
| 1 |
| | ||||||||
| 1 |
| | ||||||||
| 1 |
| | ||||||||
| 3 |
| | ||||||||
| 2 |
| | ||||||||
| 1 |
| | ||||||||
| 1 |
| | ||||||||
| 1 |
| | ||||||||
| 1 |
| | ||||||||
| 1 |
| | ||||||||
| 1 |
| | ||||||||
| 26 |
| | ||||||||
| 5 |
| | ||||||||
| 1 |
| | ||||||||
| 3 |
| | ||||||||
| 1 |
| | ||||||||
| 1 |
| | ||||||||
| 2 |
| | ||||||||
| 2 |
| | ||||||||
| 1 |
| | ||||||||
| 1 |
| | ||||||||
| 10 |
| | ||||||||
| 2001 | [Argon, Pablo] [Delzanno, Giorgio] Mukhopadhyay, Supratik Podelski, Andreas | Pacholski, Leszek Ruzicka, Peter | Model Checking for Communication Protocols In: Proceedings of the 28th Annual Conference on Current Trends in Theory and Practice of Informatics (SOFSEM-2001), 160-170 | Proceedings Article | | |||||
| | 2001 | Delzanno, Giorgio Podelski, Andreas | | Constraint-based Deductive Model Checking In: International Journal on Software Tools for Technology Transfer (STTT) [3], 250-270 | Journal Article | | |||
| 2000 | [Bugliesi, Michele] Delzanno, Giorgio [Liquori, Luigi] [Martelli, Maurizio] | Object Calculi in Linear Logic In: Journal of Logic and Computation [10], 75-104 | Journal Article | | ||||||
| | 2000 | Delzanno, Giorgio [Raskin, Jean-François] | [Graf, Susann] [Schwartzbach, Michael I.] | 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), 426-440 | Proceedings Article | | |||
| 1999 | [Bozzano, Marco] Delzanno, Giorgio [Martelli, Maurizio] [Mascardi, Viviana] [Zini, Floriano] | [Apt, K.] [Marek, V. W.] [Truszczynski, M.] [Warren, D. S.] | Logic Programming and Multi-Agent Systems: a Synergic Combination for Applications and Semantics In: The Logic Programming Paradigm: a 25-Year Perspective, 5-32 | Part of a Book | | |||||
| | 1999 | [Bozzano, Marco] Delzanno, Giorgio [Martelli, Maurizio] [Mascardi, Viviana] [Zini, Floriano] | Gupta, Gopal | Multi-Agent Systems Development as a Software Engineering Enterprise In: Proceedings of the 1st International Workshop on Practical Aspects of Declarative Languages (PADL-99), 46-60 | Proceedings Article | | |||
| 1999 | Delzanno, Giorgio [Esparza, Javier] Podelski, Andreas | [Flum, Jörg] [Rodríguez-Artalejo, Mario] | 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, 50-66 | Proceedings Article | | |||||
| | 1999 | Delzanno, Giorgio [Galmiche, Didier] [Martelli, Maurizio] | | A specification logic for concurrent object-oriented programming In: Mathematical Structures in Computer Science [9], 253-286 | Journal Article | | |||
Previous Page | Next Page | Expand All | Collapse All | Search (Full Text)