Clarke, Edmund
Clarke, Edmund M., 1945-2020
Clarke, E.M.
Clarke, Edmund M., 1945-
Edmund Melson Clarke, Jr.
Clarke, Edmund M., Jr. (Edmund Melson), 1945-2020
Clarke, E. M., 1945-
Clarke, Edmund 1945–2020
Clarke, Edmund M.
Clarke, Edmund Mellon (1945- ).
Clarke, Edmund Melson 1945-....
VIAF ID: 8050749 ( Personal )
Permalink: http://viaf.org/viaf/8050749
Preferred Forms
- 200 _ | ‡a Clarke ‡b Edmund Melson ‡f 1945-....
-
-
-
-
-
- 100 1 _ ‡a Clarke, Edmund
-
- 100 1 _ ‡a Clarke, Edmund M.
- 100 1 _ ‡a Clarke, Edmund M. ‡d 1945-2020
- 100 1 _ ‡a Clarke, Edmund M. ‡d 1945-2020
-
- 100 1 _ ‡a Clarke, Edmund M., ‡c Jr. ‡q (Edmund Melson), ‡d 1945-2020
-
-
- 100 1 _ ‡a Clarke, Edmund M., ‡d 1945-2020
-
- 100 1 _ ‡a Edmund Melson Clarke, Jr.
4xx's: Alternate Name Forms (58)
5xx's: Related Names (5)
- 510 2 _ ‡a Carnegie Mellon University
- 510 2 _ ‡a Carnegie Mellon University ‡4 affi ‡4 https://d-nb.info/standards/elementset/gnd#affiliation ‡e Affiliation
- 551 _ _ ‡a Mount Lebanon, NY ‡4 orts ‡4 https://d-nb.info/standards/elementset/gnd#placeOfDeath
- 551 _ _ ‡a Newport News, Va. ‡4 ortg ‡4 https://d-nb.info/standards/elementset/gnd#placeOfBirth
- 551 _ _ ‡a Pittsburgh, Pa. ‡4 ortw ‡4 https://d-nb.info/standards/elementset/gnd#placeOfActivity
Works
Title | Sources |
---|---|
CAV'90 | |
Computer-aided verification : 2nd International Conference, CAV '90, New Brunswick, NJ, USA, June 18–21, 1990 : proceedings | |
Computer-aided verification / E. M. Clarke, R. P. Kurshan (eds.). - Berlin, 1991. | |
DIMACS Workshop on Computer-Aided Verification (1990 : Center for Discrete Mathematics and Theoretical Computer Science). Computer-aided verification'90, 1991: | |
Guantanamo : if the lights goes out | |
Logic for programming, artificial intelligence, and reasoning : 16th international conference, LPAR-16, Dakar, Senegal, April 25-May 1, 2010 : revised selected papers | |
Logics of programs : Workshop, Carnegie-Mellon University, Pittsburgh, PA, June 6-8, 1983 | |
Model checking | |
Parallel symbolic computation algorithms | |
Perspectives of Systems Informatics : 8th International Andrei Ershov Memorial Conference, PSI 2011, Novosibirsk, Russia, June 27-July 1, 2011, Revised Selected Papers | |
PSI 2011 | |
Software reliability methods | |
Temporal logics for distributed systems paradigms and algorithms ; 10.10.1999 - 15.10.1999 | |
Verification of infinite-state systems with applications to security |