Edmund M. Clarke - Concepedia

Author

Edmund M. Clarke

Also Known As

Clarke, Edmund, Clarke, Edmund M, Clarke, Edmund M., Clarke, Edmund M. 1945-2020, E. M. CLARKE, EDMUND M. CLARKE, Edmund Clarke, Edmund M Clarke, Edmund M. Clarke, Edmund Melson Clarke

265

Publications

32.2K

Citations

H-Index

116

Concepts

All Affiliations

Carnegie Mellon University Technion – Israel Institute of Technology ETH Zurich University of Wisconsin–Madison University of Pittsburgh

About

Edmund M. Clarke is an author at Carnegie Mellon University specializing in engineering, formal verification, and formal methods.

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	32	53	6.8K
2	Medicine	4	4	68
3	Public Health	2	2	222
4	Biostatistics	2	2	44
5	Language Studies	1	1	73

Edmund M. Clarke

Publications

9.7K

Citations

H-Index

Page 1

	Year	Citations

Page 1