Nina Knieriemen, M.Sc.

Contact

Address (Saarbrücken) Gebäude D3 4Stuhlsatzenhausweg 366123 Saarbrücken

Publications

In the Head of the Beholder: Comparing Different Proof Representations
Christian Alrabbaa; Stefan Borgwardt; Anke Hirsch; Nina Knieriemen; Alisa Kovtunova; Anna Milena Rothermel; Frederik Wiehr
In: Guido Governatori; Anni-Yasmin Turhan (Hrsg.). Rules and Reasoning. International Joint Conference on Rules and Reasoning (RuleML+RR-2022), Cham, Pages 211-226, ISBN 978-3-031-21541-4, Springer International Publishing, 2022.
Why Do I Have to Take Over Control? Evaluating Safe Handovers with Advance Notice and Explanations in HAD
Frederik Wiehr; Anke Hirsch; Lukas Schmitz; Nina Knieriemen; Antonio Krüger; Alisa Kovtunova; Stefan Borgwardt; Ernie Chang; Vera Demberg; Marcel Steinmetz; Jörg Hoffmann
In: Proceedings of the 2021 International Conference on Multimodal Interaction. ACM International Conference on Multimodal Interaction (ICMI-2021), New York, NY, USA, ICMI '21, ISBN 9781450384810, Association for Computing Machinery, 2021.
In the Hand of the Beholder: Comparing Interactive Proof Visualizations
Christian Alrabbaa; Stefan Borgwardt; Nina Knieriemen; Alisa Kovtunova; Anna Milena Rothermel; Frederik Wiehr
In: Martin Homola; Vladislav Ryzhikov; Renate A. Schmidt (Hrsg.). Proceedings of the 34th International Workshop on Description Logics (DL 2021) part of Bratislava Knowledge September (BAKS 2021), Bratislava, Slovakia, September 19th to 22nd, 2021. International Workshop on Description Logics (DL-2021), CEUR Workshop Proceedings, Vol. 2954, CEUR-WS.org, 2021.