Martin Kuhn; Yannik Warnecke; Daniel Preciado-Marquez; Joscha Grüger; Laura Isabell Bley; Michael Storck; Carsten Weishaupt; Ralph Bergmann; Stephan Alexander Braun
In: Isabelle Bichindaritz; Beatriz López (Hrsg.). Case-Based Reasoning Research and Development. International Conference on Case-Based Reasoning (ICCBR), 33rd International Conference on Case-Based Reasoning, located at ICCBR-2025, June 30 - July 3, Biarritz, France, Pages 407-422, ISBN 978-3-031-96559-3, Springer Nature Switzerland, 2025.
In: Proceedings of the 17th International Conference on Social Robotics + AI. International Conference on Social Robotics (ICSR-2025), September 10-12, Naples, Italy, Springer, 2025.
In: Internet of Things, Vol. 33, Pages 1-16, Elsevier, 9/2025.
Benjamin Alt; Sebastian Bast; Matthias Babel; Julian Buitmann; Lars Creutz; Guido Dartmann; Marvin Ehaus; Thomas Engel; Fabian Gast; Nina Großegesse; Achim Guldner; Nils Jahnke; David Jilg; Marc-Fabian Körner; Justus Leskow; Johannes Mundorf; Stefan Naumann; Alexandra Pehlken; Marvin Schacht; Leo Schick; Tobias Schlagenhauf; Alexander Schultheis; Karsten Schörner; Sebastian Straub; Jens Strüker; Ralph Traphöner; Moritz-André Weiher
In: Samson Lasaulce; Dieter Fiems; Pete Harrison; Luc Vandendorpe (Hrsg.). VALUETOOLS '11: Proceedings of the 5th International ICST Conference on Performance Evaluation Methodologies and Tools. International ICST Conference on Performance Evaluation Methodologies and Tools (VALUETOOLS-2011), May 16-20, Paris, France, Pages 186-196, ISBN 978-1-936968-09-1, ACM, 5/2011.
In: Antti Valmari (Hrsg.). Model Checking Software. International Symposium on Model Checking Software (SPIN-2006), 13th International SPIN Workshop, March 30 - April 1, Vienna, Austria, Pages 71-88, ISBN 9783540331032, Springer Berlin Heidelberg, Heidelberg, 3/2006.