Search the dblp DataBase
Andreas Nonnengart :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Werner Stephan , Bruno Langenstein , Andreas Nonnengart , Georg Rock Verification Support Environment. [Citation Graph (0, 0)][DBLP ] Mechanizing Mathematical Reasoning, 2005, pp:476-493 [Conf ] Andreas Nonnengart Resolution-Based Calculi for Modal and Temporal Logics. [Citation Graph (0, 0)][DBLP ] CADE, 1996, pp:598-612 [Conf ] Andreas Nonnengart , Georg Rock , Christoph Weidenbach On Generating Small Clause Normal Forms. [Citation Graph (0, 0)][DBLP ] CADE, 1998, pp:397-411 [Conf ] Andreas Nonnengart , Georg Rock , Werner Stephan Formal Requirements Engineering Using Observer Models. [Citation Graph (0, 0)][DBLP ] FASE, 2002, pp:264-278 [Conf ] Andreas Nonnengart , Georg Rock , Werner Stephan Using Hybrid Automata to Express Realtime Properties in VSE-II. [Citation Graph (0, 0)][DBLP ] FLAIRS Conference, 2001, pp:640-644 [Conf ] Andreas Nonnengart Hybrid Systems Verification by Location Elimination. [Citation Graph (0, 0)][DBLP ] HSCC, 2000, pp:352-365 [Conf ] Andreas Nonnengart First-Order Modal Logic Theorem Proving and Functional Simulation. [Citation Graph (0, 0)][DBLP ] IJCAI, 1993, pp:80-87 [Conf ] Andreas Nonnengart How to Use Modalities and Sorts in Prolog. [Citation Graph (0, 0)][DBLP ] JELIA, 1994, pp:365-378 [Conf ] Andreas Nonnengart Modal Frame Characterization by Way of Auxiliary Modalities. [Citation Graph (0, 0)][DBLP ] Logic Journal of the IGPL, 1998, v:6, n:6, pp:875-899 [Journal ] Bruno Langenstein , Andreas Nonnengart , Georg Rock , Werner Stephan Verification of Distributed Applications. [Citation Graph (0, 0)][DBLP ] SAFECOMP, 2007, pp:315-328 [Conf ] A History-based Verification of Distributed Applications. [Citation Graph (, )][DBLP ] Automating Interactive Protocol Verification. [Citation Graph (, )][DBLP ] Search in 0.002secs, Finished in 0.003secs