| Title | Author(s) [non member] | Editor(s) [non member] | Year | Type |
| Maslov's Class K Revisited
In: Proceedings of the 16th International Conference on Automated Deduction (CADE-16), 172-186 | Hustadt, Ullrich
Schmidt, Renate A. | Ganzinger, Harald | 1999 | Proceedings Article |
| Measure Selection: Notions of Rationality and Representation Independence
In: Proceedings of the 14th Conference on Uncertainty in Artificial Intelligence (UAI-98), 274-281 | Jaeger, Manfred | Cooper, Gregory S.
Moral, Serafín | 1998 | Proceedings Article |
| Metalogical Frameworks
In: Logical Environments, 1-29 | Basin, David A.
Constable, Robert L. | Huet, Gérard
Plotkin, Gordon | 1993 | Part of a Book |
| Methods and Tools for Pseudo-Boolean Problems
In: 2. Workshop Boolesche Probleme, 105-109 | Bockmayr, Alexander
Barth, Peter
Kasper, Thomas | [Steinbach, B.] | 1996 | Proceedings Article |
| Middle-Out Reasoning for Logic Program Synthesis
In: Proc.~10th Intern. Conference on Logic Programing (ICLP '93), 441-455 | Kraan, Ina
Basin, David A.
Bundy, Alan | | 1993 | Proceedings Article |
| Middle-Out Reasoning for Synthesis and Induction
In: Automated mathematical induction, 113-145 | [Kraan, Ina]
Basin, David A.
[Bundy, Alan] | Zhang, Hantao | 1996 | Part of a Book |
| Middle-out reasoning for synthesis and induction
In: Journal of Automated Reasoning [16], 113-145 | [Kraan, Ina]
Basin, David A.
[Bundy, Alan] | | 1996 | Journal Article |
| Minimal Ascending and Descending Tree Automata
In: SIAM Journal on Computing [26], 39-58 | [Nivat, Maurice]
Podelski, Andreas | | 1997 | Journal Article |
| Minimal information entailment : A preliminary account
In: Proceedings of the 7th International Workshop on Nonmonotonic Reasoning (Workshop on Formal Aspects and Applications of Nonmonotonic Reasoning), 64-72 | Weydert, Emil | [Delgrande, Jim]
[Truszczynski, Mirek] | 1998 | Proceedings Article |
| Minimum Cross-Entropy Reasoning: A Statistical Justification
In: Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence (IJCAI-95), 1847-1852 | Jaeger, Manfred | Mellish, Chris S. | 1995 | Proceedings Article |
| Mixed Integer Programming Models for Planning Problems
In: Proceedings of the Workshop on Constraint Problem Reformulation (CP-98), 1-6 | Bockmayr, Alexander
Dimopoulos, Yannis | [Frank, Jeremy]
[Sabin, Mihaela] | 1998 | Proceedings Article |
| Modal- und Temporallogik
In: Deduktionssysteme - Automatisierung des logischen Denkens, 239-284 | Nonnengart, Andreas
Ohlbach, Hans Jürgen | [Bläsius, K. H.]
[Bürckert, Hans-Jürgen] | 1992 | Part of a Book |
| Modal Frame Characterization by Way of Auxiliary Modalities
In: Logic Journal of the IGPL [6], 875-899 | Nonnengart, Andreas | | 1998 | Journal Article |
| Modalities in Knowledge Representation
In: Proc. of the 6th Australian Joint Conference on Artificial Intelligence (AI '93), 249-254 | Hustadt, Ullrich
Nonnengart, Andreas | [Rowles, C.]
[Liu, H.]
[Foo, N.] | 1993 | Proceedings Article |
| Mode Analysis of Functional Logic Programs
In: Proceedings of the 1st International Static Analysis Symposium (SAS'94), 26-42 | Hanus, Michael
Zartmann, Frank | Le Charlier, Baudouin | 1994 | Proceedings Article |
| Model-based user-interface management for public services
In: 6th European Conference on e-Government, 141-151 | Freiheit, Jörn
[Zangl, Fabrice] | [Remenyi, Dan] | 2006 | Proceedings Article |
| Model-Checking of Specifications Integrating Processes, Data and Time
In: FM 2005: Formal Methods; International Symposium of Formal Methods Europe, 465-480 | [Hoenicke, Jochen]
Maier, Patrick | [Fitzgerald, John]
[Hayes, Ian J.]
[Tarlecki, Andrzej] | 2005 | Proceedings Article |
| Model-Generation Theorem Proving for First-Order Logic Ontologies | Baumgartner, Peter
Suchanek, Fabian | | 2005 | Unpublished/Draft |
| Model-Theoretic Aspects of Unification
In: Proceedings of the 1st Workshop on Word Equations and Related Topics, 181-196 | Bockmayr, Alexander | Schulz, K. U. | 1992 | Proceedings Article |
| Model Based Deduction for Database Schema Reasoning
In: KI 2004: Advances in Artificial Intelligence: 27th Annual German Conference on AI, KI 2004, 168-182 | Baumgartner, Peter
[Furbach, Ulrich]
[Gross-Hardt, Margret]
[Kleemann, Thomas] | [Biundo, Susanne]
Frühwirth, Thom
[Palm, Günther] | 2004 | Proceedings Article |
| Model Checking as Constraint Solving
In: Proceedings of the 7th International Symposium on Static Analysis (SAS-00), 221-237 | Podelski, Andreas | [Palsberg, Jens] | 2000 | Proceedings Article |
| 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 |