default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Andreas Nonnengart
@inproceedings{DBLP:conf/fm/NonnengartKM19,
author = {Andreas Nonnengart and
Matthias Klusch and
Christian M{\"{u}}ller},
editor = {Emil Sekerinski and
Nelma Moreira and
Jos{\'{e}} N. Oliveira and
Daniel Ratiu and
Riccardo Guidotti and
Marie Farrell and
Matt Luckcuck and
Diego Marmsoler and
Jos{\'{e}} Creissac Campos and
Troy Astarte and
Laure Gonnord and
Antonio Cerone and
Luis Couto and
Brijesh Dongol and
Martin Kutrib and
Pedro Monteiro and
David Delmas},
title = {CriSGen: Constraint-Based Generation of Critical Scenarios for Autonomous
Vehicles},
booktitle = {Formal Methods. {FM} 2019 International Workshops - Porto, Portugal,
October 7-11, 2019, Revised Selected Papers, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {12232},
pages = {233--248},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-54994-7\_17},
doi = {10.1007/978-3-030-54994-7\_17},
timestamp = {Wed, 14 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fm/NonnengartKM19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wecwis/ZinnikusAKKKNS17,
author = {Ingo Zinnikus and
Andr{\'{e}} Antakli and
Patrick Kapahnke and
Matthias Klusch and
Christopher Krauss and
Andreas Nonnengart and
Philipp Slusallek},
editor = {Peri Loucopoulos and
Yannis Manolopoulos and
Oscar Pastor and
Babis Theodoulidis and
Jelena Zdravkovic},
title = {Integrated Semantic Fault Analysis and Worker Support for Cyber-Physical
Production Systems},
booktitle = {19th {IEEE} Conference on Business Informatics, {CBI} 2017, Thessaloniki,
Greece, July 24-27, 2017, Volume 1: Conference Papers},
pages = {207--216},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/CBI.2017.54},
doi = {10.1109/CBI.2017.54},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wecwis/ZinnikusAKKKNS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eetcc/ZinnikusBCKKNSW14,
author = {Ingo Zinnikus and
Sergiy Byelozyorov and
Xiaoqi Cao and
Matthias Klusch and
Christopher Krauss and
Andreas Nonnengart and
Torsten Spieldenner and
Stefan Warwas and
Philipp Slusallek},
title = {A Collaborative VirtualWorkspace for Factory Configuration and Evaluation},
journal = {{EAI} Endorsed Trans. Collab. Comput.},
volume = {1},
number = {1},
pages = {e5},
year = {2014},
url = {https://doi.org/10.4108/cc.1.1.e5},
doi = {10.4108/CC.1.1.E5},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eetcc/ZinnikusBCKKNSW14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/colcom/ZinnikusCKKNSS13,
author = {Ingo Zinnikus and
Xiaoqi Cao and
Matthias Klusch and
Christopher Krauss and
Andreas Nonnengart and
Torsten Spieldenner and
Philipp Slusallek},
editor = {Elisa Bertino and
Dimitrios Georgakopoulos and
Mudhakar Srivatsa and
Surya Nepal and
Alessandro Vinciarelli},
title = {A collaborative virtual workspace for factory configuration and evaluation},
booktitle = {9th {IEEE} International Conference on Collaborative Computing: Networking,
Applications and Worksharing, Austin, TX, USA, October 20-23, 2013},
pages = {353--362},
publisher = {{ICST} / {IEEE}},
year = {2013},
url = {https://doi.org/10.4108/icst.collaboratecom.2013.254053},
doi = {10.4108/ICST.COLLABORATECOM.2013.254053},
timestamp = {Fri, 15 Mar 2024 12:30:44 +0100},
biburl = {https://dblp.org/rec/conf/colcom/ZinnikusCKKNSS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ispe/HergetKNSWZ13,
author = {Wolfgang Herget and
Christopher Krau{\ss} and
Andreas Nonnengart and
Torsten Spieldenner and
Stefan Warwas and
Ingo Zinnikus},
editor = {Cees Bil and
John P. T. Mo and
Josip Stjepandic},
title = {A Virtual Environment for Collaborative Engineering with Formal Verification},
booktitle = {20th {ISPE} International Conference on Concurrent Engineering, Melbourne,
Australia, September 2-6, 2013},
pages = {225--234},
publisher = {{IOS} Press},
year = {2013},
url = {https://doi.org/10.3233/978-1-61499-302-5-225},
doi = {10.3233/978-1-61499-302-5-225},
timestamp = {Thu, 21 Sep 2023 11:29:58 +0200},
biburl = {https://dblp.org/rec/conf/ispe/HergetKNSWZ13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ispe/KraussN12,
author = {Christopher Krau{\ss} and
Andreas Nonnengart},
editor = {Josip Stjepandic and
Georg Rock and
Cees Bil},
title = {Formal Analysis Meets 3D-Visualization},
booktitle = {Concurrent Engineering Approaches for Sustainable Product Development
in a Multi-Disciplinary Environment - Proceedings of the 19th {ISPE}
International Conference on Concurrent Engineering {(ISPE} {CE} 2012),
Trier, Germany, September 3-7, 2012},
pages = {145--156},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-1-4471-4426-7\_13},
doi = {10.1007/978-1-4471-4426-7\_13},
timestamp = {Thu, 21 Sep 2023 11:29:59 +0200},
biburl = {https://dblp.org/rec/conf/ispe/KraussN12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ki/CheikhrouhouNSKR08,
author = {Lassaad Cheikhrouhou and
Andreas Nonnengart and
Werner Stephan and
Frank Koob and
Georg Rock},
editor = {Andreas Dengel and
Karsten Berns and
Thomas M. Breuel and
Frank Bomarius and
Thomas Roth{-}Berghofer},
title = {Automating Interactive Protocol Verification},
booktitle = {{KI} 2008: Advances in Artificial Intelligence, 31st Annual German
Conference on AI, {KI} 2008, Kaiserslautern, Germany, September 23-26,
2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5243},
pages = {30--37},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-85845-4\_4},
doi = {10.1007/978-3-540-85845-4\_4},
timestamp = {Fri, 13 Sep 2019 15:47:19 +0200},
biburl = {https://dblp.org/rec/conf/ki/CheikhrouhouNSKR08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/LangensteinNRS07,
author = {Bruno Langenstein and
Andreas Nonnengart and
Georg Rock and
Werner Stephan},
editor = {Bernhard Beckert},
title = {A History-based Verification of Distributed Applications},
booktitle = {Proceedings of 4th International Verification Workshop in connection
with CADE-21, Bremen, Germany, July 15-16, 2007},
series = {{CEUR} Workshop Proceedings},
volume = {259},
publisher = {CEUR-WS.org},
year = {2007},
url = {https://ceur-ws.org/Vol-259/paper08.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:14 +0100},
biburl = {https://dblp.org/rec/conf/cade/LangensteinNRS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/LangensteinNRS07,
author = {Bruno Langenstein and
Andreas Nonnengart and
Georg Rock and
Werner Stephan},
editor = {Francesca Saglietti and
Norbert Oster},
title = {Verification of Distributed Applications},
booktitle = {Computer Safety, Reliability, and Security, 26th International Conference,
{SAFECOMP} 2007, Nuremberg, Germany, September 18-21, 2007},
series = {Lecture Notes in Computer Science},
volume = {4680},
pages = {315--328},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-75101-4\_31},
doi = {10.1007/978-3-540-75101-4\_31},
timestamp = {Sat, 30 Sep 2023 09:55:40 +0200},
biburl = {https://dblp.org/rec/conf/safecomp/LangensteinNRS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/StephanLNR05,
author = {Werner Stephan and
Bruno Langenstein and
Andreas Nonnengart and
Georg Rock},
editor = {Dieter Hutter and
Werner Stephan},
title = {Verification Support Environment},
booktitle = {Mechanizing Mathematical Reasoning, Essays in Honor of J{\"{o}}rg
H. Siekmann on the Occasion of His 60th Birthday},
series = {Lecture Notes in Computer Science},
volume = {2605},
pages = {476--493},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/978-3-540-32254-2\_27},
doi = {10.1007/978-3-540-32254-2\_27},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/birthday/StephanLNR05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/NonnengartRS02,
author = {Andreas Nonnengart and
Georg Rock and
Werner Stephan},
editor = {Ralf{-}Detlef Kutsche and
Herbert Weber},
title = {Formal Requirements Engineering Using Observer Models},
booktitle = {Fundamental Approaches to Software Engineering, 5th International
Conference, {FASE} 2002, held as Part of the Joint European Conferences
on Theory and Practice of Software, {ETAPS} 2002, Grenoble, France,
April 8-12, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2306},
pages = {264--278},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45923-5\_18},
doi = {10.1007/3-540-45923-5\_18},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/fase/NonnengartRS02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flairs/NonnengartRS01,
author = {Andreas Nonnengart and
Georg Rock and
Werner Stephan},
editor = {Ingrid Russell and
John F. Kolen},
title = {Using Hybrid Automata to Express Realtime Properties in {VSE-II}},
booktitle = {Proceedings of the Fourteenth International Florida Artificial Intelligence
Research Society Conference, May 21-23, 2001, Key West, Florida, {USA}},
pages = {640--644},
publisher = {{AAAI} Press},
year = {2001},
url = {http://www.aaai.org/Library/FLAIRS/2001/flairs01-122.php},
timestamp = {Wed, 26 Oct 2022 08:35:34 +0200},
biburl = {https://dblp.org/rec/conf/flairs/NonnengartRS01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/el/RV01/NonnengartW01,
author = {Andreas Nonnengart and
Christoph Weidenbach},
editor = {John Alan Robinson and
Andrei Voronkov},
title = {Computing Small Clause Normal Forms},
booktitle = {Handbook of Automated Reasoning (in 2 volumes)},
pages = {335--367},
publisher = {Elsevier and {MIT} Press},
year = {2001},
url = {https://doi.org/10.1016/b978-044450813-3/50008-4},
doi = {10.1016/B978-044450813-3/50008-4},
timestamp = {Thu, 25 Jul 2019 12:26:00 +0200},
biburl = {https://dblp.org/rec/books/el/RV01/NonnengartW01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/el/RV01/OhlbachNRG01,
author = {Hans J{\"{u}}rgen Ohlbach and
Andreas Nonnengart and
Maarten de Rijke and
Dov M. Gabbay},
editor = {John Alan Robinson and
Andrei Voronkov},
title = {Encoding Two-Valued Nonclassical Logics in Classical Logic},
booktitle = {Handbook of Automated Reasoning (in 2 volumes)},
pages = {1403--1486},
publisher = {Elsevier and {MIT} Press},
year = {2001},
url = {https://doi.org/10.1016/b978-044450813-3/50023-0},
doi = {10.1016/B978-044450813-3/50023-0},
timestamp = {Thu, 25 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/el/RV01/OhlbachNRG01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/Nonnengart00,
author = {Andreas Nonnengart},
editor = {Nancy A. Lynch and
Bruce H. Krogh},
title = {Hybrid Systems Verification by Location Elimination},
booktitle = {Hybrid Systems: Computation and Control, Third International Workshop,
{HSCC} 2000, Pittsburgh, PA, USA, March 23-25, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1790},
pages = {352--365},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-46430-1\_30},
doi = {10.1007/3-540-46430-1\_30},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/Nonnengart00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/Nonnengart98,
author = {Andreas Nonnengart},
title = {Modal Frame Characterization by Way of Auxiliary Modalities},
journal = {Log. J. {IGPL}},
volume = {6},
number = {6},
pages = {875--899},
year = {1998},
url = {https://doi.org/10.1093/jigpal/6.6.875},
doi = {10.1093/JIGPAL/6.6.875},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/Nonnengart98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/NonnengartRW98,
author = {Andreas Nonnengart and
Georg Rock and
Christoph Weidenbach},
editor = {Claude Kirchner and
H{\'{e}}l{\`{e}}ne Kirchner},
title = {On Generating Small Clause Normal Forms},
booktitle = {Automated Deduction - CADE-15, 15th International Conference on Automated
Deduction, Lindau, Germany, July 5-10, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1421},
pages = {397--411},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0054274},
doi = {10.1007/BFB0054274},
timestamp = {Tue, 14 May 2019 10:00:39 +0200},
biburl = {https://dblp.org/rec/conf/cade/NonnengartRW98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ecsqaru/1997,
editor = {Dov M. Gabbay and
Rudolf Kruse and
Andreas Nonnengart and
Hans J{\"{u}}rgen Ohlbach},
title = {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},
series = {Lecture Notes in Computer Science},
volume = {1244},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0035607},
doi = {10.1007/BFB0035607},
isbn = {3-540-63095-3},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecsqaru/1997.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/Nonnengart96,
author = {Andreas Nonnengart},
editor = {Michael A. McRobbie and
John K. Slaney},
title = {Resolution-Based Calculi for Modal and Temporal Logics},
booktitle = {Automated Deduction - CADE-13, 13th International Conference on Automated
Deduction, New Brunswick, NJ, USA, July 30 - August 3, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1104},
pages = {598--612},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61511-3\_116},
doi = {10.1007/3-540-61511-3\_116},
timestamp = {Tue, 14 May 2019 10:00:39 +0200},
biburl = {https://dblp.org/rec/conf/cade/Nonnengart96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/dnb/Nonnengart95,
author = {Andreas Nonnengart},
title = {A resolution-based calculus for temporal logics},
school = {Saarland University, Saarbr{\"{u}}cken, Germany},
year = {1995},
url = {http://scidok.sulb.uni-saarland.de/volltexte/2004/216/index.html},
urn = {urn:nbn:de:bsz:291-scidok-2162},
timestamp = {Sat, 17 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/dnb/Nonnengart95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/Nonnengart94,
author = {Andreas Nonnengart},
editor = {Craig MacNish and
David Pearce and
Lu{\'{\i}}s Moniz Pereira},
title = {How to Use Modalities and Sorts in Prolog},
booktitle = {Logics in Artificial Intelligence, European Workshop, {JELIA} '94,
York, UK, September 5-8, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {838},
pages = {365--378},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/BFb0021985},
doi = {10.1007/BFB0021985},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/jelia/Nonnengart94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Nonnengart93,
author = {Andreas Nonnengart},
editor = {Ruzena Bajcsy},
title = {First-Order Modal Logic Theorem Proving and Functional Simulation},
booktitle = {Proceedings of the 13th International Joint Conference on Artificial
Intelligence. Chamb{\'{e}}ry, France, August 28 - September 3,
1993},
pages = {80--87},
publisher = {Morgan Kaufmann},
year = {1993},
url = {http://ijcai.org/Proceedings/93-1/Papers/012.pdf},
timestamp = {Tue, 20 Aug 2019 16:18:33 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/Nonnengart93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-08-16 00:38 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
