Erich Grädel

Citado por

	Total	Desde 2020
Citas	11685	2053
Índice h	47	20
Índice i10	122	49

480

240

120

360

19871988198919901991199219931994199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202539 23 54 70 76 83 83 98 120 114 162 152 227 201 307 288 284 335 409 371 462 433 435 448 391 467 437 446 462 450 451 410 408 374 386 405 442 423 20

Acceso público

Ver todo

11 artículos

1 artículo

disponibles

no disponibles

Basado en requisitos de financiación

Coautores

Moshe Y. VardiRice UniversityDirección de correo verificada de cs.rice.edu
Thomas WilkeProfessor of Computer Science, Dept. of Computer Science, Kiel UniversityDirección de correo verificada de ti.informatik.uni-kiel.de
Anuj DawarUniversity of CambridgeDirección de correo verificada de cl.cam.ac.uk
Leonid LibkinProfessor of Computer Science, University of EdinburghDirección de correo verificada de inf.ed.ac.uk
maarten marxAssistant Professor of Computer Science, University of AmsterdamDirección de correo verificada de uva.nl
Dietmar BerwangerCNRS, Université Paris-Saclay, FranceDirección de correo verificada de lmf.cnrs.fr
Łukasz KaiserOpenAI & CNRSDirección de correo verificada de openai.com
Stephan KreutzerProfessor of Computer Science, Technical University BerlinDirección de correo verificada de tu-berlin.de
Egon BoergerProfessor of Computer Science, University of Pisa (Italy)Dirección de correo verificada de di.unipi.it
Jouko VäänänenProfessor of Mathematics, University of Helsinki and Professor of Logic, University of AmsterdamDirección de correo verificada de helsinki.fi
Helmut VeithProfessor of Computer Science, Vienna University of Technology / TU WienDirección de correo verificada de forsyte.tuwien.ac.at
Georg GottlobProfessor of Informatics, University of CalabriaDirección de correo verificada de unical.it
Krzysztof R. AptCWI fellow, CWI , The NetherlandsDirección de correo verificada de cwi.nl
Martin GroheProfessor of Computer Science, RWTH Aachen UniversityDirección de correo verificada de informatik.rwth-aachen.de
Roman RabinovichTechnische Universität BerlinDirección de correo verificada de tu-berlin.de
Michael UmmelsResearcher, German Aerospace CenterDirección de correo verificada de logic.rwth-aachen.de
Sebastian SiebertzUniversität Bremen, AG Theoretische InformatikDirección de correo verificada de uni-bremen.de
Bjarki HolmPostdoctoral Research Associate, University of CambridgeDirección de correo verificada de cl.cam.ac.uk
Eryk Kopczyńskiassistant professor, University of WarsawDirección de correo verificada de mimuw.edu.pl
Juha KontinenProfessor, University of Helsinki, FinlandDirección de correo verificada de helsinki.fi

Seguir

Erich Grädel

RWTH Aachen University

Dirección de correo verificada de logic.rwth-aachen.de - Página principal

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


Título Ordenar por citas Ordenar por año Ordenar por título	Citado por Citado por	Año
Automata, logics, and infinite games: a guide to current research E Grädel, W Thomas, T Wilke Springer, 2003	1369*	2003
The classical decision problem E Börger, E Grädel, Y Gurevich Springer Science & Business Media, 2001	1067	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	693	1988
On the restraining power of guards E Grädel The Journal of Symbolic Logic 64 (4), 1719-1742, 1999	446	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	444	1997
Automatic structures A Blumensath, E Gradel Proceedings Fifteenth Annual IEEE Symposium on Logic in Computer Science …, 2000	442	2000
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	336	1995
Finite Model Theory and its applications E Grädel, PG Kolaitis, L Libkin, M Marx, J Spencer, MY Vardi, Y Venema, ... Springer, 2007	317	2007
The classical decision problem E Borger, Y Gurevich, E Graedel Springer, 1997	305	1997
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	265	1997
Guarded fixed point logic E Gradel, I Walukiewicz Proceedings. 14th Symposium on Logic in Computer Science (Cat. No. PR00158 …, 1999	232	1999
Dependence and independence E Grädel, J Väänänen Studia Logica 101 (2), 399-410, 2013	221	2013
On logics with two variables E Grädel, M Otto Theoretical computer science 224 (1-2), 73-113, 1999	194	1999
Metafinite model theory E Graedel, Y Gurevich Information and computation 140 (1), 26-81, 1998	176	1998
Finite presentations of infinite structures: Automata and interpretations A Blumensath, E Grädel Theory of Computing Systems 37 (6), 641-674, 2004	172	2004
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	165	1994
Lectures in game theory for computer scientists KR Apt, E Grädel Cambridge University Press, 2011	164	2011
Capturing complexity classes by fragments of second-order logic E Grädel Theoretical Computer Science 101 (1), 35-57, 1992	155	1992
Why are modal logics so robustly decidable? E Grädel Current Trends in Theoretical Computer Science, 393-408, 2001	136	2001
Back and forth between guarded and modal logics E Grädel, C Hirsch, M Otto ACM Transactions on Computational Logic (TOCL) 3 (3), 418-463, 2002	122	2002

El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.

Artículos 1–20

Citas por año

Citas duplicadas

Citas combinadas

Añadir coautoresCoautores

Seguir

Citado por

Coautores