The Tableau-based Theorem Prover 3TAP Version 4.0. - Bernhard Beckert; Reiner Hähnle; Peter Oel; Martin Sulzmann (CADE, 1996)

Calculation of Totally Optimized Button Configurations Using Fitts' Law. - Alfred Schmitt; Peter Oel (HCI (1), 1999)

Optimierung der Bedienzeit von mausgesteuerten grafischen Mensch-Maschine-Schnittstellen. - Peter Oel (Shaker, 2002)