Skip to main content Skip to main navigation

Publikationen

Zeige Ergebnisse 41 bis 50 von 370
  1. Lutz Schröder; Dirk Pattinson

    Modular Algorithms for Heterogeneous Modal Logics

    In: Lars Arge; Andrzej Tarlecki; Christian Cachin (Hrsg.). Automata, Languages and Programming. International Colloquium on Automata, Languages and …

  2. Oliver Thomas; Michael Fellmann

    Semantic EPC: Enhancing Process Modeling Using Ontology Languages

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

  3. Oliver Thomas; Michael Fellmann

    Semantic Business Process Management: Ontology-Based Process Modeling Using Event-Driven Process Chains

    In: International Journal of Interoperability in Business Information Systems, Vol. 2, No. 1, Pages 29-43, University of Oldenburg, 2007.

  4. Michael Fellmann

    RDF -- ein Rahmen zur Bereitstellung von Metadaten

    In: WISU - Das Wirtschaftsstudium (WISU), Vol. 36, No. 7, Pages 911-913, Lange, Düsseldorf, 2007.

  5. Tim Laue; Thomas Röfer

    Integrating Simple Unreliable Perceptions for Accurate Robot Modeling in the Four-Legged League

    In: Gerhard Lakemeyer; Elizabeth Sklar; Domenico Sorrenti; Tomoichi Takahashi (Hrsg.). RoboCup 2006: Robot Soccer World Cup X. RoboCup International …

  6. Till Mossakowski; Markus Roggenbach

    Structured CSP -- A Process Algebra as an Institution

    In: J. Fiadeiro (Hrsg.). WADT 2006. International Workshop on Algebraic Development Techniques (WADT-06), 18th, June 1-3, La Roche en Ardenne, …

  7. Till Mossakowski; Joseph Goguen; Razvan Diaconescu; Andrzej Tarlecki

    What is a Logic? (revised version)

    In: Jean-Yves Béziau (Hrsg.). Logica Universalis. Pages 111-133, No. second edition, Birkhäuser, 2007.

  8. Till Mossakowski; Christian Maeder; Klaus Lüttich

    The Heterogeneous Tool Set

    In: Bernhard Beckert (Hrsg.). VERIFY 2007, 4th International Verification Workshop. Pages 119-135, CEUR Workshop Proceedings, Vol. 259, 2007.

  9. Till Mossakowski; Ugo Montanari; Magne Haveraaen (Hrsg.)

    CALCO 2007. Second conference on algebra and coalgebra in computer science

    Lecture Notes in Computer Science (LNCS), Vol. 4624, Springer-Verlag, Heidelberg, 2007.

  10. Joseph Goguen; Till Mossakowski; Valeria De Paiva; Florian Rabe; Lutz Schröder

    An Institutional View on Categorical Logic

    In: International Journal of Software and Informatics (IJSI), Vol. 1, No. 1, Pages 129-152, 2007.