| Real-time swept volume and distance computation for self collision detection H Täubig, B Bäuml, U Frese Intelligent Robots and Systems (IROS), 2011 IEEE/RSJ International …, 2011 | 80 | 2011 |
| Guaranteeing functional safety: design for provability and computer-aided verification H Täubig, U Frese, C Hertzberg, C Lüth, S Mohr, E Vorobev, D Walter Autonomous Robots 32 (3), 303-331, 2012 | 68 | 2012 |
| Extensions to reactive self-collision avoidance for torque and position controlled humanoids A Dietrich, T Wimböck, H Täubig, A Albu-Schäffer, G Hirzinger Robotics and Automation (ICRA), 2011 IEEE International Conference on, 3455-3462, 2011 | 62 | 2011 |
| Experiences in applying formal verification in robotics D Walter, H Täubig, C Lüth Computer safety, reliability, and security, 347-360, 2010 | 32 | 2010 |
| On task-oriented criteria for configurations selection in robot calibration H Carrillo, O Birbach, H Taubig, B Bauml, U Frese, JA Castellanos Robotics and Automation (ICRA), 2013 IEEE International Conference on, 3653-3659, 2013 | 21 | 2013 |
| A new library for real-time continuous collision detection H Täubig, U Frese Robotics; Proceedings of ROBOTIK 2012; 7th German Conference on, 1-5, 2012 | 13 | 2012 |
| The importance of being formal U Frese, D Hausmann, C Lüth, H Täubig, D Walter Electronic Notes in Theoretical Computer Science 238 (4), 57-70, 2009 | 13 | 2009 |
| Real-time Continuous Collision Detection for Mobile Manipulators–A General Approach H Täubig, B Bäuml, U Frese Humanoid Robots (Humanoids), 12th IEEE-RAS International Conference on, 461-468, 2012 | 10 | 2012 |
| Simultaneous Localisation and Mapping (SLAM) mit Hierarchischen Partikelfiltern H Täubig, C Schröter 3rd Workshop an SelfOrganization af Adaptive Behavior, 2004 | 5 | 2004 |
| SAMS-Sicherheitskomponente fur Autonome Mobile Serviceroboter C Luth, U Frese, H Taubig, D Walter, D Hausmann VDIBERICHT 2012, 123, 2008 | 3 | 2008 |
| Verfahren zur Vermeidung von Kollisionen gesteuert beweglicher Teile einer Anlage U Frese, H Täubig | 2 | 2011 |
| Zertifizierung einer Sicherungskomponente mittels durchgängig formaler Modellierung. U Frese, D Hausmann, C Lüth, H Täubig, D Walter Software Engineering (Workshops), 335-338, 2008 | 2 | 2008 |
| Weiterentwicklung eines Graphen-basierten Ansatzes als Rahmensystem für eine lokale Navigation H Täubig, A Heinze Workshop SOAVE, 47-56, 2000 | 2 | 2000 |
| Verfahren zur Vermeidung von Kollisionen gesteuert beweglicher U Frese, H Täubig Saarländische Universitäts-und Landesbibliothek}, 2009 | | 2009 |
| Dreieckskonstruktionen Klasse 7 H Täubig | | |
Udo FreseInformatik, Universität BremenVerified email at informatik.uni-bremen.de
