Assistierender Roboterarm am Krankenbett (links), Hightech Chip (mittig), Fussball spielende Nao Roboter (rechts)

Cyber-Physical Systems

Publications

Page 114 of 118.

Oliver Kutz; Till Mossakowski
Modules in Transition - Conservativity, Composition, and Colimits
In: Bernardo Cuenca-Grau; Vasant Honavar; Anne Schlicht; Frank Wolter (Hrsg.). Second International Workshop on Modular Ontologies. International Workshop on Modular Ontologies (WoMO-07), located at Fourth International Conference on Knowledge Capture (K-CAP-07), October 28, Whistler, BC, Canada, CEUR Workshop Proceedings, Vol. 315, CEUR-WS, 2007.
Juan Lopez-Pimentel; Raul Monroy; Dieter Hutter
A method for patching interleaving-replay attacks in faulty security protocols
In: R. Bloem (Hrsg.). Proceedings of First Workshop on Verification and Debugging. Workshop on Verification and Debugging (V&D-2006), located at Associated with CAV 2006, August 21, Seattle, WA, USA, Pages 117-130, Vol. 174, No. 4, Electronic Notes in Theoretical Computer Science, 2007.
Till Mossakowski; Serge Autexier; Dieter Hutter
Development Graphs -- Proof Management for Structured Specifications
In: Journal of Logic and Algebraic Programming (JLAP), Vol. 67, No. 1--2, Pages 114-145, 2006.
Thomas Röfer; Jörg Brose; Eike Carls; Jan Carstens; Daniel Göhring; Matthias Jüngel; Tim Laue; Tobias Oberlies; Sven Oesau; Max Risler; Michael Spranger; Christian Werner; Jörg Zimmer
GermanTeam 2006
In: G. Lakemeyer; E. Sklar; D. Sorrenti; T. Takahashi (Hrsg.). RoboCup 2006: Robot Soccer World Cup X Preproceedings. RoboCup International Symposium (RoboCup), RoboCup Federation; www.robocup.org, 2006.
Kai Hübner
Symmetriesignaturen für bildbasierte Anwendungen in der Robotik
BISS Monographs, Vol. 24, ISBN 978-3-8325-1455-6, Logos Verlag; www.logos-verlag.de, Berlin, 2006.
Christian Mandel; Udo Frese; Thomas Röfer
Robot Navigation based on the Mapping of Coarse Qualitative Route Descriptions to Route Graphs
In: Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS 2006). IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS-2006), October 9-15, Bejing, China, Pages 205-210, 2006.
Udo Frese; Lutz Schröder
Closing a Million-Landmarks Loop
In: Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, Beijing. IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS-2006), October 9-15, Bejing, China, 2006.
Sergey Goncharov; Lutz Schröder; Till Mossakowski
Completeness of Global Evaluation Logic
In: Rastislav Kralovic; Pawel Urzyczyn (Hrsg.). Mathematical Foundations of Computer Science. International Symposium on Mathematical Foundations of Computer Science (MFCS-2006), August 28 - September 1, Stará Lesná, Slovakia, Pages 447-458, Lecture Notes in Computer Science (LNCS), Vol. 4162, Springer; www.springer.de, Berlin, 2006.
Daniel Hausmann; Till Mossakowski; Lutz Schröder
A Coalgebraic Approach to the Semantics of the Ambient Calculus
In: Theoretical Computer Science, Vol. 366, No. 1-2, Pages 121-143, 2006.
Kai Hübner; J. Zhang
Stable Symmetry Feature Detection and Classification in Panoramic Robot Vision Systems
In: Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems. IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS-2006), October 9-15, Bejing, China, Pages 3429-3434, ISBN 1-4244-0259-X, 2006.