Skip to main content Skip to main navigation

Publikationen

Aktive Filter:

Jahr: 2007
Alle Filter entfernen
Zeige Ergebnisse 101 bis 110 von 370.

  1. Daniel Sonntag

    Embedded Distributed Text Mining and Semantic Web Technology

    In: Proceedings of the Workshop: NATO Advanced Study Institute on Mining Massive Data Sets for Security. NATO Advanced Study Institute on Mining Massive Data Sets for Security (MMDSS), September 10-21, Villa Cagnola/ Gazzada, Italy, Advanced Study Institute, 2007.

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

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

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

  5. Lutz Schröder

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

    2007.

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

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

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

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

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

Jahr