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 91 to 100 of 377.
  1. 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.

  2. Ralf Jung; Dominikus Heckmann

    Ambient Audio Notification with Personalized Music

    In: Workshop on Ubiquitous User Modeling. Workshop on Ubiquitous User Modeling (UbiqUM-06), Ubiquitous User Modeling, located at ECAI 2006, August 28, …

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

    Coordination

    In: Keith Brown (Hrsg.). Encyclopedia of Language & Linguistics. Pages 183-196, Elsevier, Oxford, 2006.

  8. Thierry Declerck; Mihaela Vela

    Generic NLP Tools for Supporting Shallow Ontology Building

    In: Proceedings of LREC 2006. International Conference on Language Resources and Evaluation (LREC), May 24-26, Genoa, Italy, 5/2006.

  9. Thierry Declerck; Asunción Gómez Pérez; Ovidiu Vela; Zeno Gantner; David Manzano-Macho

    Multilingual Lexical Semantic Resources for Ontology Translation

    In: Proceedings of LREC 2006. International Conference on Language Resources and Evaluation (LREC), 2006.

  10. Thierry Declerck

    SynAF: Towards a Standard for Syntactic Annotation

    In: Proceeedings of LREC 2006. International Conference on Language Resources and Evaluation (LREC), 2006.