Skip to main content Skip to main navigation

Publications

Displaying results 31 to 40 of 370.
  1. 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 (LNCS), ISBN 978-3-540-72629-6 (Print), Springer, 2007.

  2. Till Mossakowski; Andrzej Tarlecki; Razvan Diaconescu

    What is a logic translation?

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

  3. 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 Dialogue (SIGdial-2007), 8th, September 1-2, Antwerp, Belgium, 2007.

  4. 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, Florida, USA, Pages 665-670, AAAI Press, 2007.

  5. 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 Computer Science (STACS-07), February 22-24, Aachen, Germany, Pages 573-585, Lecture Notes in Computer Science (LNCS), Vol. 4393, ISBN 978-3-540-70917-6, Springer, 2007.

  6. 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 Lifecycle Management (SBPM 2007). Workshop on Semantic Business Process and Product Lifecycle Management (SBPM-2007), located at 4th European Semantic Web Conference (ESWC 2007), June 7, Innsbruck, Austria, RWTH Aachen, Aachen, 2007.

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

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

  9. Christian Hahn; Cristián Madrigal Mora; Klaus Fischer

    Interoperability through a Platform-Independent Model for Agents

    In: Ricardo J. Gonçalves; Jörg P. Müller; Kai Mertins; Martin Zelm. Enterprise Interoperability II: New Challenges and Approaches. Pages 195-206, ISBN 978-1-84628-857-9, Springer London, 2007.