Skip to main content Skip to main navigation

Publikationen

Aktive Filter:

Jahr: 2007
Alle Filter entfernen
Zeige Ergebnisse 71 bis 80 von 370.

  1. Jochen Frey

    Constraint-basierte Generierung parametrisierbarer, multimodaler Comic-Layouts für verlaufsorientierte Meeting-Zusammenfassungen

    Mastersthesis, Universtität des Saarlandes, 2007.

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

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

    Agent-oriented software engineering: a model-driven approach

    In: International Journal of Agent-Oriented Software Engineering (IJAOSE), Vol. 1, No. 3/4, Pages 334-369, Inderscience, 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 (LNCS), ISBN 978-3-540-72629-6 (Print), Springer, 2007.

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

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

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

  9. 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 Programming (ICALP-07), colocated with the 22nd Annual IEEE Symposium on Logic In Computer Science (LICS 2007), Logic Colloquium 2007 (LC07), and the 9th International Symposium on Principles and Practice of Declarative Programming (PPDP 2007), July 9-13, Wroclaw/Breslau, Poland, Pages 459-471, Lecture Notes in Computer Science (LNCS), Vol. 4596, Springer, 2007.

  10. Lutz Schröder; Till Mossakowski

    Coalgebraic Modal Logic in CoCASL

    In: José Luiz Fiadeiro (Hrsg.). Recent Trends in Algebraic Development Techniques, 18th International Workshop, WADT 2006. International Workshop on Algebraic Development Techniques (WADT-2006), June 1-3, La Roche en Ardenne, Belgium, Pages 128-142, Lecture Notes in Computer Science (LNCS), Vol. 4409, Springer, 2007.

Jahr