Ein tableaubasierter Theorembeweiser für die intuitionistische Logik. - Oliver Bittel (Oldenbourg, 1991)

Tableau-Based Theorem Proving and Synthesis of Lambda-Terms in the Intuitionistic Logic. - Oliver Bittel (JELIA, 1992)

The Lambda-Tableau Calculus: A New Approach to Theorem Proving in the Intuitionistic Logic (Extended Abstract). - Oliver Bittel (TABLEAUX, 1992)

Real-Time Door Detection Based on AdaBoost Learning Algorithm. - Jens Hensler; Michael Blaich; Oliver Bittel (Eurobot Conference, 2009)

Using Quadtrees for Realtime Pathfinding in Indoor Environments. - Julian Hirt; Dominik Gauggel; Jens Hensler; Michael Blaich; Oliver Bittel (Eurobot Conference, 2010)

AdaBoost based Door Detection for Mobile Robots. - Jens Hensler; Michael Blaich; Oliver Bittel (ICAART (1), 2010)

Improved Door Detection Fusing Camera and Laser Rangefinder Data with AdaBoosting. - Jens Hensler; Michael Blaich; Oliver Bittel (ICAART (Revised Selected Papers), 2010)

Mobile Robot Localization Using Beacons and the Kalman Filter Technique for the Eurobot Competition. - Oliver Bittel; Michael Blaich (Eurobot Conference, 2011)

Designing an Omni-Directional Infrared Sensor and Beacon System for the Eurobot Competition. - Valentin Durst; Daniel Hagel; Jan Vander; Michael Blaich; Oliver Bittel (Eurobot Conference, 2011)

Obstacle and Game Element Detection with the 3D-Sensor Kinect. - Matthias Greuter; Michael Rosenfelder; Michael Blaich; Oliver Bittel (Eurobot Conference, 2011)

Fast grid based collision avoidance for vessels using A∗ search algorithm. - Michael Blaich; Michael Rosenfelder; Michael Schuster; Oliver Bittel; Johannes Reuter (MMAR, 2012)