| |
| 2009 | ||
|---|---|---|
| 3 | EE | Marvin Schiller, Christoph Benzmüller: Granularity-Adaptive Proof Presentation CoRR abs/0903.0314: (2009) |
| 2007 | ||
| 2 | EE | Christoph Benzmüller, Dominik Dietrich, Marvin Schiller, Serge Autexier: Deep Inference for Automated Proof Tutoring? KI 2007: 435-439 |
| 2006 | ||
| 1 | EE | Christoph Benzmüller, Helmut Horacek, Ivana Kruijff-Korbayová, Henri Lesourd, Marvin Schiller, Magdalena Wolska: DiaWOz-II - A Tool for Wizard-of-Oz Experiments in Mathematics. KI 2006: 159-173 |
| 1 | Serge Autexier | [2] |
| 2 | Christoph Benzmüller (Christoph Benzmueller) | [1] [2] [3] |
| 3 | Dominik Dietrich | [2] |
| 4 | Helmut Horacek | [1] |
| 5 | Ivana Kruijff-Korbayová | [1] |
| 6 | Henri Lesourd | [1] |
| 7 | Magdalena Wolska | [1] |