Disambiguation evidence for Edmund M. Clarke via surface form

"Edmund M. Clarke"

Triples (8)

Triples where some other subject referred to this entity as "Edmund M. Clarke".

Herbrand Award → notableRecipient →
"Edmund M. Clarke"
↳ resolves to Edmund M. Clarke
ⓘ
Joseph Sifakis → coRecipientWith →
"Edmund M. Clarke"
↳ resolves to Edmund M. Clarke
ⓘ
Symbolic Model Checking → associatedWithResearcher →
"Edmund M. Clarke"
↳ resolves to Edmund M. Clarke
ⓘ
Model Checking → author →
"Edmund M. Clarke"
↳ resolves to Edmund M. Clarke
ⓘ
linked to: Model Checking (book)
Doron Peled → coAuthorWith →
"Edmund M. Clarke"
↳ resolves to Edmund M. Clarke
ⓘ
Orna Grumberg → coAuthorWith →
"Edmund M. Clarke"
↳ resolves to Edmund M. Clarke
ⓘ
CAV Award → notableRecipient →
"Edmund M. Clarke"
↳ resolves to Edmund M. Clarke
ⓘ
Richard L. Schwartz → notableStudent →
"Edmund M. Clarke"
↳ resolves to Edmund M. Clarke
ⓘ