Skip to main content Skip to main navigation

Publications

 

Due to maintenance work, it is currently not possible to search for publications by author.

Displaying results 71 to 80 of 377.
  1. Lutz Schröder

    A Finite Model Construction for Coalgebraic Modal Logic

    In: Luca Aceto; Anna Ingólfsdóttir (Hrsg.). Foundations Of Software Science And Computation Structures. International Conference on Foundations of …

  2. Lutz Schröder

    The HasCASL Prologue - Categorical Syntax and Semantics of the Partial $lambda$-calculus

    In: Theoretical Computer Science, Vol. 353, Pages 1-25, 2006.

  3. Till Mossakowski; Serge Autexier; Dieter Hutter

    Development Graphs -- Proof Management for Structured Specifications

    In: Journal of Logic and Algebraic Programming (JLAP), Vol. 67, No. 1-2, Pages 114-145, 2006.

  4. Till Mossakowski; Lutz Schröder; Markus Roggenbach; Horst Reichel

    Algebraic-co-algebraic specification in CoCASL

    In: Journal of Logic and Algebraic Programming (JLAP), Vol. 67, No. 1-2, Pages 146-197, 2006.

  5. Till Mossakowski; Lutz Schröder; Stefan Wölfl

    A Categorical Perspective on Qualitative Constraint Calculi

    In: Stefan Wölfl; Till Mossakowski (Hrsg.). Qualitative Constraint Calculi - Application and Integration. Workshop at KI 2006. Qualitative Constraint …

  6. Till Mossakowski

    Hets User Guide

    Department of Computer Science; Universität Bremen, o.A. 2006.

  7. Till Mossakowski

    Monad-Based Logics for Computational Effects

    In: M. Johnson; V. Vene (Hrsg.). AMAST 2006. International Conference on Algebraic Methodology and Software Technology (AMAST-06), 11th, July 5-8, …

  8. Centrally Managed System Infrastructure and Integration in COMIC

    In: Aaron Quigley; K.P. Fishkin; B. Schiele; P. Nixon (Hrsg.). Pervasive 2006 Workshop Proceedings. International Conference on Pervasive Computing …

  9. Ivana Kruijff-Korbayová; Tilman Becker; Nate Blaylock; Ciprian Gerstenberger; Michael Kaisser; Peter Poller; Verena Rieser; Jan Schehl

    The SAMMIE corpus of multimodal dialogues with an MP3 player

    In: Proceedings of The 5th Language Resources and Evaluation Conference. International Conference on Language Resources and Evaluation (LREC-2006), …

  10. Christian Hahn; Cristián Madrigal Mora; Klaus Fischer; Brian Elvesæter; Arne-Jørgen Berre; Ingo Zinnikus

    Meta-models, Models, and Model Transformations: Towards Interoperable Agents

    In: MATES. German Conference on Multiagent System Technologies (MATES-2006), 4th German Conference, September 19-20, Erfurt, Germany, Pages 123-134, …