×

zbMATH — the first resource for mathematics

Clarke, Edmund Melson jun.

Compute Distance To:
Author ID: clarke.edmund-melson-jun
Published as: Clarke, E.; Clarke, E. M.; Clarke, E. M. jun.; Clarke, Edmund; Clarke, Edmund M.; Clarke, Edmund M. jun.; Clarke, Edmund Melson; Clarke, Edmund Melson jun.
Homepage: http://www.cs.cmu.edu/~emc/
External Links: MGP · Wikidata · dblp · GND
Awards: Turing Award (2007)
Documents Indexed: 130 Publications since 1979, including 7 Books
Biographic References: 1 Publication
all top 5

Co-Authors

9 single-authored
13 Grumberg, Orna
13 Veith, Helmut
11 Chaki, Sagar
8 Sharygina, Natasha
7 Jha, Somesh
7 Ouaknine, Joel O.
7 Sinha, Nishant
6 Browne, Michael C.
6 Emerson, Ernest Allen
6 Gao, Sicun
6 Kurshan, Robert P.
6 Platzer, André
6 Talupur, Muralidhar
6 Zuliani, Paolo
5 Biere, Armin
5 Krogh, Bruce H.
5 Kröning, Daniel
5 Wang, Dong
4 Henzinger, Thomas A.
4 Jain, Himanshu
4 Long, David E.
4 Mishra, Bud
4 Sistla, Aravinda Prasad
4 Strichman, Ofer
4 Yorav, Karen
4 Zhu, Yunshan
3 Baier, Christel
3 Cimatti, Alessandro
3 Dill, David L.
3 Fehnker, Ansgar
3 German, Steven M.
3 Giunchiglia, Fausto
3 Halpern, Joseph Yehuda
3 Klieber, William
3 Kukula, James H.
3 Lerda, Flavio
3 Lu, Yuan
3 Minea, Marius
3 Roveri, Marco
3 Touili, Tayssir
2 Avigad, Jeremy
2 Bose, Soumitra
2 Campos, Sérgio V. A.
2 Černý, Pavol
2 Chauhan, Pankaj
2 Chen, Yu-Fang
2 Draghicescu, I. A.
2 Farzan, Azadeh
2 Groce, Alex
2 Gupta, Anubhav
2 Han, Zhi
2 Hartonas-Garmhausen, Vasiliki
2 Janota, Mikoláš
2 Jha, Sumit Kumar
2 Komuravelli, Anvesh
2 Kong, Soonho
2 Marques-Silva, João P.
2 Marrero, Will
2 McMillan, Kenneth L.
2 Michaylov, Spiro
2 Radhakrishna, Arjun
2 Raimi, Richard
2 Ryzhyk, Leonid
2 Samanta, Roopsha
2 Sapra, Samir
2 Stursberg, Olaf
2 Tarrach, Thorsten
2 Theobald, Michael
2 Tsay, Yih-Kuen
2 Voronkov, Andrei
2 Wang, Bow-Yaw
2 Zhao, Xudong
1 Aguiar Campos, Sérgio Vale
1 Anantharaman, T. S.
1 Bae, Kyungmin
1 Bartzis, Constantinos
1 Bauer, Andrej
1 Berdine, Josh
1 Berezin, Sergey
1 Bloem, Roderick
1 Browne, Anca
1 Browne, I. A.
1 Burch, Jerry R.
1 Cook, Byron
1 Donzé, Alexandre
1 Evans, Arthur jun.
1 Faeder, James R.
1 Foster, M. J.
1 Francez, Nissim
1 Fujita, Masahiro
1 Giunchiglia, Enrico
1 Gong, Haijun
1 Hwang, L. J.
1 Kapinski, James
1 Kidd, Nicholas
1 Kozen, Dexter C.
1 Kuehlmann, Andreas
1 Kwiatkowska, Marta Z.
1 Legay, Axel
1 Long, Darren D.
...and 21 more Co-Authors

Publications by Year

Citations contained in zbMATH

Access to citation profile requires subscription

Wikidata Timeline