| 2008 |
|---|
| 15 | EE | Lassaad Cheikhrouhou,
Andreas Nonnengart,
Werner Stephan,
Frank Koob,
Georg Rock:
Automating Interactive Protocol Verification.
KI 2008: 30-37 |
| 2007 |
|---|
| 14 | EE | Bruno Langenstein,
Andreas Nonnengart,
Georg Rock,
Werner Stephan:
Verification of Distributed Applications.
SAFECOMP 2007: 315-328 |
| 13 | EE | Bruno Langenstein,
Andreas Nonnengart,
Georg Rock,
Werner Stephan:
A History-based Verification of Distributed Applications.
VERIFY 2007 |
| 2005 |
|---|
| 12 | EE | Werner Stephan,
Bruno Langenstein,
Andreas Nonnengart,
Georg Rock:
Verification Support Environment.
Mechanizing Mathematical Reasoning 2005: 476-493 |
| 2002 |
|---|
| 11 | EE | Andreas Nonnengart,
Georg Rock,
Werner Stephan:
Formal Requirements Engineering Using Observer Models.
FASE 2002: 264-278 |
| 2001 |
|---|
| 10 | | Andreas Nonnengart,
Georg Rock,
Werner Stephan:
Using Hybrid Automata to Express Realtime Properties in VSE-II.
FLAIRS Conference 2001: 640-644 |
| 9 | | Hans Jürgen Ohlbach,
Andreas Nonnengart,
Maarten de Rijke,
Dov M. Gabbay:
Encoding Two-Valued Nonclassical Logics in Classical Logic.
Handbook of Automated Reasoning 2001: 1403-1486 |
| 8 | | Andreas Nonnengart,
Christoph Weidenbach:
Computing Small Clause Normal Forms.
Handbook of Automated Reasoning 2001: 335-367 |
| 2000 |
|---|
| 7 | EE | Andreas Nonnengart:
Hybrid Systems Verification by Location Elimination.
HSCC 2000: 352-365 |
| 1998 |
|---|
| 6 | EE | Andreas Nonnengart,
Georg Rock,
Christoph Weidenbach:
On Generating Small Clause Normal Forms.
CADE 1998: 397-411 |
| 5 | EE | Andreas Nonnengart:
Modal Frame Characterization by Way of Auxiliary Modalities.
Logic Journal of the IGPL 6(6): 875-899 (1998) |
| 1997 |
|---|
| 4 | | Dov M. Gabbay,
Rudolf Kruse,
Andreas Nonnengart,
Hans Jürgen Ohlbach:
Qualitative and Quantitative Practical Reasoning, First International Joint Conference on Qualitative and Quantitative Practical Reasoning ECSQARU-FAPR'97, Bad Honnef, Germany, June 9-12, 1997, Proceedings
Springer 1997 |
| 1996 |
|---|
| 3 | | Andreas Nonnengart:
Resolution-Based Calculi for Modal and Temporal Logics.
CADE 1996: 598-612 |
| 1994 |
|---|
| 2 | | Andreas Nonnengart:
How to Use Modalities and Sorts in Prolog.
JELIA 1994: 365-378 |
| 1993 |
|---|
| 1 | | Andreas Nonnengart:
First-Order Modal Logic Theorem Proving and Functional Simulation.
IJCAI 1993: 80-87 |
