Skip to main content Skip to main navigation

Publications

Search narrowed by:

Year: 2007
Remove all filters
Displaying results 21 to 30 of 370.

  1. Frank Kirchner; Dirk Spenneberg

    Climbing & Walking Robots, Towards New Applications

    ISBN 978-3-902613-16-5, InTech, 2007.

  2. Jochen Frey

    Constraint-basierte Generierung parametrisierbarer, multimodaler Comic-Layouts für verlaufsorientierte Meeting-Zusammenfassungen

    Mastersthesis, Universtität des Saarlandes, 2007.

  3. 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 Computer Science (STACS-07), February 22-24, Aachen, Germany, Pages 573-585, Lecture Notes in Computer Science (LNCS), Vol. 4393, ISBN 978-3-540-70917-6, Springer, 2007.

  4. 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 Programming (ICALP-07), colocated with the 22nd Annual IEEE Symposium on Logic In Computer Science (LICS 2007), Logic Colloquium 2007 (LC07), and the 9th International Symposium on Principles and Practice of Declarative Programming (PPDP 2007), July 9-13, Wroclaw/Breslau, Poland, Pages 459-471, Lecture Notes in Computer Science (LNCS), Vol. 4596, Springer, 2007.

  5. 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 Algebraic Development Techniques (WADT-2006), June 1-3, La Roche en Ardenne, Belgium, Pages 128-142, Lecture Notes in Computer Science (LNCS), Vol. 4409, Springer, 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 (CALCO-07), August 20-24, Bergen, Norway, Pages 447-462, Lecture Notes in Computer Science (LNCS), Vol. 4624, Springer, 2007.

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

  8. Lutz Schröder

    Book review: L. M. G. Feijs and H. B. M. Jonkers, Formal Specification and Design, Cambridge University Press, 2005

    2007.

  9. 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 Symposium (RoboCup), June 19-20, Bremen, Germany, Pages 474-482, Lecture Notes in Artificial Intelligence (LNAI), No. 4434, ISBN 978-3-540-74023-0, Springer, 2007.

  10. 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, Belgium, Pages 92-110, Lecture Notes in Computer Science (LNCS), Vol. 4409, Springer-Verlag, Heidelberg, 2007.

Year