Skip to main content Skip to main navigation
Assistierender Roboterarm am Krankenbett (links), Hightech Chip (mittig), Fussball spielende Nao Roboter (rechts)© DFKI

Cyber-Physical Systems

Publications

Page 103 of 108.

  1. 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.

  2. 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.

  3. 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, …

  4. 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 …

  5. 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.

  6. 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 …

  7. 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 …

  8. 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 …

  9. 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 …

Contact

Assistant to the management:
Kristiane Schmitt, M.A.
Phone: +49 421 218 59840
Kristiane.Schmitt@dfki.de

Deutsches Forschungszentrum für Künstliche Intelligenz GmbH (DFKI)
Cyber-Physical Systems

MZH
Bibliothekstraße 5
28359 Bremen

Cartesium
Enrique-Schmidt-Straße 5
28359 Bremen