| Title | Author(s) [non member] | Editor(s) [non member] | Year | Type |
| Model checking Duration Calculus: a practical approach
In: Theoretical Aspects of Computing - ICTAC 2006 : Third International Colloquium, 332-346 | [Meyer, Roland]
[Faber, Johannes]
Rybalchenko, Andrey | [Barkaoui, Kamel]
[Cavalcanti, Ana]
[Cerone, Antonio] | 2006 | Proceedings Article |
| 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 | [Argon, Pablo]
[Delzanno, Giorgio]
Mukhopadhyay, Supratik
Podelski, Andreas | Pacholski, Leszek
Ruzicka, Peter | 2001 | Proceedings Article |
| Model Checking for Timed Logic Processes
In: Proceedings of the 1st International Conference on Computational Logic, 598-612 | Mukhopadhyay, Supratik
Podelski, Andreas | Lloyd, John W.
Dahl, Verónica
Furbach, Ulrich
Kerber, Manfred
Lau, Kung-Kiu
Palamidessi, Catuscia
Pereira, Luís Moniz
Sagiv, Yehoshua
Stuckey, Peter J. | 2000 | Proceedings Article |
| Model Checking in CLP
In: Proceedings of the 5th International Conference on Tools and Algorithms for Construction and Analysis of Systems (TACAS-99), 223-239 | Delzanno, Giorgio
Podelski, Andreas | Cleaveland, Rance | 1999 | Proceedings Article |
| Model checking mobile ambients
In: Theoretical Computer Science [308], 277-331 | Charatonik, Witold
[Dal Zilio, Silvano]
[Gordon, Andrew Donald]
[Mukhopadhyay, Supratik]
[Talbot, Jean-Marc] | | 2003 | Journal Article |
| Model Checking of Hybrid Systems: From Reachability towards Stability
In: Hybrid Systems: Computation and Control : 9th International Workshop, HSCC 2006
, 507-521 | Podelski, Andreas
Wagner, Silke | [Hespanha, João P.]
[Tiwari, Ashish] | 2006 | Proceedings Article |
| Model Checking with Abstraction Refinement for Well-Structured Systems
Universität des Saarlandes | Dimitrova, Rayna | | 2006 | Thesis - Masters thesis |
| Modeling a Hardware Synthesis Methodology in Isabelle
In: Formal Methods in Systems Design [15], 99-122 | Basin, David A.
Friedrich, Stefan | | 1999 | Journal Article |
| Modeling a hardware synthesis methodology in Isabelle
In: Theorem Proving in Higher Order Logics. 9th International Conference, TPHOLs'96, 33-50 | Basin, David A.
Friedrich, Stefan | [von Wright, J.]
[Grundy, J.]
[Harrison, J.] | 1996 | Proceedings Article |
| Modeling Interaction by Sheaves and Geometric Logic
In: Proceedings of the 12th International Symposium Fundamentals of Computation Theory (FCT-99), 512-523 | Sofronie-Stokkermans, Viorica
[Stokkermans, Karel] | [Ciobanu, Gabriel]
[Paun, Gheorghe] | 1999 | Proceedings Article |
| Modelling 0-1 Problems in CLP($\cal PB$)
In: Proceedings of the Second International Conference on Practical Application of Constraint Technology, 1-9 | Barth, Peter
Bockmayr, Alexander | | 1996 | Proceedings Article |
| Modelling Discrete Optimisation Problems in Constraint Logic Programming
In: Annals of Operations Research [81], 467-496 | [Barth, Peter]
Bockmayr, Alexander | | 1998 | Journal Article |
| Modular Aspects of term graph rewriting
In: Theoretical Computer Science [208], 59-86 | Krishna Rao, M. R. K. | | 1998 | Journal Article |
| Modular Proof Systems for Partial Functions with Evans Equality
In: Information and Computation [204], 1453-1492 | Ganzinger, Harald
Sofronie-Stokkermans, Viorica
Waldmann, Uwe | | 2006 | Journal Article |
| Modular Proof Systems for Partial Functions with Weak Equality
In: Automated reasoning : Second International Joint Conference, IJCAR 2004, 168-182 | Ganzinger, Harald
Sofronie-Stokkermans, Viorica
Waldmann, Uwe | Basin, David
Rusinowitch, Michael | 2004 | Proceedings Article |
| Modular Proofs for Completeness of hierarchical term rewriting systems
In: Theoretical Computer Science [151], 487-512 | Krishna Rao, M. R. K. | | 1995 | Journal Article |
| Modularity of termination in term graph rewriting
In: Rewriting Techniques and Applications, 230-244 | Krishna Rao, M. R. K. | Ganzinger, Harald | 1996 | Proceedings Article |
| Möglichkeiten des Groupware-Einsatzes im Umfeld des Wissenschaftlerarbeitsplatzes am Beispiel des Max-Planck-Instituts für Informatik
Universität des Saarlandes | Brahm, Uwe | | 2013 | Thesis - Masters thesis |
| Multi-Agent Dynamic Logics with Informational Test
In: Annals of Mathematics and Artificial Intelligence [42], 5-36 | Schmidt, Renate A.
[Tishkovsky, Dmitry] | | 2004 | Journal Article |
| Multi-Agent Logic of Dynamic Belief and Knowledge | [Schmidt, Renate A.]
[Tishkovsky, Dmitry] | | 2003 | Unpublished/Draft |
| Multi-Agent Logic of Dynamic Belief and Knowledge
In: Proceedings of the 8th European Conference on Logics in Artificial Intelligence (JELIA), 38-49 | [Schmidt, Renate A.]
[Tishkovsky, Dmitry] | [Flesca, Sergio]
[Greco, Sergio]
[Leone, Nicola]
[Ianni, Giovambattista] | 2002 | Proceedings Article |
| 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 | [Bozzano, Marco]
Delzanno, Giorgio
[Martelli, Maurizio]
[Mascardi, Viviana]
[Zini, Floriano] | Gupta, Gopal | 1999 | Proceedings Article |
| Narrowing strategies for arbitrary canonical systems
In: Fundamenta Informaticae [24], 125-155 | Bockmayr, Alexander
[Krischer, Stefan]
[Werner, Andreas] | | 1995 | Journal Article |
| Natural Deduction for Non-Classical Logics
In: Studia Logica [60], 119-160 | Basin, David A.
Matthews, Seán
Viganò, Luca | | 1998 | Journal Article |
| New Directions in Instantiation-Based Theorem Proving
In: 18th Annual IEEE Symposium on Logic in Computer Science (LICS-03), 55-64 | Ganzinger, Harald
Korovin, Konstantin | [Kolaitis, Phokion] | 2003 | Proceedings Article |
| New Results on Lattice Basis Reduction in Practice
In: Proceedings of the 4th International Algorithmic Number Theory Symposium (ANTS-IV), 135-152 | Backes, Werner
[Wetzel, Susanne] | Bosma, Wieb | 2000 | Proceedings Article |
| Non-Clausal Resolution and Superposition with Selection and Redundancy Criteria
In: Logic Programming and Automated Reasoning, 273-284 | Bachmair, Leo
Ganzinger, Harald | Voronkov, A. | 1992 | Proceedings Article |
| NP-hard sets are superterse unless NP is small
In: Information Processing Letters [61], 1-6 | Wang, Yongge | | 1997 | Journal Article |
| Numeric Defaults. About an expressive first-order framework for reasoning with infinitesimal probabilities
In: Symbolic and Quantitative Approaches to Reasoning and Uncertainty (ECSQARU 95), 420-427 | Weydert, Emil | [Froideveaux, Christine]
[Kohlas, Jürg] | 1995 | Proceedings Article |
| Object Calculi in Linear Logic
In: Journal of Logic and Computation [10], 75-104 | [Bugliesi, Michele]
Delzanno, Giorgio
[Liquori, Luigi]
[Martelli, Maurizio] | | 2000 | Journal Article |