エドムンド・クラーク
Also known as Edmund Melson Clarke, Edmund Melson Clarke, Jr., Edmund Clarke
アメリカの計算機科学者 (1945-2020)
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日）は、アメリカ合衆国の計算機科学者。ハードウェアやソフトウェアの設計を形式的に検証するモデル検査の開発で知られている計算機科学者。カーネギーメロン大学計算機科学科の教授。
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