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.
In: 2024 IEEE-EMBS Conference on Biomedical Engineering and Sciences (IECBES). IEEE-EMBS Conference on Biomedical Engineering and Sciences (IECBES-2024), December 11-13, Penang, Malaysia, ISBN 979-8-3503-8340-9, IEEE, 2024.
In: Proceedings of the 2024 ACM Symposium on Spatial User Interaction. ACM Symposium on Spatial User Interaction (SUI-2024), Trier, Germany, SUI '24, ISBN 9798400710889, Association for Computing Machinery, 2024.
In: Proceedings of the 37th Annual ACM Symposium on User Interface Software and Technology. ACM Symposium on User Interface Software and Technology (UIST-2024), Pittsburgh, Pennsylvania, USA, UIST '24, ISBN 9798400706288, Association for Computing Machinery, 2024.