MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for authors named "Peter Oel" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

4 documents found, showing 1 through 4.

ATOM

Calculation of totally optimized button configurations using Fitts' law
by Alfred Schmitt, Peter Oel — 1999 — Proceedings of HCI International (the 8th International Conference on Human-Computer Interaction) on Human-Computer Interaction: Ergonomics and User Interfaces
…Alfred Schmitt & Peter Oel (1999). Calculation of Totally Optimized Button Configurations Using…
Cited by 3 (0 self) – Add To MetaCart

HW3D: A tool for interactive real-time 3D Visualization In GIS supported flood modelling
by Jan Bender, Dieter Finkenzeller, Peter Oel, Universität Karlsruhe — 2004
…@(email omitted); 1 Peter Oel Universität Karlsruhe peter.oel@(email omitted); tion zones are calculated during the simulation…
Add To MetaCart

The Tableau-based Theorem Prover 3TAP - Version 4.0
by Bernhard Beckert, Reiner Hähnle, Peter Oel, Martin Sulzmann — 1996
…The Tableau-based Theorem Prover 3 T A P Version 4.0 Bernhard Beckert, Reiner Hahnle, Peter Oel…
Cited by 9 (3 self) – Add To MetaCart

The Tableau-based Theorem Prover
by Version Bernhard Beckert, Bernhard Beckert, Reiner Hahnle, Peter Oel, Martin Sulzmann
…The Tableau-based Theorem Prover 3 T A P Version 4.0 Bernhard Beckert, Reiner Hahnle, Peter Oel…
Cited by 2 (0 self) – Add To MetaCart

Showing 1 through 4.

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB