Login / Signup
Anke Hirsch
Publication Activity (10 Years)
Years Active: 2019-2022
Publications (10 Years): 6
Top Topics
Discrete Sets
Ping Pong
Formal Proof
Virtual Agents
Top Venues
Description Logics
RuleML+RR
CoRR
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)
Felix Kosmalla
,
Fabian Hupperich
,
Anke Hirsch
,
Florian Daiber
,
Antonio Krüger
VirtualLadder: Using Interactive Projections for Agility Ladder Training.
CHI Extended Abstracts
(2021)
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)
Frederik Wiehr
,
Anke Hirsch
,
Florian Daiber
,
Antonio Krüger
,
Alisa Kovtunova
,
Stefan Borgwardt
,
Ernie Chang
,
Vera Demberg
,
Marcel Steinmetz
,
Jörg Hoffmann
Safe Handover in Mixed-Initiative Control for Cyber-Physical Systems.
CoRR
(2020)
Stefan Borgwardt
,
Anke Hirsch
,
Alisa Kovtunova
,
Frederik Wiehr
In the Eye of the Beholder: Which Proofs are Best?
Description Logics
(2020)
Tanja Schneeberger
,
Anke Hirsch
,
Cornelius J. König
,
Patrick Gebhard
Impact of Virtual Environment Design on the Assessment of Virtual Agents.
IVA
(2019)