Lutz Schröder

Cited by

	All	Since 2016
Citations	2613	944
h-index	27	15
i10-index	77	25

220

110

165

20002001200220032004200520062007200820092010201120122013201420152016201720182019202020219 34 31 29 64 52 82 114 151 111 195 185 117 154 139 148 119 181 212 219 193 19

Co-authors

Dirk PattinsonAustralian National UniversityVerified email at anu.edu.au
Till MossakowskiProfessor of Computer Science, University of MagdeburgVerified email at ovgu.de
Sergey GoncharovAkademischer Oberrat, Friedrich-Alexander-Universität Erlangen-NürnbergVerified email at fau.de
Stefan MiliusFAU Erlangen-NürnbergVerified email at stefan-milius.eu
Markus RoggenbachProfessor of Computer Science, Swansea UniversityVerified email at swan.ac.uk
Carsten LutzProfessor of Computer Science, University of BremenVerified email at uni-bremen.de
Udo FreseInformatik, Universität BremenVerified email at informatik.uni-bremen.de
Jean Christoph JungUniversity of HildesheimVerified email at uni-bremen.de
Víctor Gutiérrez BasultoLecturer at Cardiff 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
Alexander KurzChapman UniversityVerified email at chapman.edu
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
Bartek KlinUniversity of WarsawVerified email at mimuw.edu.pl
Michael KohlhaseInformatik, FAU Erlangen-NürnbergVerified email at fau.de
Katsuhiko SanoAssociate Professor, Department of Philosophy and Ethics, Hokkaido UniversityVerified email at let.hokudai.ac.jp
Barbara KönigUniversität Duisburg-Essen, Theoretische InformatikVerified email at uni-due.de
Corina CirsteaLecturer in Computer Science, University of SouthamptonVerified email at ecs.soton.ac.uk
Stefan WölflVerified email at informatik.uni-freiburg.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	200	2013
Expressivity of coalgebraic modal logic: The limits and beyond L Schroder Theoretical Computer Science 390 (2), 230, 2008	109	2008
PSPACE bounds for rank-1 modal logics L Schröder, D Pattinson ACM Transactions on Computational Logic 10 (2), 13:1-13:33, 2009	103	2009
Probabilistic Description Logics for Subjective Uncertainty. C Lutz, L Schröder Principles of Knowledge Representation and Reasoning, KR 2010, 2010	102	2010
Modal Logics are Coalgebraic C Cîrstea, A Kurz, D Pattinson, L Schröder, Y Venema The Computer Journal, 2009	97	2009
Closing a million-landmarks loop U Frese, L Schroder 2006 IEEE/RSJ International Conference on Intelligent Robots and Systems …, 2006	81	2006
A finite model construction for coalgebraic modal logic L Schröder The Journal of Logic and Algebraic Programming 73 (1-2), 97-110, 2007	68	2007
HasCASL: Towards integrated specification and development of functional programs L Schröder, T Mossakowski International Conference on Algebraic Methodology and Software Technology …, 2002	68	2002
Rank-1 modal logics are coalgebraic L Schröder, D Pattinson Journal of Logic and Computation 20 (5), 1113-1147, 2010	66	2010
Expressivity of coalgebraic modal logic: the limits and beyond L Schröder International Conference on Foundations of Software Science and Computation …, 2005	61	2005
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	53	2006
Modular algorithms for heterogeneous modal logics L Schröder, D Pattinson International Colloquium on Automata, Languages, and Programming, 459-471, 2007	45	2007
Generic exception handling and the Java monad L Schröder, T Mossakowski International Conference on Algebraic Methodology and Software Technology …, 2004	40	2004
HasCASL: Integrated higher-order specification and program development L Schröder, T Mossakowski Theoretical Computer Science 410 (12-13), 1217-1260, 2009	36	2009
Monad-Independent Hoare Logic in HasCASL L Schröder, T Mossakowski International Conference on Fundamental Approaches to Software Engineering …, 2003	34	2003
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	33	2004
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	32	2017
Type class polymorphism in an institutional framework L Schröder, T Mossakowski, C Lüth International Workshop on Algebraic Development Techniques, 234-251, 2004	32	2004
Coalgebraic hybrid logic R Myers, D Pattinson, L Schröder International Conference on Foundations of Software Science and …, 2009	31	2009
Iterative circular coinduction for CoCASL in Isabelle/HOL D Hausmann, T Mossakowski, L Schröder International Conference on Fundamental Approaches to Software Engineering …, 2005	31	2005

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

Upload PDF

Follow this author

Cited by

Co-authors