Lutz Schröder

Citata da

	Tutte	Dal 2018
Citazioni	3272	1307
Indice H	29	17
i10-index	94	40

280

140

210

20002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202310 35 30 32 56 66 95 105 141 117 184 185 109 161 141 140 111 183 208 221 160 189 274 251

Accesso pubblico

Visualizza tutto

48 articoli

1 articolo

Disponibili

Non disponibili

In base ai mandati di finanziamento

Coautori

Dirk PattinsonAustralian National UniversityEmail verificata su anu.edu.au
Till MossakowskiProfessor of Computer Science, University of MagdeburgEmail verificata su ovgu.de
Stefan MiliusFAU Erlangen-NürnbergEmail verificata su stefan-milius.eu
Sergey GoncharovAkademischer Oberrat, Friedrich-Alexander-Universität Erlangen-NürnbergEmail verificata su fau.de
Markus RoggenbachProfessor of Computer Science, Swansea UniversityEmail verificata su swan.ac.uk
Carsten LutzProfessor of Computer Science, University of LeipzigEmail verificata su informatik.uni-leipzig.de
Udo FreseInformatik, Universität BremenEmail verificata su informatik.uni-bremen.de
Barbara KönigUniversität Duisburg-Essen, Theoretische InformatikEmail verificata su uni-due.de
Jean Christoph JungTU DortmundEmail verificata su tu-dortmund.de
Víctor Gutiérrez BasultoCardiff UniversityEmail verificata su cardiff.ac.uk
Andrzej TarleckiFaculty of Mathematics, Informatics and Mechanics, University of WarsawEmail verificata su mimuw.edu.pl
René WagnerUniversity of Bremen (Alumnus)Email verificata su uni-bremen.de
Christoph LüthDeutsches Forschungszentrum für Künstliche Intelligenz, Universität BremenEmail verificata su dfki.de
tadeusz litakFAU Erlangen-Nürnberg, Informatik 8Email verificata su cs.fau.de
Alexander KurzChapman UniversityEmail verificata su chapman.edu
Bartek KlinUniversity of OxfordEmail verificata su cs.ox.ac.uk
Michael KohlhaseInformatik, FAU Erlangen-NürnbergEmail verificata su fau.de
Corina CirsteaUniversity of SouthamptonEmail verificata su ecs.soton.ac.uk
Katsuhiko SanoAssociate Professor, Department of Philosophy and Ethics, Hokkaido UniversityEmail verificata su let.hokudai.ac.jp
Maciej PirógHuawei ResearchEmail verificata su huawei.com

Segui

Lutz Schröder

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

Email verificata su cs.fau.de - Home page

Logic in Computer Science Knowledge Representation Formal Methods Theoretical Computer Science


Titolo Ordina per citazioni Ordina per anno Ordina per titolo	Citata da Citata da	Anno
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	290	2013
Expressivity of coalgebraic modal logic: The limits and beyond L Schroder Theoretical Computer Science 390 (2), 230, 2008	141	2008
Modal Logics are Coalgebraic C Cîrstea, A Kurz, D Pattinson, L Schröder, Y Venema The Computer Journal, 2009	117	2009
Probabilistic Description Logics for Subjective Uncertainty. C Lutz, L Schröder Principles of Knowledge Representation and Reasoning, KR 2010, 2010	114	2010
PSPACE bounds for rank-1 modal logics L Schröder, D Pattinson ACM Transactions on Computational Logic 10 (2), 13:1-13:33, 2009	109	2009
Closing a million-landmarks loop U Frese, L Schroder 2006 IEEE/RSJ International Conference on Intelligent Robots and Systems …, 2006	85	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	69	2007
Rank-1 modal logics are coalgebraic L Schröder, D Pattinson Journal of Logic and Computation 20 (5), 1113-1147, 2010	65	2010
Expressivity of coalgebraic modal logic: the limits and beyond L Schröder International Conference on Foundations of Software Science and Computation …, 2005	59	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	57	2006
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	52	2017
Modular algorithms for heterogeneous modal logics L Schröder, D Pattinson International Colloquium on Automata, Languages, and Programming, 459-471, 2007	46	2007
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	45	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	42	2015
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	42	2013
Generic exception handling and the Java monad L Schröder, T Mossakowski International Conference on Algebraic Methodology and Software Technology …, 2004	39	2004
Generic modal cut elimination applied to conditional logics D Pattinson, L Schröder Logical Methods in Computer Science 7, 2011	35	2011
HasCASL: Integrated higher-order specification and program development L Schröder, T Mossakowski Theoretical Computer Science 410 (12-13), 1217-1260, 2009	35	2009
Monad-Independent Hoare Logic in HasCASL L Schröder, T Mossakowski International Conference on Fundamental Approaches to Software Engineering …, 2003	35	2003

Il sistema al momento non può eseguire l'operazione. Riprova più tardi.

Articoli 1–20

Citazioni per anno

Citazioni duplicate

Citazioni unite

Aggiungi coautoriCoautori

Segui

Citata da

Coautori