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 51 to 60 of 377.
  1. Matthias Klusch; Andreas Gerber

    Evaluation of Service Composition Planning with OWLS-XPlan

    In: Proceedings of the 2nd IEEE International Workshop on Service Composition. IEEE International Workshop on Service Composition (SerComp-06), …

  2. Matthias Klusch; K.-U. Renner

    Fast Dynamic Re-Planning of Composite OWL-S Services

    In: Proceedings of the 2nd IEEE International Workshop on Service Composition. IEEE International Workshop on Service Composition (SerComp-06), …

  3. Bastian Blankenburg; M. He; Matthias Klusch; N.R. Jennings

    Risk-Bounded Formation of Fuzzy Coalitions Among Service Agents

    In: Proceedings of the 10th International Workshop on Cooperative Information Agents. International Workshop on Cooperative Information Agents …

  4. Jan Alexandersson; Kai Richter; Stephanie Becker

    I2Home: Benutzerzentrierte Entwicklung einer offenen standardbasierten Smart Home Plattform

    In: Proceedings of USEWARE 2006. VDI-Fachtagung Nutzergerechte Gestaltung technischer Systeme (USEWARE-2006), VDI-Berichte/VDI-Tagungsbände, Vol. …

  5. Gerd Reis; Martin Bertram

    Propagating Particles through Inhomogeneous Scalar Fields

    In: J.J. Villanueva (Hrsg.). Conference Proceedings IASTED Visualization Imaging and Image Processing. IASTED International Conference on …

  6. Orientation Calculi and Route Graphs: Towards Semantic Representations for Route Descriptions

    In: M. Raubal; H. Miller; A. Frank; M. Goodchild (Hrsg.). Geographic Information Science - Fourth International Conference, GIScience 2006. …

  7. Michael Wünstel; Thomas Röfer

    A Probabilistic Approach for Object Recognition in a Real 3-D Office Environment

    In: Vaclav Skala (Hrsg.). WSCG`2006 Posters Proceedings. International Conference in Central Europe on Computer Graphics, Visualization and Computer …

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

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

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