Login / Signup
Nina Knieriemen
Publication Activity (10 Years)
Years Active: 2021-2022
Publications (10 Years): 3
Top Topics
Ping Pong
Data Structures And Algorithms
Theorem Prover
Domain Theory
Top Venues
Description Logics
RuleML+RR
ICMI
</>
Publications
</>
Christian Alrabbaa
,
Stefan Borgwardt
,
Anke Hirsch
,
Nina Knieriemen
,
Alisa Kovtunova
,
Anna Milena Rothermel
,
Frederik Wiehr
In the Head of the Beholder: Comparing Different Proof Representations.
RuleML+RR
(2022)
Frederik Wiehr
,
Anke Hirsch
,
Lukas Schmitz
,
Nina Knieriemen
,
Antonio Krüger
,
Alisa Kovtunova
,
Stefan Borgwardt
,
Ernie Chang
,
Vera Demberg
,
Marcel Steinmetz
,
Jörg Hoffmann
Why Do I Have to Take Over Control? Evaluating Safe Handovers with Advance Notice and Explanations in HAD.
ICMI
(2021)
Christian Alrabbaa
,
Stefan Borgwardt
,
Nina Knieriemen
,
Alisa Kovtunova
,
Anna Milena Rothermel
,
Frederik Wiehr
In the Hand of the Beholder: Comparing Interactive Proof Visualizations.
Description Logics
(2021)