Publikationen

Ernie Cohen; Markus Dahlweid; Mark Hillebrand; Dirk Leinenbach; Michael Moskal; Thomas Santen; Wolfram Schulte; Stephan Tobies

In: Stefan Berghofer; Tobias Nipkow; Christian Urban; Makarius Wenzel (Hrsg.). Theorem Proving in Higher Order Logics, 22nd International Conference. …

Alexander Kröner; Patrick Gebhard; Lübomira Spassova; Gerrit Kahl; Michael Schmitz

In: Michael Schneider; Alexander Kröner; Patrick Olivier; Peter Stephan (Hrsg.). Proceedings of the 1st international Workshop on Digital Object …

Alexander Kröner

In: Judy Kay; Bob Kummerfeld (Hrsg.). Proceedings of the Lifelong User Modelling Workshop. Lifelong User Modelling Workshop (LLUM-09), located at User …

Detlef Zühlke

In: Keynote Papers of the 13th IFAC Symposium on Information Control Problems in Manufacturing (INCOM 09). IFAC Symposium on Information Control …

Marc Hildebrandt; Jochen Kerdels; Jan Albiez

In: OCEANS 09 MTS / IEEE Biloxi - Marine Technology for Our Future: Global and Local Challenges. OCEANS MTS/IEEE Conference (OCEANS-09), Marine …

Daniel Görlich

PhD-Thesis, Fachbereich Maschinenbau und Verfahrenstechnik, TU Kaiserslautern, Fortschritt-Berichte pak (ISSN 1439-8109), Vol. 20, ISBN …

Jörg Neidig; Peter Stephan

In: Workshop Proceedings of the 5th International Conference on Intelligent Environments. Workshop on Digital Object Memories (DOME-09), First, …

Peter Stephan; Ines Dahmann; Peter Kraus; Georg Frey

In: Tagungsbericht VDI AUTOMATION 2009. VDI Automatisierungskongress (AUTOMATION-2009), June 16-17, Baden-Baden, Germany, VDI Verlag, 2009.

Peter Stephan; Ines Dahmann; Peter Kraus; Georg Frey

In: Proceedings of the 13th IFAC Symposium on Information Control Problems in Manufacturing (INCOM 09). IFAC Symposium on Information Control Problems …

Daniel Kuehn; Malte Langosz; Nina Sauthoff; Felix Grimminger; Frank Kirchner

In: Conference Proceedings of IROS09. IEEE/RSJ International Conference on Intelligent Robots and Systems. IEEE/RSJ International Conference on …