Edmund Clarke

2 papers and 27 indexed citations i.

Edmund Clarke has authored 2 papers that have received a total of 27 indexed citations. This includes 2 papers in Computational Theory and Mathematics, 1 paper in Molecular Biology and 1 paper in Artificial Intelligence. The topics of these papers are Formal Methods in Verification (2 papers), Computational Drug Discovery Methods (1 paper) and Security and Verification in Computing (1 paper). Edmund Clarke is often cited by papers focused on Formal Methods in Verification (2 papers), Computational Drug Discovery Methods (1 paper) and Security and Verification in Computing (1 paper) and collaborates with scholars based in United States, Portugal and Ireland. Edmund Clarke's co-authors include Sergey Berezin, Will Marrero, Mikoláš Janota, Somesh Jha and William Klieber and has published in prestigious journals such as Artificial Intelligence