Author

Lutz Schröder

Observed names: L. Schroder, L. Schröder, LUTZ SCHRÖDER, LUTZ Schröder, Lutz Schroder, Schröder Lutz, Schroder, Lutz, Schröder, L., Schröder, Lutz

Institution: Friedrich-Alexander-Universität Erlangen-Nürnberg

Observed institutions: Australian National University, University of Leicester, University of Bremen, Friedrich-Alexander-Universität Erlangen-Nürnberg, Hokkaido University, German Research Centre for Artificial Intelligence, University of Southampton, Bremer Institut für Produktion und Logistik GmbH, Imperial College London, University of Amsterdam

ORCID: 0000-0002-3146-5906

Observed ORCID: 0000-0002-3146-5906

OpenAlex ID: A5073765060

Integrating generic sensor fusion algorithms with sound state representations through encapsulation of manifolds

2011 · Christoph Hertzberg, René Wagner, et al. · Information Fusion · 286

PDF

Expressivity of coalgebraic modal logic: The limits and beyond

2007 · Lutz Schröder · Theoretical Computer Science · 122

PDF

Probabilistic Description Logics for Subjective Uncertainty

2017 · Victor Gutierrez-Basulto, Jean Christoph Jung, et al. · Journal of Artificial Intelligence Research · 117

PDF

Modal Logics are Coalgebraic

2009 · C. Cirstea, A. Kurz, et al. · The Computer Journal · 81

Closing a Million-Landmarks Loop

2006 · Udo Frese, Lutz Schroder · IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS) · 63

PSPACE bounds for rank-1 modal logics

2009 · LUTZ Schröder, Dirk Pattinson · ACM Transactions on Computational Logic · 59

PDF

A finite model construction for coalgebraic modal logic

2007 · Lutz Schröder · The Journal of Logic and Algebraic Programming · 56

Expressivity of Coalgebraic Modal Logic: The Limits and Beyond

2005 · Lutz Schröder · Lecture notes in computer science · 44

PDF

HasCasl: Towards Integrated Specification and Development of Functional Programs

2002 · Lutz Schröder, Till Mossakowski · Lecture notes in computer science · 44

Globalization of confluent partial actions on topological and metric spaces

2004 · Michael Megrelishvili, Lutz Schröder · Topology and its Applications · 41

PDF

Rank-1 Modal Logics are Coalgebraic

2008 · L. Schroder, D. Pattinson · Journal of Logic and Computation · 33

Coalgebraic Methods in Computer Science

2012 · Pattinson, Dirk, Schröder, Lutz · Lecture notes in computer science · 31

Modular Algorithms for Heterogeneous Modal Logics

2007 · Lutz Schröder, Dirk Pattinson · Lecture notes in computer science · 31

Algebraic–coalgebraic specification in CoCasl

2005 · Till Mossakowski, Lutz Schröder, et al. · The Journal of Logic and Algebraic Programming · 31

PDF

Generic Trace Semantics and Graded Monads

2015 · Milius, Stefan, Pattinson, Dirk, et al. · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 30

PDF

Monad-independent Dynamic Logic in HasCasl

2004 · L. Schroder · Journal of Logic and Computation · 27

Coalgebraic Hybrid Logic

2009 · Rob Myers, Dirk Pattinson, et al. · Lecture notes in computer science · 25

PSPACE Bounds for Rank-1 Modal Logics

2006 · L. Schroder, D. Pattinson · Proceedings - Symposium on Logic in Computer Science · 25

Monad-Independent Hoare Logic in HASCASL

2003 · Lutz Schröder, Till Mossakowski · Lecture notes in computer science · 25

PDF

Cut elimination in coalgebraic logics

2010 · Dirk Pattinson, Lutz Schröder · Information and Computation · 24

PDF

Generic Exception Handling and the Java Monad

2004 · Lutz Schröder, Till Mossakowski · Lecture notes in computer science · 24

A Relatively Complete Generic Hoare Logic for Order-Enriched Effects

2013 · Sergey Goncharov, Lutz Schroder · Proceedings - Symposium on Logic in Computer Science · 23

A Closer Look at the Probabilistic Description Logic Prob-EL

2011 · Víctor Gutiérrez Basulto, Jean Christoph Jung, et al. · Proceedings of the AAAI Conference on Artificial Intelligence · 23

PDF

A Finite Model Construction for Coalgebraic Modal Logic

2006 · Lutz Schröder · Lecture notes in computer science · 23

PDF

Automata Learning

2020 · Henning Urbat, Lutz Schröder · Proceedings - Symposium on Logic in Computer Science · 22

Works count: 259

Citation count: 2,438

H-index: 23

I10-index: 75