| Computing small clause normal forms A Nonnengart, C Weidenbach Handbook of automated reasoning, 335-367, 2001 | 312 | 2001 |
| On generating small clause normal forms A Nonnengart, G Rock, C Weidenbach Automated Deduction—CADE-15: 15th International Conference on Automated …, 1998 | 92 | 1998 |
| Encoding two-valued nonclassical logics in classical logic HJ Ohlbach, A Nonnengart, M de Rijke, DM Gabbay Handbook of automated reasoning, 1403-1486, 2001 | 88 | 2001 |
| A fixpoint approach to second-order quantifier elimination with applications to correspondence theory A Nonnengart, A Szalas Max-Planck-Institut für Informatik, 1995 | 74 | 1995 |
| First-order modal logic theorem proving and functional simulation A Nonnengart IJCAI 93, 80-85, 1993 | 53 | 1993 |
| Elimination of predicate quantifiers A Nonnengart, HJ Ohlbach, A Szałas Logic, Language and Reasoning: Essays in honour of Dov Gabbay, 149-171, 1999 | 32 | 1999 |
| How to use modalities and sorts in Prolog A Nonnengart Logics in Artificial Intelligence: European Workshop JELIA'94 York, UK …, 1994 | 30 | 1994 |
| A resolution-based calculus for temporal logics A Nonnengart | 21 | 1995 |
| Resolution-based calculi for modal and temporal logics A Nonnengart International Conference on Automated Deduction, 598-612, 1996 | 20 | 1996 |
| Strong skolemization A Nonnengart Max-Planck-Institut für Informatik, 1996 | 20 | 1996 |
| CriSGen: Constraint-based generation of critical scenarios for autonomous vehicles A Nonnengart, M Klusch, C Müller Formal Methods. FM 2019 International Workshops: Porto, Portugal, October 7 …, 2020 | 18 | 2020 |
| Integrated semantic fault analysis and worker support for cyber-physical production systems I Zinnikus, A Antakli, P Kapahnke, M Klusch, C Krauss, A Nonnengart, ... 2017 IEEE 19th Conference on Business Informatics (CBI) 1, 207-216, 2017 | 18 | 2017 |
| Hybrid systems verification by location elimination A Nonnengart International Workshop on Hybrid Systems: Computation and Control, 352-365, 2000 | 16 | 2000 |
| A collaborative virtual workspace for factory configuration and evaluation I Zinnikus, X Cao, M Klusch, C Krauss, A Nonnengart, T Spieldenner, ... 9th IEEE International Conference on Collaborative Computing: Networking …, 2013 | 14 | 2013 |
| Quantifier elimination for second-order predicate logic A Nonnengart, HJ Ohlbach, A Szalas | 13 | 2001 |
| Modalities in knowledge representation U Hustadt, A Nonnengart Proceedings of the Sixth Australian Joint Conference on Artificial …, 1993 | 13 | 1993 |
| First-order modal logic theorem proving and standard PROLOG A Nonnengart Max-Planck-Institut für Informatik, 1992 | 12 | 1992 |
| Small clause normal form C Weidenbach, A Nonnengart, A Robinson, A Voronkov Hand. of Automated Reasoning, 2001 | 11 | 2001 |
| Sza las A Nonnengart A.: A fixpoint approach to second-order quantifier elimination with …, 0 | 11 | |
| Verification of distributed applications B Langenstein, A Nonnengart, G Rock, W Stephan Computer Safety, Reliability, and Security: 26th International Conference …, 2007 | 8 | 2007 |
