Nghia Duong-Trung; Xia Wang; Rahul Rajkumar Bhoyar; Angelin Mary Jose; Silke Elisabeth Wrede; Lars van Rijn; Theresa Panse; Claudia De Witt; Niels Pinkwart
In: Richard Balogh; David Obdrzálek; Nikolaos Fachantidis. International Conference on Robotics in Education (RiE). Pages 126-137, Springer Nature Switzerland, 4/2025.
A. H. Darmasti; R. Zender; A. Sianipar; N. Pinkwart
In: Asbjørn Følstad; Sebastian Hobert; Symeon Papadopoulos; Effie L.-C. Law; Theo Araujo; Petter Bae Brandtzæg (Hrsg.). Proceedings of the 9th International Symposium on Chatbots and Human-Centred AI. International Symposium on Chatbots and Human-Centred AI (CONVERSATIONS-2025), November 12-13, Lübeck, Germany, Lecture Notes in Computer Science (LNCS), Springer, 11/2025.
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-2026), March 11-12, Rostock, Germany, 2025.
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), March 11-12, Rostock, Germany, 2025.