Robotics Innovation Center

Seite 1 von 6.

1. Till Mossakowski; Markus Roggenbach; Lutz Schröder

   Specification, Transformation, Navigation. Special Issue dedicated to Bernd Krieg-Brückner on the Occasion of his 60th Birthday

   In: Till Mossakowski; Markus Roggenbach; Lutz Schröder (Hrsg.). Electronic Communications of the EASST, Vol. 62, Pages 1-999, EASST, online, hosted by …

2. Christoph Hertzberg; René Wagner; Udo Frese; Lutz Schröder

   Integrating Generic Sensor Fusion Algorithms with Sound State Representations through Encapsulation of Manifolds

   In: Information Fusion, Vol. 14, No. 1, Pages 57-77, Elsevier, 2013.

3. Lutz Schröder; Dirk Pattinson

   Modular Algorithms for Heterogeneous Modal Logics via Multi-Sorted Coalgebra

   In: Mathematical Structures in Computer Science (MSCS), Vol. 21, No. 2, Pages 235-266, Cambridge University Press, Cambridge, 3/2011.

4. Corina Cirstea; Alexander Kurz; Dirk Pattinson; Lutz Schröder; Yde Venema

   Modal logics are coalgebraic

   In: The Computer Journal, Vol. 54, No. 1, Pages 31-41, Oxford University Press, Oxford, 2011.

5. Sergey Goncharov; Lutz Schröder

   Powermonads and Tensors of Unranked Effects

   In: Martin Grohe (Hrsg.). Proceedings of the 26th Annual IEEE Symposium on LOGIC IN COMPUTER SCIENCE. IEEE Symposium on Logic in Computer Science …

6. Lutz Schröder; Dirk Pattinson

   Description Logics and Fuzzy Probability

   In: Toby Walsh (Hrsg.). 22nd International Joint Conference on Artificial Intelligence. International Joint Conference on Artificial Intelligence …

7. Dirk Pattinson; Lutz Schröder

   Cut Elimination in Coalgebraic Logics

   In: Information and Computation (Inform. Comput.), Vol. 208, Pages 1447-1468, Elsevier, Amsterdam, 12/2010.

8. Glauber Cabral; Christian Maeder; Till Mossakowski; Lutz Schröder

   Creating a HasCASL library

   In: Jonathan Aldrich; Ricardo Massa (Hrsg.). 14th Brazilian Symposium on Programming Languages. Brazilian Symposium on Programming Languages …

9. Lutz Schröder; Dirk Pattinson; Daniel Hausmann

   Optimal Tableaux for Conditional Logics with Cautious Monotonicity

   In: Michael Wooldridge (Hrsg.). Proceedings of the 19th European Conference on Artificial Intelligence. European Conference on Artificial Intelligence …

10. Lutz Schröder; Yde Venema

    Flat coalgebraic fixed point logics

    In: Paul Gastin; François Laroussinie (Hrsg.). Proceedings of the 21st International Conference on Concurrency Theory. International Conference on …

• 1
• 2
• 3
• …
• 6
• nächste