Erich Grädel

Hivatkozott rá

	Összes	2020 óta
Hivatkozások	11638	2098
h-index	47	20
i10-index	123	48

480

240

120

360

19871988198919901991199219931994199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202539 23 53 70 77 85 85 101 121 111 155 144 206 187 293 277 277 328 383 370 456 422 425 454 400 459 443 450 461 455 454 408 415 375 382 390 442 439 67

Nyilvános hozzáférés

Összes megtekintése

11 cikk

1 cikk

elérhető

nem érhető el

Finanszírozási megbízások alapján

Társszerzők

Moshe Y. VardiRice UniversityE-mail megerősítve itt: cs.rice.edu
Thomas WilkeProfessor of Computer Science, Dept. of Computer Science, Kiel UniversityE-mail megerősítve itt: ti.informatik.uni-kiel.de
Anuj DawarUniversity of CambridgeE-mail megerősítve itt: cl.cam.ac.uk
Leonid LibkinProfessor of Computer Science, University of EdinburghE-mail megerősítve itt: inf.ed.ac.uk
maarten marxAssistant Professor of Computer Science, University of AmsterdamE-mail megerősítve itt: uva.nl
Dietmar BerwangerCNRS, Université Paris-Saclay, FranceE-mail megerősítve itt: lmf.cnrs.fr
Łukasz KaiserOpenAI & CNRSE-mail megerősítve itt: openai.com
Stephan KreutzerProfessor of Computer Science, Technical University BerlinE-mail megerősítve itt: tu-berlin.de
Jouko VäänänenProfessor of Mathematics, University of Helsinki and Professor of Logic, University of AmsterdamE-mail megerősítve itt: helsinki.fi
Egon BoergerProfessor of Computer Science, University of Pisa (Italy)E-mail megerősítve itt: di.unipi.it
Helmut VeithProfessor of Computer Science, Vienna University of Technology / TU WienE-mail megerősítve itt: forsyte.tuwien.ac.at
Georg GottlobProfessor of Informatics, University of CalabriaE-mail megerősítve itt: unical.it
Martin GroheProfessor of Computer Science, RWTH Aachen UniversityE-mail megerősítve itt: informatik.rwth-aachen.de
Roman RabinovichTechnische Universität BerlinE-mail megerősítve itt: tu-berlin.de
Krzysztof R. AptCWI fellow, CWI , The NetherlandsE-mail megerősítve itt: cwi.nl
Michael UmmelsResearcher, German Aerospace CenterE-mail megerősítve itt: logic.rwth-aachen.de
Sebastian SiebertzUniversität Bremen, AG Theoretische InformatikE-mail megerősítve itt: uni-bremen.de
Juha KontinenProfessor, University of Helsinki, FinlandE-mail megerősítve itt: helsinki.fi
Bjarki HolmPostdoctoral Research Associate, University of CambridgeE-mail megerősítve itt: cl.cam.ac.uk
Eryk Kopczyńskiassistant professor, University of WarsawE-mail megerősítve itt: mimuw.edu.pl

Követés

Erich Grädel

RWTH Aachen University

E-mail megerősítve itt: logic.rwth-aachen.de - Kezdőlap

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


Cím Rendezés hivatkozások szerint Rendezés év szerint Rendezés cím szerint	Hivatkozott rá Hivatkozott rá	Év
Automata, logics, and infinite games: a guide to current research E Grädel, W Thomas, T Wilke Springer, 2003	1385*	2003
The classical decision problem E Börger, E Grädel, Y Gurevich Springer Science & Business Media, 2001	1178	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	697	1988
Automatic structures A Blumensath, E Gradel Proceedings Fifteenth Annual IEEE Symposium on Logic in Computer Science …, 2000	449	2000
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	447	1997
On the restraining power of guards E Grädel The Journal of Symbolic Logic 64 (4), 1719-1742, 1999	445	1999
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	344	1995
Finite Model Theory and its applications E Grädel, PG Kolaitis, L Libkin, M Marx, J Spencer, MY Vardi, Y Venema, ... Springer, 2007	319	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	269	1997
Guarded fixed point logic E Gradel, I Walukiewicz Proceedings. 14th Symposium on Logic in Computer Science (Cat. No. PR00158 …, 1999	234	1999
Dependence and independence E Grädel, J Väänänen Studia Logica 101 (2), 399-410, 2013	224	2013
On logics with two variables E Grädel, M Otto Theoretical computer science 224 (1-2), 73-113, 1999	196	1999
Metafinite model theory E Graedel, Y Gurevich Information and computation 140 (1), 26-81, 1998	178	1998
Finite presentations of infinite structures: Automata and interpretations A Blumensath, E Grädel Theory of Computing Systems 37 (6), 641-674, 2004	168	2004
Lectures in game theory for computer scientists KR Apt, E Grädel Cambridge University Press, 2011	167	2011
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	162	1994
Capturing complexity classes by fragments of second-order logic E Grädel Theoretical Computer Science 101 (1), 35-57, 1992	154	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	123	2002
Trial of low-dose aspirin plus dipyridamole versus anticoagulants for prevention of aortocoronary vein graft occlusion M Pfisterer, G Jockers, S Regenass, HE Schmitt, K Skarvan, J Hasse, ... The Lancet 334 (8653), 1-7, 1989	122	1989

A rendszer jelenleg nem tudja elvégezni a műveletet. Próbálkozzon újra később.

Cikkek 1–20

Hivatkozások évente

Ismétlődő hivatkozások

Összevont hivatkozások

Társszerzők hozzáadásaTársszerzők

Követés

Hivatkozott rá

Társszerzők