Erich Grädel 个人学术档案

引用次数

	总计	2019 年至今
引用	11506	2303
h 指数	47	21
i10 指数	120	50

480

240

120

360

1987198819891990199119921993199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202439 23 54 70 76 83 83 98 120 114 161 152 227 201 307 288 285 334 409 370 457 432 434 446 391 467 435 447 461 451 447 408 408 373 381 394 450 293

开放获取的出版物数量

查看全部

11 篇文章

1 篇文章

可查看的文章

无法查看的文章

根据资助方的强制性开放获取政策

合著作者

Moshe Y. VardiRice University在 cs.rice.edu 的电子邮件经过验证
Thomas WilkeProfessor of Computer Science, Dept. of Computer Science, Kiel University在 ti.informatik.uni-kiel.de 的电子邮件经过验证
Anuj DawarUniversity of Cambridge在 cl.cam.ac.uk 的电子邮件经过验证
Leonid LibkinProfessor of Computer Science, University of Edinburgh在 inf.ed.ac.uk 的电子邮件经过验证
maarten marxAssistant Professor of Computer Science, University of Amsterdam在 uva.nl 的电子邮件经过验证
Dietmar BerwangerCNRS, Université Paris-Saclay, France在 lmf.cnrs.fr 的电子邮件经过验证
Łukasz KaiserOpenAI & CNRS在 openai.com 的电子邮件经过验证
Stephan KreutzerProfessor of Computer Science, Technical University Berlin在 tu-berlin.de 的电子邮件经过验证
Egon BoergerProfessor of Computer Science, University of Pisa (Italy)在 di.unipi.it 的电子邮件经过验证
Jouko VäänänenProfessor of Mathematics, University of Helsinki and Professor of Logic, University of Amsterdam在 helsinki.fi 的电子邮件经过验证
Helmut VeithProfessor of Computer Science, Vienna University of Technology / TU Wien在 forsyte.tuwien.ac.at 的电子邮件经过验证
Georg GottlobProfessor of Informatics, University of Calabria在 unical.it 的电子邮件经过验证
Krzysztof R. AptCWI fellow, CWI , The Netherlands在 cwi.nl 的电子邮件经过验证
Martin GroheProfessor of Computer Science, RWTH Aachen University在 informatik.rwth-aachen.de 的电子邮件经过验证
Roman RabinovichTechnische Universität Berlin在 tu-berlin.de 的电子邮件经过验证
Michael UmmelsResearcher, German Aerospace Center在 logic.rwth-aachen.de 的电子邮件经过验证
Sebastian SiebertzUniversität Bremen, AG Theoretische Informatik在 uni-bremen.de 的电子邮件经过验证
Bjarki HolmPostdoctoral Research Associate, University of Cambridge在 cl.cam.ac.uk 的电子邮件经过验证
Eryk Kopczyńskiassistant professor, University of Warsaw在 mimuw.edu.pl 的电子邮件经过验证
Juha KontinenProfessor, University of Helsinki, Finland在 helsinki.fi 的电子邮件经过验证

关注

Erich Grädel

RWTH Aachen University

在 logic.rwth-aachen.de 的电子邮件经过验证 - 首页

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


标题按引用次数排序按年份排序按标题排序	引用次数引用次数	年份
Automata, logics, and infinite games: a guide to current research E Grädel, W Thomas, T Wilke Springer, 2003	1342*	2003
The classical decision problem E Börger, E Grädel, Y Gurevich Springer Science & Business Media, 2001	1050	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	689	1988
Automatic structures A Blumensath, E Gradel Proceedings Fifteenth Annual IEEE Symposium on Logic in Computer Science …, 2000	439	2000
On the restraining power of guards E Grädel The Journal of Symbolic Logic 64 (4), 1719-1742, 1999	438	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	432	1997
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	333	1995
Finite Model Theory and its applications E Grädel, PG Kolaitis, L Libkin, M Marx, J Spencer, MY Vardi, Y Venema, ... Springer, 2007	312	2007
The classical decision problem E Borger, Y Gurevich, E Graedel Springer, 1997	304	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	258	1997
Guarded fixed point logic E Gradel, I Walukiewicz Proceedings. 14th Symposium on Logic in Computer Science (Cat. No. PR00158 …, 1999	227	1999
Dependence and independence E Grädel, J Väänänen Studia Logica 101 (2), 399-410, 2013	214	2013
On logics with two variables E Grädel, M Otto Theoretical computer science 224 (1-2), 73-113, 1999	193	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	170	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	161	1994
Lectures in game theory for computer scientists KR Apt, E Grädel Cambridge University Press, 2011	160	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	133	2001
Angiotensin II-receptor subtypes in human atria and evidence for alterations in patients with cardiac dysfunction H Rogg, M De Gasparo, E Graedel, P Stulz, F Burkart, M Eberhard, P Erne European heart journal 17 (7), 1112-1120, 1996	121	1996

系统目前无法执行此操作，请稍后再试。

文章 1–20

每年引用数

重复的引用

合并的引用

添加合著者合著作者

上传 PDF

关注此作者

引用次数

合著作者

引用