|
|
Link zu diesem Datensatz
|
https://d-nb.info/gnd/142488941
|
|
Person
|
Clarke, Edmund M.
|
|
Geschlecht
|
mannlich
|
|
Andere Namen
|
Clarke, Edmund M., Jr.
Clarke, Edmund Melson, Jr.
Clarke, Edmund, Jr.
Clarke, E.
Clarke, Edmund Melson (Vollstandiger Name)
Clarke, Edmund
Clarke, E. M.
|
|
Quelle
|
VIAF; ISNI; LCAuth; Wikipedia
|
|
Zeit
|
Lebensdaten: 1945-2020
|
|
Land
|
USA (XD-US)
|
|
Geografischer Bezug
|
Geburtsort:
Newport News, Va.
Sterbeort:
Mount Lebanon, NY
Wirkungsort:
Pittsburgh, Pa.
|
|
Beruf(e)
|
Informatiker
|
|
Weitere Angaben
|
Professor fur Informatik an der Carnegie Mellon University. - Ph.D. in Computer Science an der Cornell University, Ithaca NY, 1976
|
|
Beziehungen zu Organisationen
|
Carnegie Mellon University
|
|
Typ
|
Person (piz)
|
|
Autor von
|
2 Publikationen
-
Combining local and global model checking
Biere, Armin. - Freiburg : Universitat, 2023
-
Combining local and global model checking
Biere, Armin. - Karlsruhe : Univ., Fak. fur Informatik, [1998]
|
|
Beteiligt an
|
6 Publikationen
-
Perspectives of Systems Informatics
Berlin, Heidelberg : Springer Berlin Heidelberg, 2012
-
Perspectives of systems informatics
Heidelberg : Springer, c 2012
- ...
|