Robotics Innovation Center

Seite 2 von 2.

1. Michael Kohlhase; Johannes Lemburg; Lutz Schröder; Ewaryst Schulz

   Formal Management of CAD/CAM Processes

   In: Ana Cavalcanti; Dennis Dams (Hrsg.). Formal Methods. International Symposium on Formal Methods (FM-09), 16th, November 2-6, Eindhoven, Netherlands, Pages 223-238, Lecture Notes in Computer Science (LNCS), Vol. 5850, Springer, Berlin, 11/2009.

2. José de Gea Fernández; Johannes Lemburg; Thomas M. Roehr; Malte Wirkus; Iliya Gurov; Frank Kirchner

   Design and Control of an Intelligent Dual-Arm Manipulator for Fault-Recovery in a Production Scenario

   In: ETFA'09 Proceedings of the 14th IEEE international conference on Emerging technologies & factory automation. IEEE International Conference on Emerging Technologies and Factory Automation (ETFA-09), September 22-26, Mallorca, Spain, Pages 1583-1587, ISBN 978-1-4244-2727-7, IEEE Press, 9/2009.

• 1
• 2