Peter Oel

According to our database, Peter Oel authored at least 3 papers between 1996 and 2002.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2002

Optimierung der Bedienzeit von mausgesteuerten grafischen Mensch-Maschine-Schnittstellen.

Peter Oel

PhD thesis, 2002

1999

Calculation of Totally Optimized Button Configurations Using Fitts' Law.

Alfred Schmitt, Peter Oel

Proceedings of the Human-Computer Interaction: Ergonomics and User Interfaces, 1999

1996

The Tableau-based Theorem Prover ₃T^AP Version 4.0.

Bernhard Beckert, Reiner Hähnle, Peter Oel, Martin Sulzmann

Proceedings of the Automated Deduction - CADE-13, 13th International Conference on Automated Deduction, New Brunswick, NJ, USA, July 30, 1996