KI08:
Automating Interactive Protocol Verification,
Lassaad Cheikhrouhou, Andreas Nonnengart, Werner Stephan, Frank Koob and Georg Rock
SAFECOMP07:
Verification of Distributed Applications,
Bruno Langenstein, Andreas Nonnengart, Georg Rock and Werner Stephan
VERIFY07:
A History-based Verification of Distributed Applications,
Bruno Langenstein, Andreas Nonnengart, Georg Rock and Werner Stephan
Mechanizing Mathematical Reasoning 2005:
Verification Support Environment,
Werner Stephan, Bruno Langenstein, Andreas Nonnengart and Georg Rock
FASE02:
Formal Requirements Engineering Using Observer Models,
Andreas Nonnengart, Georg Rock, Werner Stephan
VERIFY02:
Reasoning Services in the MathWeb-SB for Symbolic Verification of Hybrid Systems,
Christoph Benzmüller, Corrado Giromini, Andreas Nonnengart and Jürgen Zimmer
ESA01:
Expressing Realtime Properties in VSE-II,
Werner Stephan, Andreas Nonnengart and Georg Rock
FMTOOLS00:
Expressing Realtime Properties in VSE-II,
Werner Stephan, Andreas Nonnengart, and Georg Rock
ARW01:
Expressing Realtime Properties in VSE,
Werner Stephan, Andreas Nonnengart and Georg Rock
FLAIRS01:
Using Hybrid Automata to Express Realtime Properties in VSE-II,
Andreas Nonnengart, Georg Rock, and Werner Stephan
Handbook of Automated Reasoning:
Encoding Two-Valued Non-Classical Logics in Classical Logic,
Hans Jürgen Ohlbach, Andreas Nonnengart, Maarten de Rijke, and Dov Gabbay
Handbook of Automated Reasoning:
Computing Small Clause Normal Forms,
Andreas Nonnengart and Christoph Weidenbach
HSCC00:
Hybrid Systems Verification by Location Elimination,
Andreas Nonnengart
MPI-I-1999-2-006:
A Deductive Model Checking Approach for Hybrid Systems,
Andreas Nonnengart
CADE98:
On Generating Small Clause Normal Forms,
Andreas Nonnengart, Georg Rock, and Christoph Weidenbach
Journal of the IGPL:
Modal Frame Characterization by Way of Auxiliary Modalities,
Andreas Nonnengart
ECSQARU/FAPR'97:
Qualitative and Quantitative Practical Reasoning,
Dov Gabbay, Rudolf Kruse, Andreas Nonnengart and Hans Jürgen Ohlbach (ed.)
MPI-I-96-2-010:
Strong Skolemization,
Andreas Nonnengart
Bookchapter:
Elimination of Predicate Quantifiers,
Andreas Nonnengart and Hans Jürgen Ohlbach and Andrzej Szalas
Bookchapter:
A Fixpoint Approach to Second-Order Quantifier Elimination with
Applications to Correspondence Theory,
Andreas Nonnengart and Andrzej Szalas
CADE96:
Resolution-Based Calculi for Modal and Temporal Logics,
Andreas Nonnengart
MPI-I-96-2-005:
Auxiliary Modal Operators and the Characterization of Modal Frames,
Andreas Nonnengart
Thesis:
A Resolution-Based Calculus for Temporal Logics,
Andreas Nonnengart
MPI-I-95-2-007:
A Fixpoint Approach to Second-Order Quantifier Elimination with Applications to Correspondence Theory,
Andreas Nonnengart and Andrzej Szalas
JELIA94:
How to Use Modalities and Sorts in Prolog,
Andreas Nonnengart
DesL94:
Description Logics for Natural Language Processing,
Detlef Fehrer, Ullrich Hustadt, Manfred Jaeger, Andreas Nonnengart, Hans Jürgen Ohlbach, Renate Schmidt, Christoph Weidenbach and Emil Weydert
IJCAI93:
First-Order Modal Logic Theorem Proving and Functional Simulation,
Andreas Nonnengart
AI93:
Modalities in Knowledge Representation,
Ullrich Hustadt and Andreas Nonnengart
MPII-92-236:
MOTEL User Manual,
Ullrich Hustadt, Andreas Nonnengart, Renate Schmidt and Jan Timm
MPII-92-228:
First-Order Modal Logic Theorem Proving and Standard PROLOG,
Andreas Nonnengart
Bookchapter:
Term Rewriting Systems,
Norbert Eisinger and Andreas Nonnengart
Bookchapter:
Termersetzungssysteme,
Norbert Eisinger and Andreas Nonnengart and Axel Präcklein
Bookchapter:
Modal.- und Temporallogik,
Andreas Nonnengart and Hans Jürgen Ohlbach