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.
In: Tung X. Bui (Hrsg.). 57th Hawaii International Conference on System Sciences, HICSS 2024, Hilton Hawaiian Village Waikiki Beach Resort, Hawaii, USA, January 3-6, 2024. Hawaii International Conference on System Sciences (HICSS-2024), 57th Hawaii International Conference on System Sciences, January 3-6, Honolulu, Hilton Hawaiian Village Waikiki Beach Resort, HI, USA, Pages 3374-3383, ScholarSpace, 2024.
In: Companion of the 2024 ACM/IEEE International Conference on Human-Robot Interaction. ACM/IEEE International Conference on Human-Robot Interaction (HRI-2024), March 11-14, Boulder, CO, USA, Pages 613-617, ISBN 979-8-4007-0323-2, ACM, 2024.
In: 2024 IEEE International Conference on Robotics and Automation. IEEE International Conference on Robotics and Automation (ICRA-2024), May 13-17, Yokohama, Japan, Pages 15804-15810, IEEE, 2024.
In: Fourth IEEE International Mediterranean Conference on Communications and Networking. IEEE International Mediterranean Conference on Communications and Networking (MeditCom-2024), IEEE, July 8-11, Madrid, Spain, IEEE, 2024.
In: Companion of the 2024 on ACM International Joint Conference on Pervasive and Ubiquitous Computing. International Joint Conference on Pervasive and Ubiquitous Computing (UbiComp-2024), Pages 176-180, ACM, 2024.
In: 2024 IEEE International Symposium on Mixed and Augmented Reality (ISMAR). IEEE International Symposium on Mixed and Augmented Reality (ISMAR-2024), Pages 376-385, IEEE, 2024.