| |
| 2007 | ||
|---|---|---|
| 2 | Dominik Dietrich, Mark Buckley: Verification of Proof Steps for Tutoring Mathematical Proofs. AIED 2007: 560-562 | |
| 2006 | ||
| 1 | EE | Mark Buckley, Christoph Benzmüller: An Agent-Based Architecture for Dialogue Systems. Ershov Memorial Conference 2006: 135-147 |
| 1 | Christoph Benzmüller (Christoph Benzmueller) | [1] |
| 2 | Dominik Dietrich | [2] |