Clarke, Edmund M., 1945-....
![Sudoc [ABES], France](/viaf/images/flags/SUDOC.png "Sudoc [ABES], France")
Clarke, E.M.
Clarke, E. M., 1945-
Edmund M. Clarke American computer scientist
Clarke, Edmund Mellon (1945- ).
Clarke, Edmund Melson 1945-....
VIAF ID: 8050749 (Personal)
Permalink: //viaf.org/viaf/8050749
ISNI: 0000 0001 2119 7648
Preferred Forms
-
200 _ |
‡a
Clarke
‡b
Edmund Melson
‡f
1945-....
-
100 1 _ ‡a Clarke, E. M., ‡d 1945-
-
100 1 _ ‡a Clarke, E. M., ‡d 1945-
-
100 1 0
‡a
Clarke, E. M.,
‡d
1945-
-
100 1 _ ‡a Clarke, E.M.
-
100 1 _
‡a
Clarke, Edmund M.
‡d
1945-
-
100 1 _
‡a
Clarke, Edmund M.
‡d
1945-...
-
100 1 _ ‡a Clarke, Edmund M., ‡d 1945-
-
100 1 _
‡a
Clarke, Edmund M.,
‡d
1945-....
-
100 1 _ ‡a Clarke, Edmund Mellon ‡d (1945- ).
-
100 0 _
‡a
Edmund M. Clarke
‡c
American computer scientist
4xx's: Alternate Name Forms (36)
5xx's: Related Names (2)
- 510 2 _
‡a
Carnegie Mellon University
- 510 2 _
‡a
Carnegie Mellon University
‡e
Affiliation
Works
| Title | Sources |
|---|---|
| Combining local and global model checking |
|
| 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 / Edmund M. Clarke, Jr, Orna Grumberg and Doron A. Peled, 1999 |
|
| 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 |
|
