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

Cyber-Physical Systems

Publikationen

Seite 100 von 106.

David Aspinall; Christoph Lüth; Daniel Winterstein
A Framework for Interactive Proof
In: 6th International Conference on Mathematical Knowledge Management (MKM 2007). International Conference on Mathematical Knowledge Management …
Christoph Lüth; Bernd Krieg-Brückner
Sicherheit in der Künstlichen Intelligenz
In: KI - Künstliche Intelligenz, German Journal on Artificial Intelligence - Organ des Fachbereiches "Künstliche Intelligenz" der Gesellschaft für …
Klaus Lüttich; Till Mossakowski
Reasoning Support for CASL with Automated Theorem Proving Systems
In: J. Fiadeiro (Hrsg.). WADT 2006. International Workshop on Algebraic Development Techniques (WADT-06), 18th, June 1-3, La Roche en Ardenne, …
Till Mossakowski; Christian Maeder; Klaus Lüttich
The Heterogeneous Tool Set
In: Orna Grumberg; Michael Huth (Hrsg.). TACAS 2007. International Conference on Tools and Algorithms for the Construction and Analysis of Systems …
Joseph Goguen; Till Mossakowski; Valeria De Paiva; Florian Rabe; Lutz Schröder
An Institutional View on Categorical Logic
In: International Journal of Software and Informatics (IJSI), Vol. 1, No. 1, Pages 129-152, 2007.
Till Mossakowski; Ugo Montanari; Magne Haveraaen (Hrsg.)
CALCO 2007. Second conference on algebra and coalgebra in computer science
Lecture Notes in Computer Science (LNCS), Vol. 4624, Springer-Verlag, Heidelberg, 2007.
Till Mossakowski; Christian Maeder; Klaus Lüttich
The Heterogeneous Tool Set
In: Bernhard Beckert (Hrsg.). VERIFY 2007, 4th International Verification Workshop. Pages 119-135, CEUR Workshop Proceedings, Vol. 259, 2007.
Till Mossakowski; Joseph Goguen; Razvan Diaconescu; Andrzej Tarlecki
What is a Logic? (revised version)
In: Jean-Yves Béziau (Hrsg.). Logica Universalis. Pages 111-133, No. second edition, Birkhäuser, 2007.
Till Mossakowski; Markus Roggenbach
Structured CSP -- A Process Algebra as an Institution
In: J. Fiadeiro (Hrsg.). WADT 2006. International Workshop on Algebraic Development Techniques (WADT-06), 18th, June 1-3, La Roche en Ardenne, …
Tim Laue; Thomas Röfer
Integrating Simple Unreliable Perceptions for Accurate Robot Modeling in the Four-Legged League
In: Gerhard Lakemeyer; Elizabeth Sklar; Domenico Sorrenti; Tomoichi Takahashi (Hrsg.). RoboCup 2006: Robot Soccer World Cup X. RoboCup International …