Oliver Bittel
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
4
Active years
1992–2012
Best venue rank
B
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2012 | MMAR | Fast grid based collision avoidance for vessels using A∗ search algorithm. | Michael Blaich, Michael Rosenfelder, Michael Schuster, Oliver Bittel, Johannes Reuter |
| 2010 | ICAART | AdaBoost based Door Detection for Mobile Robots. | Jens Hensler, Michael Blaich, Oliver Bittel |
| 2010 | ICAART | Improved Door Detection Fusing Camera and Laser Rangefinder Data with AdaBoosting. | Jens Hensler, Michael Blaich, Oliver Bittel |
| 1992 | JELIA | Tableau-Based Theorem Proving and Synthesis of Lambda-Terms in the Intuitionistic Logic. | Oliver Bittel |
| 1992 | TABLEAUX | The Lambda-Tableau Calculus: A New Approach to Theorem Proving in the Intuitionistic Logic (Extended Abstract). | Oliver Bittel |