Skip to main content Skip to main navigation

Publications

Search narrowed by:

Year: 2007
Remove all filters
Displaying results 61 to 70 of 370.

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

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

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

  4. Lutz Schröder

    Bootstrapping Types and Cotypes in HasCASL

    In: Till Mossakowski; Udo Montanari (Hrsg.). Algebra and Coalgebra in Computer Science. Conference on Algebra and Coalgebra in Computer Science …

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

  6. Lutz Schröder

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

    2007.

  7. Christoph Stahl; Dominikus Heckmann; Tim Schwartz; Oliver Fickert

    Here and Now: A User-Adaptive and Location-Aware Task Planner

    In: International Workshop on Ubiquitous and Decentralized User Modeling (UbiDeUM\2007). International Conference on User Modeling (UM), 11th, June …

  8. Rui Wang

    Textual Entailment Recognition: A Data-Driven Approach

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

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

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

Year