In: Proceedings of International Workshop on Formal Methods for Autonomous Systems. International Workshop on Formal Methods for Autonomous Systems (FMAS-2019), located at 3rd World Congress on Formal Methods, October 7-11, Porto, Portugal, Springer, 2019.
In: International Conference on Algorithms and Architectures for Parallel Processing. International Conference on Algorithms and Architectures for Parallel Processing (ICA3PP-2019), 19th, December 9-11, Melbourne, Australia, Springer, 2019.
In: Parallel and Distributed Computing, Applications and Technologies. International Conference on Parallel and Distributed Computing, Applications and Technologies (PDCAT-2019), 20th, December 5-7, Gold Coast, Australia, Springer, 2019.
In: Heinrich Hanika (Hrsg.). Künstliche Intelligenz, Robotik und autonome Systeme in der Gesundheitsversorgung. Pages 101-128, Schriften zu Gesundheitsökonomie / Gesundheitsmanagement. Hrsg. Manfred Erbsland und Evelin Häusler, ISBN 978-3-89673-759-5, Wissenschaft & Praxis, 2019.