In: M. Burghardt; R. Wimmer; C. Wolff; C. Womser-Hacker (Hrsg.). Mensch und Computer 2017 - Workshopband. Mensch und Computer (MuC-2017), September 2-5, Dresden, Germany, Vol. 93, Gesellschaft für Informatik e.V, Regensburg, 9/2017.
In: Peter Csaba Ölveczky; Gwen Salaün (Hrsg.). Software Engineering and Formal Methods - 17th International Conference, Proceedings. International Conference on Software Engineering and Formal Methods (SEFM-2019), September 16-20, Oslo, Norway, Pages 454-468, Lecture Notes in Computer Science (LNCS), Vol. 11724, ISBN 978-3-030-30446-1, Springer, Cham, 9/2019.
In: International conference in robotics and intelligent systems. IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS-2019), IEEE/RSJ International Conference on Intelligent Robots and Systems, November 4-8, Macao, Macao, IEEE, 2019.
Pavel Potocek; Remco Schoenmakers; Patrick Trampert; Tim Dahmen; Maurice Peemen
In: 2018 IEEE International Conference on Bioinformatics and Biomedicine (BIBM). IEEE International Conference on Bioinformatics and Biomedicine (BIBM-2018), December 3-6, Madrid, Spain, Pages 2461-2465, IEEE, 12/2018.