Skip to main content Skip to main navigation

Publikationen

Zeige Ergebnisse 61 bis 70 von 370
  1. 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.

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

  3. Frank Kirchner; Dirk Spenneberg

    Climbing & Walking Robots, Towards New Applications

    ISBN 978-3-902613-16-5, InTech, 2007.

  4. Gerd Reis; Bernd Lappé; Sascha Köhn; Christopher Weber; Martin Hering-Bertram; Hans Hagen

    Towards a Virtual Echocardiographic Tutoring System

    In: Lars Linsen; Hans Hagen; Bernd Hamann (Hrsg.). Visualization in Medicine and Life Sciences. Pages 99-119, Lecture Notes in Computer Science …

  5. Till Mossakowski; Andrzej Tarlecki; Razvan Diaconescu

    What is a logic translation?

    Pages 95-124, Logica Universalis, Vol. 3 (1), 2007.

  6. Thora Tenbrink; Hui Shi

    Negotiating Spatial Goals with a Wheelchair

    In: S. Keizer; H. Bunt; T. Paek (Hrsg.). Proceedings of the 8th SIGdial Workshop on Discourse and Dialogue. Annual SIGdial Meeting on Discourse and …

  7. Stefan Wölfl; Till Mossakowski; Lutz Schröder

    Qualitative Constraint Calculi: Heterogeneous Verification of Composition Tables

    In: David Wilson; Geoff Sutcliffe (Hrsg.). 20th International FLAIRS Conference. International FLAIRS Conference (FLAIRS-20), May 7-9, Key West, …

  8. Lutz Schröder; Dirk Pattinson

    Rank-1 Modal Logics are Coalgebraic

    In: Wolfgang Thomas; Pascal Weil (Hrsg.). Theoretical Aspects of Computer Science (STACS 07). International Symposium on Theoretical Aspects of …