Robotics Innovation Center

Page 5 of 6.

1. Joseph Goguen; Till Mossakowski; Valeria De Paiva; Florian Rabe; Lutz Schröder

   An Institutional View on Categorical Logic

   In: International Journal of Software and Informatics (IJSI), Vol. 1, No. 1, Pages 129-152, 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. 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.

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; 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 …

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

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

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

9. Sergey Goncharov; Lutz Schröder; Till Mossakowski

   Completeness of Global Evaluation Logic

   In: Rastislav Kralovic; Pawel Urzyczyn (Hrsg.). Mathematical Foundations of Computer Science. International Symposium on Mathematical Foundations of …

10. Daniel Hausmann; Till Mossakowski; Lutz Schröder

    A Coalgebraic Approach to the Semantics of the Ambient Calculus

    In: Theoretical Computer Science, Vol. 366, No. 1-2, Pages 121-143, 2006.

• previous
• 1
• …
• 4
• 5
• 6