| |
| 2009 | ||
|---|---|---|
| 2 | EE | Martin Homik, Andreas Meier: Designing a GUI for Proofs - Evaluation of an HCI Experiment CoRR abs/0903.3926: (2009) |
| 2005 | ||
| 1 | Erica Melis, Philipp Kärger, Martin Homik: Interactive Concept Mapping in ActiveMath. DeLFI 2005: 247-258 | |
| 1 | Philipp Kärger | [1] |
| 2 | Andreas Meier | [2] |
| 3 | Erica Melis | [1] |