First-Order Modal Logic Theorem Proving and Functional Simulation. - Andreas Nonnengart (IJCAI, 1993)

How to Use Modalities and Sorts in Prolog. - Andreas Nonnengart (JELIA, 1994)

A resolution-based calculus for temporal logics. - Andreas Nonnengart (1995)

Resolution-Based Calculi for Modal and Temporal Logics. - Andreas Nonnengart (CADE, 1996)

On Generating Small Clause Normal Forms. - Andreas Nonnengart; Georg Rock; Christoph Weidenbach (CADE, 1998)

Modal Frame Characterization by Way of Auxiliary Modalities. - Andreas Nonnengart (Log. J. IGPL, 1998)

Hybrid Systems Verification by Location Elimination. - Andreas Nonnengart (HSCC, 2000)

Computing Small Clause Normal Forms. - Andreas Nonnengart; Christoph Weidenbach (Handbook of Automated Reasoning, 2001)

Encoding Two-Valued Nonclassical Logics in Classical Logic. - Hans Jürgen Ohlbach; Andreas Nonnengart; Maarten de Rijke; Dov M. Gabbay (Handbook of Automated Reasoning, 2001)

Using Hybrid Automata to Express Realtime Properties in VSE-II. - Andreas Nonnengart; Georg Rock; Werner Stephan 001 (FLAIRS, 2001)

Formal Requirements Engineering Using Observer Models. - Andreas Nonnengart; Georg Rock; Werner Stephan 001 (FASE, 2002)

Verification Support Environment. - Werner Stephan 001; Bruno Langenstein; Andreas Nonnengart; Georg Rock (Mechanizing Mathematical Reasoning, 2005)

A History-based Verification of Distributed Applications. - Bruno Langenstein; Andreas Nonnengart; Georg Rock; Werner Stephan 001 (VERIFY, 2007)

Verification of Distributed Applications. - Bruno Langenstein; Andreas Nonnengart; Georg Rock; Werner Stephan 001 (SAFECOMP, 2007)

Automating Interactive Protocol Verification. - Lassaad Cheikhrouhou; Andreas Nonnengart; Werner Stephan 001; Frank Koob; Georg Rock (KI, 2008)

Formal Analysis Meets 3D-Visualization. - Christopher Krauß; Andreas Nonnengart (CE, 2012)

A collaborative virtual workspace for factory configuration and evaluation. - Ingo Zinnikus; Xiaoqi Cao; Matthias Klusch; Christopher Krauss; Andreas Nonnengart; Torsten Spieldenner; Philipp Slusallek (CollaborateCom, 2013)

A Virtual Environment for Collaborative Engineering with Formal Verification. - Wolfgang Herget; Christopher Krauß; Andreas Nonnengart; Torsten Spieldenner; Stefan Warwas; Ingo Zinnikus (CE, 2013)

A Collaborative VirtualWorkspace for Factory Configuration and Evaluation. - Ingo Zinnikus; Sergiy Byelozyorov; Xiaoqi Cao; Matthias Klusch; Christopher Krauss; Andreas Nonnengart; Torsten Spieldenner; Stefan Warwas; Philipp Slusallek (EAI Endorsed Trans. Collab. Comput., 2014)

Integrated Semantic Fault Analysis and Worker Support for Cyber-Physical Production Systems. - Ingo Zinnikus; André Antakli; Patrick Kapahnke; Matthias Klusch; Christopher Krauss; Andreas Nonnengart; Philipp Slusallek (CBI (1), 2017)

CriSGen: Constraint-Based Generation of Critical Scenarios for Autonomous Vehicles. - Andreas Nonnengart; Matthias Klusch; Christian Müller 014 (FM Workshops (1), 2019)