In: Thomas Neele; Anton Wijs (Hrsg.). Model Checking Software - 30th International Symposium - Proceedings. International Symposium on Model Checking Software (SPIN-2024), April 8-9, Luxembourg City, Luxembourg, Pages 3-25, Lecture Notes in Computer Science (LNCS), Vol. 14624, Springer Nature, Switzerland, 10/2024.
In: Maike Klein; Daniel Krupka; Cornelia Winter; Martin Gergeleit; Ludger Martin (Hrsg.). INFORMATIK 2024. Pages 1079-1097, ISBN 978-3-88579-746-3, Gesellschaft für Informatik e.V. Bonn, 2024.
Leo Sylvio Rüdian; Clara Schumacher; Michael Hanses; Jakub Kuzilek; Niels Pinkwart
In: Digital Health, Vol. 10, Pages 1-16, Sage Publications, 2024.
Amelie Gyrard; Philip Gribbon; Rada Hussein; Somayeh Abedian; Luis Marti Bonmati; Gibi Luisa Caborner; George Manias; Gabriel Danciu; Stefano Dalmiani; Serge Autexier; Rick van Nuland; Mario Jendrosse; Ioannis Avramidis; Eva Garcia Alvarez
In: John Mantas; Arie Hasman (Hrsg.). Proceedings 34th Medical Informatics Europe Conference (MIE 2024). Medical Informatics Europe Congress (MIE-2024), Athens, Greece, Pages 1292-1296, Studies in Health Technol, Vol. 316, IOS Press, 8/2024.
In: 2024 IEEE 29th International Conference on Emerging Technologies and Factory Automation (ETFA). IEEE International Conference on Emerging Technologies and Factory Automation (ETFA-2024), September 10-13, Padova, Italy, Pages 1-8, IEEE, 2024.
In: Journal of Medical Internet Research (JMIR), Vol. 28, Pages 1-13, JMIR Publications Toronto, Canada, 2026.
Bilgin Osmanodja; Jakob Joachim Spencker; Ömer Ege Ömerouglu; Zeineb Sassi; Roland Roller; Sascha Vu-Eickmann; Hannah Thomas; Aljoscha Burchardt; Michael Hahn; Tabea Ott; Peter Dabrock; Sebastian Möller; Klemens Budde; Anne Hermann
In: Proceedings of the 15th Language Resources and Evaluation Conference (LREC). International Conference on Language Resources and Evaluation (LREC-2026), Pages 1-10, LREC, 2026.