Peter Oel

	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

Coauthor Index

1	Bernhard Beckert	[1]
2	Reiner Hähnle	[1]
3	Alfred Schmitt	[2]
4	Martin Sulzmann	[1]

Colors in the list of coauthors