إدموند كلارك
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 M. Clarke) ولد في 27 يوليو 1945 عالم حاسوب أمريكي، أستاذ علم الحاسوب في جامعة كارنيغي ميلون، فاز بجائزة تورنغ في عام 2007.
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