Skip to main content Skip to main navigation

Publications

 

Due to maintenance work, it is currently not possible to search for publications by author.

Search narrowed by:

Year: 2007
Remove all filters
Displaying results 71 to 80 of 370.

  1. Lutz Schröder

    A finite model construction for coalgebraic modal logic

    In: Journal of Logic and Algebraic Programming (JLAP), Vol. 73, Pages 97-110, 2007.

  2. Lutz Schröder

    Book review: L. M. G. Feijs and H. B. M. Jonkers, Formal Specification and Design, Cambridge University Press, 2005

    2007.

  3. Jochen Frey

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

    Mastersthesis, Universtität des Saarlandes, 2007.

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

  5. Frank Kirchner; Dirk Spenneberg

    Climbing & Walking Robots, Towards New Applications

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

  6. Jens Haupert

    Ein Werkzeug zur Modellierung und Simulation von Benutzerassistenzsystemen in Instrumentierten Umgebungen

    Mastersthesis, Universität des Saarlandes, 2007.

  7. Rui Wang

    Textual Entailment Recognition: A Data-Driven Approach

    Mastersthesis, Universität des Saarlandes, 9/2007.

  8. Matthias Klusch; B. Fries

    Hybrid OWL-S Service Retrieval with OWLS-MX: Benefits and Pitfall

    In: Proceedings of the First International Joint Workshop on Service Matchmaking and Resource Retrieval in the Semantic Web. International Workshop on …

  9. Matthias Klusch; Zhiguo Xing

    Semantic Web Services in the Web: A Preliminary Reality Check

    In: Proceedings of the First International Joint Workshop on Service Matchmaking and Resource Retrieval in the Semantic Web. International Workshop on …

  10. Matthias Klusch; Frank Kaufer

    Performance of Hybrid WSML Service Matching with WSMO-MX: Preliminary Results

    In: Proceedings of the First Joint Workshop on on Service Matchmaking and Resource Retrieval in the Semantic Web. International Workshop on Service …

Year