Edmund Clarke

Edmund Clarke

Carnegie Mellon University

H-index: 102

North America-United States

About Edmund Clarke

Edmund Clarke, With an exceptional h-index of 102 and a recent h-index of 45 (since 2020), a distinguished researcher at Carnegie Mellon University, specializes in the field of Formal methods, Model Checking.

His recent articles reflect a diverse array of research interests and contributions to the field:

A single domain shark antibody targeting the transferrin receptor 1 delivers a TrkB agonist antibody to the brain and provides full neuroprotection in a mouse model of …

Early outcomes and complications following cardiac surgery in patients testing positive for coronavirus disease 2019: An international cohort study

Altered white matter microstructural organization in posttraumatic stress disorder across 3047 adults: results from the PGC-ENIGMA PTSD consortium

Temporal Logics for Distributed Systems-Paradigms and Algorithms (Dagstuhl Seminar 99411)

Edmund Clarke Information

University

Position

University Professor Emeritus at

Citations(all)

87517

Citations(since 2020)

13431

Cited By

79404

hIndex(all)

102

hIndex(since 2020)

45

i10Index(all)

307

i10Index(since 2020)

121

Email

University Profile Page

Carnegie Mellon University

Google Scholar

View Google Scholar Profile

Edmund Clarke Skills & Research Interests

Formal methods

Model Checking

Top articles of Edmund Clarke

Title

Journal

Author(s)

Publication Date

A single domain shark antibody targeting the transferrin receptor 1 delivers a TrkB agonist antibody to the brain and provides full neuroprotection in a mouse model of …

Pharmaceutics

Emily Clarke

Pawel Stocki

Elizabeth H Sinclair

Aziz Gauhar

Edward JR Fletcher

...

2022/6/24

Early outcomes and complications following cardiac surgery in patients testing positive for coronavirus disease 2019: An international cohort study

The Journal of thoracic and cardiovascular surgery

The Cardiothoracic Interdisciplinary Research Network

COVIDSurg Collaborative

2021/8

Altered white matter microstructural organization in posttraumatic stress disorder across 3047 adults: results from the PGC-ENIGMA PTSD consortium

Molecular psychiatry

Emily L Dennis

Seth G Disner

Negar Fani

Lauren E Salminen

Mark Logue

...

2021/8

Temporal Logics for Distributed Systems-Paradigms and Algorithms (Dagstuhl Seminar 99411)

Edmund M Clarke

Ursula Goltz

Peter Niebert

Wojciech Penczek

2021

See List of Professors in Edmund Clarke University(Carnegie Mellon University)

Co-Authors

H-index: 86
Somesh Jha

Somesh Jha

University of Wisconsin-Madison

H-index: 84
David L. Dill

David L. Dill

Stanford University

H-index: 52
Orna Grumberg

Orna Grumberg

Technion - Israel Institute of Technology

H-index: 50
Doron A. Peled

Doron A. Peled

Bar-Ilan University

H-index: 47
Helmut Veith

Helmut Veith

Technische Universität Wien

H-index: 22
Sicun Gao

Sicun Gao

University of California, San Diego

academic-engine