Publications

Sergio Tejeda Pastor; Jangwoo Son; Johann-Christian Põder; Andy Räder; Juliane Wegner; Armin Keller; Tanja Bäumel; Bernd Kiefer; Michael Dietrich; Torsten Schimmer; Atilla Azgin; Benjamin Körner; Sven Wischnowsky; Thomas Buchholz; Mustafa Tevfik Lafci; Birgit Nierula; Peter Eisert; Anna Hilsmann; Sebastian Bosse; Cornelius Hellge

In: Jana Tröge; Jan Stepczynski; Heike Wiesner; Christoph Runde. Virtuelle Beteiligung, reale Teilhabe. Pages 185-218, ISBN 978-3-593-52131-2, Campus Verlag, 7/2025.

Khalil Abuibaid; Vinit Vikas Hegiste; Nigora Gafur; Achim Wagner; Martin Ruskowski

In: Kosta Jovanovic; Aleksandar Rodic; Mirko Rakovic (Hrsg.). Advances in Service and Industrial Robotics. International Conference on Robotics in Alpe-Adria-Danube Region (RAAD-2025), Cham, Pages 389-397, ISBN 978-3-032-02106-9, Springer Nature Switzerland, 2025.

Peter Stein; Jibinraj Antony; Simon Bergweiler; Christian Schorr

In: Kosmas Alexopoulos; Sotiris Makris; Panagiotis Stavropoulos (Hrsg.). Advances in Artificial Intelligence in Manufacturing II. European Symposium on Artificial Intelligence in Manufacturing (ESAIM-2024), Cham, Pages 89-97, ISBN 978-3-031-86489-6, Springer Nature Switzerland, 2025.

Michael Backenköhler; Luca Bortolussi; Gerrit Großmann; Verena Wolf

In: Jan Friso Groote; Kim Guldstrand Larsen; (Hrsg.). Tools and Algorithms for the Construction and Analysis of Systems. International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS-2021), 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, March 27 - April 1, Luxembourg City, Luxembourg, Pages 210-229, Vol. 12651, ISBN 978-3-030-72016-2, Springer, Switzerland, 3/2021.

Gerrit Großmann; Michael Backenköhler; Verena Wolf

In: HSCC '21: Proceedings of the 24th International Conference on Hybrid Systems: Computation and Control. ACM International Conference on Hybrid Systems: Computation and Control (HSCC-2021), May 19-21, Nashville, Tennesse, USA, Pages 1-3, ISBN 978-1-4503-8339-4, ACM, New York, NY, 5/2021.

Gerrit Großmann; Michael Backenköhler; Verena Wolf

In: Vygintas Gontis (Hrsg.). PLOS One, Vol. 16, No. 7, Pages 1-19, Public Library of Science, 7/2021.

Charalampos Kyriakopoulos; Karl Nordström; Paula Linh Kramer; Judith Yumiko Gottfreund; Abdulrahman Salhab; Julia Arand; Fabian Müller; Ferdinand von Meyenn; Gabriella Ficz; Wolf Reik; Verena Wolf; Jörn Walter; Pascal Giehr

In: Cell Reports Methods, Vol. 2, No. 3, Pages 1-23, Cell Press, 3/2022.

Timo P. Gros; Arnd Hartmanns; Ivo Hoese; Joshua Meyer; Nicola Müller; Verena Wolf

In: Pavithra Prabhakar; Andrea Vandin (Hrsg.). Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems - Second International Joint Conference, Proceedings. International Joint Conference on Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems (QEST+FORMATS-2025), August 26-28, Aarhus, Denmark, Pages 134-156, Lecture Notes in Computer Science (LNCS), Vol. 16143, ISBN 978-3-032-05791-4, Springer Nature, Switzerland, 10/2025.

Gerrit Großmann; Michael Backenköhler; Verena Wolf

In: Marco Gribaudo; David N. Jansen; Anne Remke (Hrsg.). Quantitative Evaluation of Systems. International Conference on Quantitative Evaluation of Systems (QEST-2020), 17th International Conference, QEST 2020, October 31 - September 1, Vienna, Austria, Pages 211-229, Vol. 12289, ISBN 9783030598549, Springer International Publishing, Switzerland, 9/2020.

Thilo Krüger; Verena Wolf

In: Eugenio Cinquemani; Alexandre Donzé (Hrsg.). Hybrid Systems Biology - 5th International Workshop, Proceedings. International Conference on Hybrid Systems Biology (HSB-2016), October 20-21, Grenoble, France, Pages 39-53, Lecture Notes in Computer Science (LNCS), Vol. 9957, ISBN 9783319471518, Springer International Publishing, 9/2016.