Publications

In: Proceedings of International Workshop on Formal Methods for Autonomous Systems. International Workshop on Formal Methods for Autonomous Systems (FMAS-2019) located at 3rd World Congress on Formal Methods October 7-11 Porto Portugal Springer 2019.

To the publication

In: Proceedings of the 19th IEEE International Conference on Business Informatics (CBI). IEEE Conference on Business Informatics (CBI-2017) 19th July 24-26 Thessaloniki Greece IEEE Press 2017.

To the publication

In: Peter Schartner, Kerstin Lemke-Rust, Markus Ullmann (editor). D A CH Security 2015. IT Security & IT Management September 8-9 St. Augustin / Bonn Germany syssec 2015.

To the publication

In: Proceedings of the 9th IEEE International Conference on Collaborative Computing: Networking, Applications and Worksharing. IEEE International Conference on Collaborative Computing: Networking, Applications and Worksharing (CollaborateCom-13) 9th October 20-23 Austin TX United States 2013.

To the publication

In: C. Bil, et al. (editor). Proceedings of the 20th ISPE International Conference on Concurrent Engineering. ISPE International Conference on Concurrent Engineering (CE-13) 20th September 2-6 Melbourne VIC Australia IOS Press 2013.

To the publication

In: Georg Rock, Josip Stjepandic, Cees Bil (editor). Concurrent Engineering Approaches for Sustainable Product Development in a Multi-Disciplinary Environment. ISPE International Conference on Concurrent Engineering (CE-2012) September 3-7 Trier Germany Pages 145-156 1 ISBN 978-1-4471-4425-0 Springer 9/2012.

To the publication

In: Andreas Dengel, Karsten Berns, Thomas Breuel, Frank Bomarius, Thomas Roth-Berghofer (editor). KI 2008: Advances in Artificial Intelligence. German Conference on Artificial Intelligence (KI-2008) September 23-26 Kaiserslautern Germany Lecture Notes in Artificial Intelligence (LNAI) 5243 ISBN 978-3-540-85844-7 Springer Berlin, Heidelberg 2008.

To the publication

In: Proceedings of the 15th International Conference on Automated Deduction, CADE98. International Conference on Automated Deduction (CADE) Pages 397-411 LNCS 1421 Springer 1998.

To the publication

German Research Center for Artificial Intelligence
Deutsches Forschungszentrum für Künstliche Intelligenz