Skip to main content Skip to main navigation

Publikationen

 

Aufgrund von Wartungsarbeiten ist die Suche von Publikationen nach Autor:innen derzeit nicht möglich.

Zeige Ergebnisse 71 bis 80 von 377
  1. Lutz Schröder; Dirk Pattinson

    PSPACE Bounds for Rank 1 Modal Logics

    In: Rajeev Alur (Hrsg.). Twenty-First Annual IEEE Symposium on Logic in Computer Science (LICS 2006). IEEE Symposium on Logic in Computer Science …

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

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

  4. Oliver Thomas; Michael Fellmann

    Semantische Ereignisgesteuerte Prozessketten

    In: J. Schelp; R. Winter; U. Frank; B. Rieger; K. Turowski (Hrsg.). Integration, Informationslogistik und Architektur. Data Warehousing (DW-2006), …

  5. Oliver Thomas; Michael Fellmann

    Semantische Integration von Ontologien und Ereignisgesteuerten Prozessketten

    In: M. Nüttgens; F. J. Rump; J. Mendling (Hrsg.). EPK 2006 : Geschäftsprozessmanagement mit Ereignisgesteuerten Prozessketten ; 5.Workshop der …

  6. Oliver Thomas; Michael Fellmann

    Semantic Event-driven Process Chains

    In: M. Hepp; Knut Hinkelmann; D. Karagiannis; R. Klein; N. Stojanovic (Hrsg.). Proceedings of the Workshop on Semantics for Business Process …

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

  8. Geert-Jan Kruijff; Hendrik Zender; Patric Jensfelt; Henrik I. Christensen

    Clarification dialogues in human-augmented mapping

    In: Proceedings of the 1st Annual Conference on Human-Robot Interaction. ACM/IEEE International Conference on Human-Robot Interaction (HRI-2006), …

  9. Bernardo Magnini; Danilo Giampiccolo; Pamela Forner; Christelle Ayache; Valentin Jijkoun; Petya Osenova; Anselmo Peñas; Paulo Rocha; Bogdan Sacaleanu; Richard Sutcliffe

    Overview of the CLEF 2006 Multilingual Question Answering Track

    In: Working Notes for the CLEF 2006 Workshop. Conference and Labs of the Evaluation Forum (CLEF), 2006.

  10. Bogdan Sacaleanu; Günter Neumann

    DFKI-LT at the CLEF 2006 Multiple Language Question Answering Track

    In: Working Notes for the CLEF 2006 Workshop. Conference and Labs of the Evaluation Forum (CLEF), 2006.