BibTeX records: Peter Oel

• > Home > Persons > Peter Oel

@phdthesis{DBLP:phd/dnb/Oel02,
  author       = {Peter Oel},
  title        = {Optimierung der Bedienzeit von mausgesteuerten grafischen Mensch-Maschine-Schnittstellen},
  school       = {Karlsruhe Institute of Technology, Germany},
  year         = {2002},
  url          = {https://d-nb.info/965229416},
  isbn         = {978-3-8322-0531-7},
  timestamp    = {Sat, 17 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/phd/dnb/Oel02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/hci/SchmittO99,
  author       = {Alfred Schmitt and
                  Peter Oel},
  editor       = {Hans{-}J{\"{o}}rg Bullinger and
                  J{\"{u}}rgen Ziegler},
  title        = {Calculation of Totally Optimized Button Configurations Using Fitts'
                  Law},
  booktitle    = {Human-Computer Interaction: Ergonomics and User Interfaces, Proceedings
                  of {HCI} International '99 (the 8th International Conference on Human-Computer
                  Interaction), Munich, Germany, August 22-26, 1999, Volume 1},
  pages        = {392--396},
  publisher    = {Lawrence Erlbaum},
  year         = {1999},
  timestamp    = {Wed, 07 Jan 2015 19:13:32 +0100},
  biburl       = {https://dblp.org/rec/conf/hci/SchmittO99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cade/BeckertHOS96,
  author       = {Bernhard Beckert and
                  Reiner H{\"{a}}hnle and
                  Peter Oel and
                  Martin Sulzmann},
  editor       = {Michael A. McRobbie and
                  John K. Slaney},
  title        = {The Tableau-based Theorem Prover \({}_{\mbox{3}}\)T\({}^{\mbox{A}}\)P
                  Version 4.0},
  booktitle    = {Automated Deduction - CADE-13, 13th International Conference on Automated
                  Deduction, New Brunswick, NJ, USA, July 30 - August 3, 1996, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1104},
  pages        = {303--307},
  publisher    = {Springer},
  year         = {1996},
  url          = {https://doi.org/10.1007/3-540-61511-3\_95},
  doi          = {10.1007/3-540-61511-3\_95},
  timestamp    = {Tue, 14 May 2019 10:00:39 +0200},
  biburl       = {https://dblp.org/rec/conf/cade/BeckertHOS96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}