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

Cyber-Physical Systems

Publications

Page 101 of 106.

Lutz Schröder
Book review: L. M. G. Feijs and H. B. M. Jonkers, Formal Specification and Design, Cambridge University Press, 2005
2007.
Lutz Schröder
A finite model construction for coalgebraic modal logic
In: Journal of Logic and Algebraic Programming (JLAP), Vol. 73, Pages 97-110, 2007.
Lutz Schröder
Bootstrapping Types and Cotypes in HasCASL
In: Till Mossakowski; Udo Montanari (Hrsg.). Algebra and Coalgebra in Computer Science. Conference on Algebra and Coalgebra in Computer Science …
Lutz Schröder; Till Mossakowski
Coalgebraic Modal Logic in CoCASL
In: José Luiz Fiadeiro (Hrsg.). Recent Trends in Algebraic Development Techniques, 18th International Workshop, WADT 2006. International Workshop on …
Lutz Schröder; Dirk Pattinson
Modular Algorithms for Heterogeneous Modal Logics
In: Lars Arge; Andrzej Tarlecki; Christian Cachin (Hrsg.). Automata, Languages and Programming. International Colloquium on Automata, Languages and …
Lutz Schröder; Dirk Pattinson
Rank-1 Modal Logics are Coalgebraic
In: Wolfgang Thomas; Pascal Weil (Hrsg.). Theoretical Aspects of Computer Science (STACS 07). International Symposium on Theoretical Aspects of …
Stefan Wölfl; Till Mossakowski; Lutz Schröder
Qualitative Constraint Calculi: Heterogeneous Verification of Composition Tables
In: David Wilson; Geoff Sutcliffe (Hrsg.). 20th International FLAIRS Conference. International FLAIRS Conference (FLAIRS-20), May 7-9, Key West, …
Thora Tenbrink; Hui Shi
Negotiating Spatial Goals with a Wheelchair
In: S. Keizer; H. Bunt; T. Paek (Hrsg.). Proceedings of the 8th SIGdial Workshop on Discourse and Dialogue. Annual SIGdial Meeting on Discourse and …
Till Mossakowski; Andrzej Tarlecki; Razvan Diaconescu
What is a logic translation?
Pages 95-124, Logica Universalis, Vol. 3 (1), 2007.
Bernd Krieg-Brückner; Antonio Krüger; M. Hoffmeister; Christoph Lüth
Kopplung von Zutrittskontrolle und Raumautomation - Eine Basis für die Interaktion mit einer intelligenten Umgebung
In: VDI-Gesellschaft (Hrsg.). 8. Fachtagung Gebäudesicherheit und Gebäudeautomation - Koexistenz oder Integration?. Pages 37-48, VDI Berichte, Vol. …