Holger Täubig

According to our database1, Holger Täubig authored at least 9 papers between 2008 and 2013.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2013
On task-oriented criteria for configurations selection in robot calibration.
Proceedings of the 2013 IEEE International Conference on Robotics and Automation, 2013

2012
Guaranteeing functional safety: design for provability and computer-aided verification.
Auton. Robots, 2012

A New Library for Real-time Continuous Collision Detection.
Proceedings of the ROBOTIK 2012, 2012

Real-time continuous collision detection for mobile manipulators - A general approach.
Proceedings of the 12th IEEE-RAS International Conference on Humanoid Robots (Humanoids 2012), Osaka, Japan, November 29, 2012

2011
Real-time swept volume and distance computation for self collision detection.
Proceedings of the 2011 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2011

Extensions to reactive self-collision avoidance for torque and position controlled humanoids.
Proceedings of the IEEE International Conference on Robotics and Automation, 2011

2010
Experiences in Applying Formal Verification in Robotics.
Proceedings of the Computer Safety, 2010

2009
The Importance of Being Formal.
Electron. Notes Theor. Comput. Sci., 2009

2008
Zertifizierung einer Sicherungskomponente mittels durchgängig formaler Modellierung.
Proceedings of the Software Engineering 2008, 2008


  Loading...