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

Cyber-Physical Systems

Publikationen

Seite 102 von 114.

Lutz Schröder; Dirk Pattinson
Rank-1 modal logics are coalgebraic
In: Journal of Logic and Computation (JLC), Vol. o.A. Oxford University Press, 12/2008.
Serge Autexier; Heiko Mantel; Stephan Merz; Tobias Nipkow
Special Issue on Formal Modeling and Verification of Critical Systems
In: Journal of Automated Reasoning (JAR), Vol. 41, No. 3-4, Journal of Automated Reasoning, Springer Netherlands, 12/2008.
Serge Autexier; Christoph Benzmueller; Dominik Dietrich; Marc Wagner
Organisation, Transformation, and Propagation of Mathematical Knowledge in OMEGA
In: Manfred Kerber (Hrsg.). Journal Mathematics in Computer Science, Vol. 2, No. 2, Pages 253-277, Birkhäuser, 12/2008.
Serge Autexier; Heiko Mantel; S. Merz; T. Nipkow
Preface. Special Issue on Formal Modeling and Verification of Critical Systems
In: Journal of Automated Reasoning (JAR), Vol. 41, No. 3-4, Pages 191-192, Springer Netherlands, 11/2008.
Manfred Eppe
Erfassung einer dreidimensionalen Umgebung mit zweidimensional messenden Laserscannern
Mastersthesis, Universität Bremen, 10/2008.
Paul Libbrecht; Cyrille Desmoulins; Christian Mercat; Colette Laborde; Michael Dietrich; Maxim Hendriks
Cross-Curriculum Search for Intergeo
In: Serge Autexier; Masakazu Suzuki (Hrsg.). To Appear in Proceedings of MKM 2008. International Conference on Mathematical Knowledge Management (MKM-2008), 7th, July 28-30, Birmingham, United Kingdom, Pages 520-535, Springer Verlag, 7/2008.
Till Mossakowski; Lutz Schröder; Sergey Goncharov
A generic complete dynamic logic for reasoning about purity and effects
In: J. Fiadeiro; P. Inverardi (Hrsg.). Fundamental Approaches to Software Engineering. Fundamental Approaches to Software Engineering (FASE-08), located at 11th Conference of the European Joint Conferences on Theory and Practice of Software (ETAPS 2008), March 29 - April 6, Budapest, Hungary, Pages 199-214, Lecture Notes in Computer Science (LNCS), Vol. 4961, Springer, 2008.
Serge Autexier; Christoph Benzmüller; Dominik Dietrich; Marc Wagner
Organisation, Transformation, and Propagation of Mathematical Knowledge in OMEGA
In: Mathematics in Computer Science, Vol. Online First, Pages o.A-o.A. Birkhäuser, 2008.
Serge Autexier; John Campbell; Julio Rubio; Volker Sorge; Masakazu Suzuki; Freek Wiedijk (Hrsg.)
Intelligent Computer Mathematics. Proceedings of the 9th International Conference (AISC-2008), 15th Symposium (Calculemus-2008), 7th International Conference (MKM-2008)
International Conference on Mathematical Knowledge Management (MKM-08), located at Conferences on Intelligent Computer Mathematics, CICM'08, July 28 - August 1, Birmingham, United Kingdom, Lecture Notes in Computer Science/ Lecture Notes in Artificial Intelligence (LNCS/ LNAI), Vol. 5144, ISBN 978-3-540-85109-7, Springer, Berlin, Heidelberg, 2008.
Oliver Birbach; J. Kurlbaum; Tim Laue; Udo Frese
Tracking of Ball Trajectories with a Free Moving Camera-Inertial Sensor
In: Proceedings of the RoboCup International Symposium, Suzhou. RoboCup International Symposium (RoboCup), located at The 12th RoboCup International Competitions and Conferences, RoboCup-2008 Suzhou, July 15-18, Suzhou, China, 2008.