In: 29. Workshop zu Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen. ITG/GMM/GI-Workshop "Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen" (MBMV-2026), March 17-18, Würzburg, Germany, 2026.
In: AlpCHI Demos: Hands-On Innovation: Interactive Demos. International Conference on Human-Computer Interaction in the Alps (AlpCHI-2026), March 1-5, Ascona, Switzerland, AlpCHI, 3/2026.
In: Proceedings of the 2026 CHI Conference on Human Factors in Computing Systems. ACM International Conference on Human Factors in Computing Systems (CHI-2026), located at CHI-2026, New York, NY, USA, CHI '26, ISBN 9798400722783, Association for Computing Machinery, 4/2026.
Raphaël Boissonnade; Come Berger; Montserrat Diaz-Carrasco; Ana Luisa Ruiz-Perez; Mathieu Deremetz; Pierre Letier; Thomas A. Schervan; Christopher Zeis; Mehmed Yüksel; Wiebke Brinkmann; Utku Akinci; Fabien Marty; Matisse Briand
In: Connected World for Sustainable Future. IEEE International Conference on Communications (ICC-2026), located at IEEE ICC, May 24-28, Glasgow, Scotland, United Kingdom, IEEE, 5/2026.
Teng Cao; Yu Deng; Hikaru Shindo; Quentin Delfosse; Lanxi Wen; Suli Wang; Jannis Blüml; Christopher Tauchmann; Kristian Kersting