Andreas Nonnengart

According to our database¹, Andreas Nonnengart authored at least 21 papers between 1993 and 2019.

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of three.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Links

On csauthors.net:

Bibliography

2019

CriSGen: Constraint-Based Generation of Critical Scenarios for Autonomous Vehicles.

[BibT_eX]

[DOI]

Andreas Nonnengart

Matthias Klusch

Christian Müller

Proceedings of the Formal Methods. FM 2019 International Workshops, 2019

2017

Integrated Semantic Fault Analysis and Worker Support for Cyber-Physical Production Systems.

[BibT_eX]

[DOI]

Proceedings of the 19th IEEE Conference on Business Informatics, 2017

2014

A Collaborative VirtualWorkspace for Factory Configuration and Evaluation.

[BibT_eX]

[DOI]

EAI Endorsed Trans. Collab. Comput., 2014

2013

A Virtual Environment for Collaborative Engineering with Formal Verification.

[BibT_eX]

[DOI]

Proceedings of the 20th ISPE International Conference on Concurrent Engineering, 2013

A collaborative virtual workspace for factory configuration and evaluation.

[BibT_eX]

[DOI]

Proceedings of the 9th IEEE International Conference on Collaborative Computing: Networking, 2013

2012

Formal Analysis Meets 3D-Visualization.

[BibT_eX]

[DOI]

Christopher Krauß

Andreas Nonnengart

Proceedings of the Concurrent Engineering Approaches for Sustainable Product Development in a Multi-Disciplinary Environment, 2012

2008

Automating Interactive Protocol Verification.

[BibT_eX]

[DOI]

Proceedings of the KI 2008: Advances in Artificial Intelligence, 2008

2007

Verification of Distributed Applications.

[BibT_eX]

[DOI]

Proceedings of the Computer Safety, 2007

A History-based Verification of Distributed Applications.

[BibT_eX]

[DOI]

Proceedings of 4th International Verification Workshop in connection with CADE-21, 2007

2005

Verification Support Environment.

[BibT_eX]

[DOI]

Proceedings of the Mechanizing Mathematical Reasoning, 2005

2002

Formal Requirements Engineering Using Observer Models.

[BibT_eX]

[DOI]

Andreas Nonnengart

Georg Rock

Werner Stephan

Proceedings of the Fundamental Approaches to Software Engineering, 2002

2001

Using Hybrid Automata to Express Realtime Properties in VSE-II.

[BibT_eX]

[DOI]

Andreas Nonnengart

Georg Rock

Werner Stephan

Proceedings of the Fourteenth International Florida Artificial Intelligence Research Society Conference, 2001

Encoding Two-Valued Nonclassical Logics in Classical Logic.

[BibT_eX]

[DOI]

Proceedings of the Handbook of Automated Reasoning (in 2 volumes), 2001

Computing Small Clause Normal Forms.

[BibT_eX]

[DOI]

Andreas Nonnengart

Christoph Weidenbach

Proceedings of the Handbook of Automated Reasoning (in 2 volumes), 2001

2000

Hybrid Systems Verification by Location Elimination.

[BibT_eX]

[DOI]

Andreas Nonnengart

Proceedings of the Hybrid Systems: Computation and Control, Third International Workshop, 2000

1998

Modal Frame Characterization by Way of Auxiliary Modalities.

[BibT_eX]

[DOI]

Andreas Nonnengart

Log. J. IGPL, 1998

On Generating Small Clause Normal Forms.

[BibT_eX]

[DOI]

Andreas Nonnengart

Georg Rock

Christoph Weidenbach

Proceedings of the Automated Deduction, 1998

1996

Resolution-Based Calculi for Modal and Temporal Logics.

[BibT_eX]

[DOI]

Andreas Nonnengart

Proceedings of the Automated Deduction - CADE-13, 13th International Conference on Automated Deduction, New Brunswick, NJ, USA, July 30, 1996

1995

A resolution-based calculus for temporal logics.

[BibT_eX]

[DOI]

Andreas Nonnengart

PhD thesis, 1995

1994

How to Use Modalities and Sorts in Prolog.

[BibT_eX]

[DOI]

Andreas Nonnengart

Proceedings of the Logics in Artificial Intelligence, European Workshop, 1994

1993

First-Order Modal Logic Theorem Proving and Functional Simulation.

[BibT_eX]

[DOI]

Andreas Nonnengart

Proceedings of the 13th International Joint Conference on Artificial Intelligence. Chambéry, France, August 28, 1993

Andreas Nonnengart

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...