Skip to main content Skip to main navigation

Publikationen

Zeige Ergebnisse 51 bis 60 von 148
  1. 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 …

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

  3. Christoph Stahl; Jens Haupert

    Taking Location Modelling to new Levels: A Map Modelling Toolkit for Intelligent Environments

    In: Mike Hazas; Thomas Strang; John Krumm (Hrsg.). Proceedings of the International Workshop on Location- and Context-Awareness (LoCA). International …

  4. Christoph Stahl; Jens Haupert

    Simulating and Evaluating Public Situated Displays in Virtual Environment Models

    In: Thomas Pederson; Helder Pinto; Michael Schmitz; Christoph Stahl; Lucia Terrenghi (Hrsg.). International Workshop on Modelling and Designing User …

  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.