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

Cyber-Physical Systems

Publications

Page 104 of 106.

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.
Lutz Schröder
The HasCASL Prologue - Categorical Syntax and Semantics of the Partial $lambda$-calculus
In: Theoretical Computer Science, Vol. 353, Pages 1-25, 2006.
Lutz Schröder
A Finite Model Construction for Coalgebraic Modal Logic
In: Luca Aceto; Anna Ingólfsdóttir (Hrsg.). Foundations Of Software Science And Computation Structures. International Conference on Foundations of …
Lutz Schröder; Dirk Pattinson
PSPACE Bounds for Rank 1 Modal Logics
In: Rajeev Alur (Hrsg.). Twenty-First Annual IEEE Symposium on Logic in Computer Science (LICS 2006). IEEE Symposium on Logic in Computer Science …
Michael Wünstel; Thomas Röfer
A Probabilistic Approach for Object Recognition in a Real 3-D Office Environment
In: Vaclav Skala (Hrsg.). WSCG`2006 Posters Proceedings. International Conference in Central Europe on Computer Graphics, Visualization and Computer …
Bernd Krieg-Brückner; Hui Shi
Orientation Calculi and Route Graphs: Towards Semantic Representations for Route Descriptions
In: M. Raubal; H. Miller; A. Frank; M. Goodchild (Hrsg.). Geographic Information Science - Fourth International Conference, GIScience 2006. …
Andreas Meier; Erica Melis
Impasse-Driven Reasoning in Proof Planning
In: Michael Kohlhase (Hrsg.). Proceedings of the Fourth International Conference on Mathematical Knowledge Management (MKM2005). International …
S. Manzoor; Paul Libbrecht; Carsten Ullrich; Erica Melis
Authoring Presentation for OpenMath
In: Michael Kohlhase (Hrsg.). Mathematical Knowledge Management: 4th International Conference, MKM 2005, Bremen, Germany, July 15-17, 2005, Revised …
Daniel Hausmann; Till Mossakowski; Lutz Schröder
Towards a Coalgebraic Approach to the Semantics of the Ambient Calculus
In: Jose Fiadeiro; Neil Harman; Markus Roggenbach; Jan Rutten (Hrsg.). Algebra and Coalgebra in Computer Science. Conference on Algebra and Coalgebra …
Dennis Walter; Lutz Schröder; Till Mossakowski
Parametrized Exceptions
In: Jose Fiadeiro; Jan Rutten (Hrsg.). Algebra and Coalgebra in Computer Science. Conference on Algebra and Coalgebra in Computer Science …