Lutz Schröder
TitelZitiert vonJahr
Integrating generic sensor fusion algorithms with sound state representations through encapsulation of manifolds
C Hertzberg, R Wagner, U Frese, L Schröder
Information Fusion 14 (1), 57-77, 2013
1562013
Expressivity of coalgebraic modal logic: The limits and beyond
L Schröder
Theoretical Computer Science 390 (2-3), 230-247, 2008
982008
Probabilistic Description Logics for Subjective Uncertainty.
C Lutz, L Schröder
Principles of Knowledge Representation and Reasoning, KR 2010, 2010
952010
Modal Logics are Coalgebraic
C Cîrstea, A Kurz, D Pattinson, L Schröder, Y Venema
The Computer Journal, 2009
872009
Closing a million-landmarks loop
U Frese, L Schroder
2006 IEEE/RSJ International Conference on Intelligent Robots and Systems …, 2006
822006
HasCASL: Towards integrated specification and development of functional programs
L Schröder, T Mossakowski
International Conference on Algebraic Methodology and Software Technology …, 2002
662002
A finite model construction for coalgebraic modal logic
L Schröder
The Journal of Logic and Algebraic Programming 73 (1-2), 97-110, 2007
642007
PSPACE bounds for rank-1 modal logics
L Schröder, D Pattinson
ACM Transactions on Computational Logic 10 (2), 13:1-13:33, 2009
622009
Rank-1 modal logics are coalgebraic
L Schröder, D Pattinson
Journal of Logic and Computation 20 (5), 1113-1147, 2010
592010
Expressivity of coalgebraic modal logic: the limits and beyond
L Schröder
International Conference on Foundations of Software Science and Computation …, 2005
572005
Algebraic-coalgebraic specification in CoCASL
T Mossakowski, L Schröder, M Roggenbach, H Reichel
Journal of Logic and Algebraic Programming 67 (1-2), 146-197, 2006
492006
Modular algorithms for heterogeneous modal logics
L Schröder, D Pattinson
International Colloquium on Automata, Languages, and Programming, 459-471, 2007
452007
PSPACE bounds for rank-1 modal logics
L Schroder, D Pattinson
Logic in Computer Science, 2006 21st Annual IEEE Symposium on, 231-242, 2006
392006
Generic exception handling and the Java monad
L Schröder, T Mossakowski
International Conference on Algebraic Methodology and Software Technology …, 2004
382004
Globalization of confluent partial actions on topological and metric spaces
M Megrelishvili, L Schröder
Topology and its Applications 145 (1-3), 119-145, 2004
342004
HasCASL: Integrated higher-order specification and program development
L Schröder, T Mossakowski
Theoretical Computer Science 410 (12-13), 1217-1260, 2009
332009
Monad-Independent Hoare Logic in HasCASL
L Schröder, T Mossakowski
International Conference on Fundamental Approaches to Software Engineering …, 2003
322003
Type class polymorphism in an institutional framework
L Schröder, T Mossakowski, C Lüth
International Workshop on Algebraic Development Techniques, 234-251, 2004
312004
Coalgebraic hybrid logic
R Myers, D Pattinson, L Schröder
International Conference on Foundations of Software Science and …, 2009
292009
Algebraic-coalgebraic specification in CoCASL
T Mossakowski, H Reichel, M Roggenbach, L Schröder
International Workshop on Algebraic Development Techniques, WADT 2002, 376-392, 2002
282002
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20