In the Hand of the Beholder: Comparing Interactive Proof Visualizations. - Christian Alrabbaa; Stefan Borgwardt; Nina Knieriemen; Alisa Kovtunova; Anna Milena Rothermel; Frederik Wiehr (Description Logics, 2021)

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 001 (ICMI, 2021)

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 (RuleML+RR, 2022)

Explaining Reasoning Results for OWL Ontologies with Evee. - Christian Alrabbaa; Stefan Borgwardt; Tom Friese; Anke Hirsch; Nina Knieriemen; Patrick Koopmann; Alisa Kovtunova; Antonio Krüger; Alexej Popovic; Ida S. R. Siahaan (KR, 2024)