Michael Barz; Panagiotis Karagiannis; Johan Kildal; Andoni Rivera Pinto; Judit Ruiz de Munain; Jesús Rosel; Maria Madarieta; Konstantina Salagianni; Panagiotis Aivaliotis; Sotiris Makris; Daniel Sonntag
In: 36. GI/GMM/ITG Testmethoden und Zuverlässigkeit von Schaltungen und Systemen (TuZ). GI/GMM/ITG Workshop Testmethoden und Zuverlässigkeit von Schaltungen und Systemen (TuZ-2024), February 25-27, Darmstadt, Germany, 2024.
In: Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV). ITG/GMM/GI-Workshop "Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen" (MBMV-2024), February 14-15, Landau, Germany, 2024.
In: Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV). ITG/GMM/GI-Workshop "Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen" (MBMV-2024), February 14-15, Kaiserslautern, Germany, 2024.
Mark Niemeyer; Marian Renz; Maren Pukrop; David Hagemann; Tim Zurheide; Daniel Di Marco; Markus Höferlin; Philipp Stark; Florian Rahe; Matthias Igelbrink; Mario Jenz; Thomas Jarmer; Dieter Trautz; Stefan Stiene; Joachim Hertzberg
In: KI - Künstliche Intelligenz, German Journal on Artificial Intelligence - Organ des Fachbereiches "Künstliche Intelligenz" der Gesellschaft für Informatik e.V. (KI), Vol. 37, Pages 175-181, Springer, 1/2024.
In: Proceedings of the Third Conference on Causal Learning and Reasoning (CLeaR-24). Conference on Causal Learning and Reasoning (CLeaR-2024), April 1-3, Los Angeles, CA, USA, Pages 827-842, Vol. 236, PMLR, 5/2024.
Tobias Stollenwerk; Somtapa Bhattacharya; Michele Cattelan; Alessandro Ciani; Gabriele Compostella; David Headley; Johannes Klepsch; Matthias Klusch; Markus Leder; Antonio Macaluso; Kristel Michielsen; Dmytro Nabok; Anestis Papanikolaou; Alexander Rausch; Marco Schumann; Andrea Skolik; Sheir Yarkoni; Frank K. Wilhelm
In: Matthias Klusch; Jörg Lässig; Frank Wilhelm (Hrsg.). KI - Künstliche Intelligenz, German Journal on Artificial Intelligence - Organ des Fachbereiches "Künstliche Intelligenz" der Gesellschaft für Informatik e.V. (KI), Vol. 4/24, Pages 1-9, Springer, 2024.
Philippe Weier; Alexander Rath; Élie Michel; Iliyan Georgiev; Philipp Slusallek; Tamy Boubekeur
In: Andres Burbano; Denis Zorin; Wojciech Jarosz (Hrsg.). Proceedings - SIGGRAPH 2024 Conference Papers. ACM Siggraph (Siggraph-24), July 27 - August 1, Denver, CO, USA, Pages 1-11, Vol. 25, ISBN 979-8-4007-0525-0, Association for Computing Machinery, New York, NY, USA, 7/2024.