关注
Lutz Schröder
标题
引用次数
引用次数
年份
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
3292013
Expressivity of coalgebraic modal logic: The limits and beyond
L Schroder
Theoretical Computer Science 390 (2), 230, 2008
1542008
Probabilistic Description Logics for Subjective Uncertainty.
C Lutz, L Schröder
Principles of Knowledge Representation and Reasoning, KR 2010, 2010
1232010
Modal Logics are Coalgebraic
C Cîrstea, A Kurz, D Pattinson, L Schröder, Y Venema
The Computer Journal, 2009
1212009
PSPACE bounds for rank-1 modal logics
L Schröder, D Pattinson
ACM Transactions on Computational Logic 10 (2), 13:1-13:33, 2009
1082009
Closing a million-landmarks loop
U Frese, L Schroder
2006 IEEE/RSJ International Conference on Intelligent Robots and Systems …, 2006
872006
HasCASL: Towards integrated specification and development of functional programs
L Schröder, T Mossakowski
International Conference on Algebraic Methodology and Software Technology …, 2002
712002
A finite model construction for coalgebraic modal logic
L Schröder
The Journal of Logic and Algebraic Programming 73 (1-2), 97-110, 2007
702007
Rank-1 modal logics are coalgebraic
L Schröder, D Pattinson
Journal of Logic and Computation 20 (5), 1113-1147, 2010
682010
Expressivity of coalgebraic modal logic: the limits and beyond
L Schröder
International Conference on Foundations of Software Science and Computation …, 2005
562005
Probabilistic Description Logics for Subjective Uncertainty
V Gutierrez-Basulto, JC Jung, C Lutz, L Schröder
Journal of Artificial Intelligence Research 58, 1-66, 2017
542017
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
522006
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
472004
Generic trace semantics and graded monads
S Milius, D Pattinson, L Schröder
6th Conference on Algebra and Coalgebra in Computer Science (CALCO 2015), 2015
462015
Modular algorithms for heterogeneous modal logics
L Schröder, D Pattinson
International Colloquium on Automata, Languages, and Programming, 459-471, 2007
432007
Simulations and bisimulations for coalgebraic modal logics
D Gorín, L Schröder
International Conference on Algebra and Coalgebra in Computer Science, 253-266, 2013
402013
Generic exception handling and the Java monad
L Schröder, T Mossakowski
International Conference on Algebraic Methodology and Software Technology …, 2004
392004
Nominal automata with name binding
L Schröder, D Kozen, S Milius, T Wißmann
Foundations of Software Science and Computation Structures: 20th …, 2017
362017
A Closer Look at the Probabilistic Description Logic Prob-EL
VG Basulto, JC Jung, C Lutz, L Schröder
Proceedings of the AAAI Conference on Artificial Intelligence 25 (1), 197-202, 2011
35*2011
Generic modal cut elimination applied to conditional logics
D Pattinson, L Schröder
Logical Methods in Computer Science 7, 2011
352011
系统目前无法执行此操作，请稍后再试。
文章 1–20