Lutz Schröder

Cited by

	All	Since 2019
Citations	3464	1301
h-index	31	17
i10-index	99	43

300

150

225

20002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202320249 42 30 30 63 66 82 103 140 118 186 182 108 163 144 134 114 180 210 215 163 191 246 287 196

Public access

View all

55 articles

1 article

available

not available

Based on funding mandates

Co-authors

Dirk PattinsonAustralian National UniversityVerified email at anu.edu.au
Till MossakowskiProfessor of Computer Science, University of MagdeburgVerified email at ovgu.de
Stefan MiliusFAU Erlangen-NürnbergVerified email at stefan-milius.eu
Sergey GoncharovResearcher, Friedrich-Alexander-Universität Erlangen-NürnbergVerified email at fau.de
Markus RoggenbachProfessor of Computer Science, Swansea UniversityVerified email at swan.ac.uk
Barbara KönigUniversität Duisburg-Essen, Theoretische InformatikVerified email at uni-due.de
Carsten LutzProfessor of Computer Science, University of LeipzigVerified email at informatik.uni-leipzig.de
Udo FreseInformatik, Universität BremenVerified email at informatik.uni-bremen.de
Jean Christoph JungTU DortmundVerified email at tu-dortmund.de
Víctor Gutiérrez BasultoCardiff UniversityVerified email at cardiff.ac.uk
Andrzej TarleckiFaculty of Mathematics, Informatics and Mechanics, University of WarsawVerified email at mimuw.edu.pl
René WagnerUniversity of Bremen (Alumnus)Verified email at uni-bremen.de
Christoph LüthDeutsches Forschungszentrum für Künstliche Intelligenz, Universität BremenVerified email at dfki.de
tadeusz litakFAU Erlangen-Nürnberg, Informatik 8Verified email at cs.fau.de
Alexander KurzChapman UniversityVerified email at chapman.edu
Bartek KlinUniversity of OxfordVerified email at cs.ox.ac.uk
Merlin HummlFAU Erlangen-Nürnberg - Inf8Verified email at fau.de
Michael KohlhaseInformatik, FAU Erlangen-NürnbergVerified email at fau.de
Stephanie EvertChair of Computational Corpus Linguistics, FAU Erlangen-NürnbergVerified email at fau.de
Philipp HeinrichFAU Erlangen-NürnbergVerified email at fau.de

Lutz Schröder

Professor of Computer Science, Friedrich-Alexander-Universität Erlangen-Nürnberg

Verified email at cs.fau.de - Homepage

Logic in Computer Science Knowledge Representation Formal Methods Theoretical Computer Science


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
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	316	2013
Expressivity of coalgebraic modal logic: The limits and beyond L Schroder Theoretical Computer Science 390 (2), 230, 2008	154	2008
Probabilistic Description Logics for Subjective Uncertainty. C Lutz, L Schröder Principles of Knowledge Representation and Reasoning, KR 2010, 2010	123	2010
Modal Logics are Coalgebraic C Cîrstea, A Kurz, D Pattinson, L Schröder, Y Venema The Computer Journal, 2009	121	2009
PSPACE bounds for rank-1 modal logics L Schröder, D Pattinson ACM Transactions on Computational Logic 10 (2), 13:1-13:33, 2009	108	2009
Closing a million-landmarks loop U Frese, L Schroder 2006 IEEE/RSJ International Conference on Intelligent Robots and Systems …, 2006	87	2006
HasCASL: Towards integrated specification and development of functional programs L Schröder, T Mossakowski International Conference on Algebraic Methodology and Software Technology …, 2002	71	2002
A finite model construction for coalgebraic modal logic L Schröder The Journal of Logic and Algebraic Programming 73 (1-2), 97-110, 2007	70	2007
Rank-1 modal logics are coalgebraic L Schröder, D Pattinson Journal of Logic and Computation 20 (5), 1113-1147, 2010	68	2010
Expressivity of coalgebraic modal logic: the limits and beyond L Schröder International Conference on Foundations of Software Science and Computation …, 2005	56	2005
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	53	2017
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	51	2006
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	46	2004
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	45	2015
Modular algorithms for heterogeneous modal logics L Schröder, D Pattinson International Colloquium on Automata, Languages, and Programming, 459-471, 2007	43	2007
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	40	2013
Generic exception handling and the Java monad L Schröder, T Mossakowski International Conference on Algebraic Methodology and Software Technology …, 2004	39	2004
Nominal automata with name binding L Schröder, D Kozen, S Milius, T Wißmann Foundations of Software Science and Computation Structures: 20th …, 2017	35	2017
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	35	2011

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors