Erich Grädel

Cited by

	All	Since 2018
Citations	11066	2400
h-index	46	21
i10-index	118	56

480

240

120

360

198719881989199019911992199319941995199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202336 23 54 72 74 83 81 99 120 111 150 136 201 178 280 261 271 325 408 361 451 428 425 449 391 472 445 466 459 454 451 406 410 378 400 414 389

Public access

View all

9 articles

1 article

available

not available

Based on funding mandates

Co-authors

Moshe Y. VardiRice UniversityVerified email at cs.rice.edu
Thomas WilkeProfessor of Computer Science, Dept. of Computer Science, Kiel UniversityVerified email at ti.informatik.uni-kiel.de
Anuj DawarUniversity of CambridgeVerified email at cl.cam.ac.uk
Leonid LibkinProfessor of Computer Science, University of EdinburghVerified email at inf.ed.ac.uk
maarten marxAssistant Professor of Computer Science, University of AmsterdamVerified email at uva.nl
Dietmar BerwangerCNRS, Université Paris-Saclay, FranceVerified email at lsv.fr
Łukasz KaiserOpenAI & CNRSVerified email at openai.com
Stephan KreutzerProfessor of Computer Science, Technical University BerlinVerified email at tu-berlin.de
Georg GottlobProfessor of Informatics, University of OxfordVerified email at cs.ox.ac.uk
Egon BoergerProfessor of Computer Science, University of Pisa (Italy)Verified email at di.unipi.it
Jouko VäänänenProfessor of Mathematics, University of Helsinki and Professor of Logic, University of AmsterdamVerified email at helsinki.fi
Helmut VeithProfessor of Computer Science, Vienna University of Technology / TU WienVerified email at forsyte.tuwien.ac.at
Krzysztof R. AptCWI fellow, CWI , The NetherlandsVerified email at cwi.nl
Martin GroheProfessor of Computer Science, RWTH Aachen UniversityVerified email at informatik.rwth-aachen.de
Roman RabinovichTechnische Universität BerlinVerified email at tu-berlin.de
Michael UmmelsResearcher, German Aerospace CenterVerified email at logic.rwth-aachen.de
Sebastian SiebertzUniversität Bremen, AG Theoretische InformatikVerified email at uni-bremen.de
Juha KontinenProfessor, University of Helsinki, FinlandVerified email at helsinki.fi
Bjarki HolmPostdoctoral Research Associate, University of CambridgeVerified email at cl.cam.ac.uk
Eryk Kopczyńskiassistant professor, University of WarsawVerified email at mimuw.edu.pl

Erich Grädel

RWTH Aachen University

Verified email at logic.rwth-aachen.de - Homepage

Mathematical Logic Logic and Algorithms Algorithmic Model Theory Theory of Infinite Games Descriptive Complexity


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Automata, logics, and infinite games: a guide to current research E Grädel, W Thomas, T Wilke Springer, 2003	1262*	2003
The classical decision problem E Börger, E Grädel, Y Gurevich Springer Science & Business Media, 2001	1114	2001
Difference between endothelium-dependent relaxation in arterial and in venous coronary bypass grafts TF Lüscher, D Diederich, R Siebenmann, K Lehmann, P Stulz, ... New England Journal of Medicine 319 (8), 462-467, 1988	692	1988
Automatic structures A Blumensath, E Gradel Proceedings Fifteenth Annual IEEE Symposium on Logic in Computer Science …, 2000	429	2000
On the restraining power of guards E Grädel The Journal of Symbolic Logic 64 (4), 1719-1742, 1999	426	1999
On the decision problem for two-variable first-order logic E Grädel, PG Kolaitis, MY Vardi Bulletin of symbolic logic 3 (1), 53-69, 1997	419	1997
Automata, logics, and infinite games, volume 2500 of LNCS E Grädel, W Thomas, T Wilke Springer, 2002	381*	2002
Exercise capacity as a predictor of postoperative complications in lung resection candidates. CT Bolliger, P Jordan, M Solèr, P Stulz, E Grädel, K Skarvan, S Elsasser, ... American journal of respiratory and critical care medicine 151 (5), 1472-1480, 1995	331	1995
Finite Model Theory and its applications E Grädel, PG Kolaitis, L Libkin, M Marx, J Spencer, MY Vardi, Y Venema, ... Springer, 2007	288	2007
Two-variable logic with counting is decidable E Gradel, M Otto, E Rosen Proceedings of Twelfth Annual IEEE Symposium on Logic in Computer Science …, 1997	243	1997
Guarded fixed point logic E Gradel, I Walukiewicz Proceedings. 14th Symposium on Logic in Computer Science (Cat. No. PR00158 …, 1999	225	1999
Dependence and independence E Grädel, J Väänänen Studia Logica 101, 399-410, 2013	202	2013
On logics with two variables E Grädel, M Otto Theoretical computer science 224 (1-2), 73-113, 1999	186	1999
Metafinite model theory E Graedel, Y Gurevich Information and computation 140 (1), 26-81, 1998	168	1998
Metafinite model theory E Graedel, Y Gurevich Information and computation 140 (1), 26-81, 1998	168	1998
Finite presentations of infinite structures: Automata and interpretations A Blumensath, E Grädel Theory of Computing Systems 37 (6), 641-674, 2004	160	2004
Automata, logics, and infinite Games. LNCS, vol. 2500 E Grädel, W Thomas, T Wilke Springer, Heidelberg, 2002	157	2002
Decision making in the surgical treatment of massive pulmonary embolism. P Stulz, R Schläpfer, R Feer, J Habicht, E Grädel shock 19 (15), 79, 1994	155	1994
Capturing complexity classes by fragments of second-order logic E Grädel Theoretical Computer Science 101 (1), 35-57, 1992	153	1992
Lectures in game theory for computer scientists KR Apt, E Grädel Cambridge University Press, 2011	149	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