| |
| 1999 | ||
|---|---|---|
| 2 | Alfred Schmitt, Peter Oel: Calculation of Totally Optimized Button Configurations Using Fitts' Law. HCI (1) 1999: 392-396 | |
| 1996 | ||
| 1 | Bernhard Beckert, Reiner Hähnle, Peter Oel, Martin Sulzmann: The Tableau-based Theorem Prover 3TAP Version 4.0. CADE 1996: 303-307 | |
| 1 | Bernhard Beckert | [1] |
| 2 | Reiner Hähnle | [1] |
| 3 | Alfred Schmitt | [2] |
| 4 | Martin Sulzmann | [1] |