selected publications
-
chapter
- Hybrid Teams: Flexible Collaboration Between Humans, Robots and Virtual Agents. Lecture Notes in Computer Science. 131-146. 2016
- Assisted Proof Document Authoring. Lecture Notes in Computer Science. 2006