爱德蒙·克拉克
Also known as Edmund Melson Clarke, Edmund Melson Clarke, Jr., Edmund Clarke
美国计算机科学家
Person · Open Library
- Works
- 3
Top works
- Model Checking, Second Edition
- Handbook of Model Checking
- Logic for Programming Artificial Intelligence and Reasoning Lecture Notes in Artificial Intelligence
via Open Library + Wikidata
Recent publications · Crossref
5 total works indexed
- Using thematic analysis in psychology
· 2006 · cited 144,240x
- Preferred reporting items for systematic review and meta-analysis protocols (PRISMA-P) 2015 statement
· 2015 · cited 20,646x
- Comparing the Areas under Two or More Correlated Receiver Operating Characteristic Curves: A Nonparametric Approach
· 1988 · cited 19,108x
Article · 中文
小爱德蒙·梅爾森·克拉克（英語：Edmund Melson Clarke, Jr.，1945年7月27日 - 2020年12月22日），美国计算机科学家。2007年，他与艾伦·爱默生和约瑟夫·斯发基斯一起因在取得的杰出贡献而获得图灵奖。 美国匹兹堡当地时间2020年12月22日下午（北京时间12月23日上午）因感染2019冠状病毒去世。
Abstract from DBpedia / Wikipedia · CC BY-SA
Connections
Categories
1945 births2020 deathsAmerican computer scientistsCarnegie Mellon University facultyCornell University alumniDeaths from the COVID-19 pandemic in PennsylvaniaDuke University alumniDuke University facultyFellows of the American Academy of Arts and SciencesFellows of the Association for Computing MachineryFellows of the IEEEFormal methods people