Clarke, Edmund M., 1945-....

Clarke, E. M., 1945-

Clarke, Edmund Mellon (1945- ).

Clarke, Edmund

Clarke, Edmund Melson 1945-....

VIAF ID: 8050749 (Personal)

Permalink: http://viaf.org/viaf/8050749

ISNI-test: 0000 0001 2119 7648

Preferred Forms

100 1 _ ‎‡a Clarke, Edmund‏
100 1 _ ‎‡a Clarke, Edmund M.,‏ ‎‡d 1945-....‏
100 1 _ ‎‡a Clarke, Edmund M.‏ ‎‡d 1945-...‏
100 1 _ ‎‡a Clarke, E. M.,‏ ‎‡d 1945-‏
200 _ | ‎‡a Clarke‏ ‎‡b Edmund Melson‏ ‎‡f 1945-....‏
100 1 _ ‎‡a Clarke, Edmund M.,‏ ‎‡d 1945-‏
100 1 0 ‎‡a Clarke, E. M.,‏ ‎‡d 1945-‏
100 1 _ ‎‡a Clarke, Edmund Mellon‏ ‎‡d (1945- ).‏
100 1 _ ‎‡a Clarke, Edmund M.‏ ‎‡d 1945-‏

4xx's: Alternate Name Forms (15)

Works

Title	Sources
Logic for programming, artificial intelligence, and reasoning 16th international conference, LPAR-16, Dakar, Senegal, April 25-May 1 2010 : revised selected papers
Model checking / Edmund M. Clarke, Jr, Orna Grumberg and Doron A. Peled, 1999
Verification of infinite-state systems with applications to security

Selected Co-authors

Countries of Publication (5)

Publication Statistics

Selected Publishers (7)

About

Record Views

History of VIAF ID:8050749 (39)

Record ID	Action	Time
DNB\|112936563	add	2009-03-03T12:03:25+00:00
LC\|n 82237891	add	2010-11-16T05:07:56+00:00
NLA\|000035124242	add	2010-11-16T05:07:56+00:00
DNB\|112936563	delete	2011-02-17T05:22:51+00:00
NUKAT\|n 99020693	add	2011-02-17T05:22:51+00:00
DNB\|142488941	add	2011-04-18T11:37:38+00:00
NKC\|stk2007415785	add	2011-04-18T11:37:38+00:00
BNF\|16505624	add	2011-05-16T06:52:02+00:00
SUDOC\|060781750	add	2011-08-17T04:30:21+00:00
DNB\|175156700	add	2011-12-15T07:58:56+00:00
DNB\|142488941	delete	2011-12-15T08:03:27+00:00
BIBSYS\|x90116650	add	2012-02-21T07:28:50+00:00
NKC\|stk2007415785	delete	2012-02-21T07:28:50+00:00
BNF\|16505624	delete	2012-04-23T06:08:52+00:00
NUKAT\|n 99020693	delete	2012-04-23T06:08:52+00:00
DNB\|153181273	add	2012-05-22T07:07:50+00:00
DNB\|175156700	delete	2012-05-22T07:08:26+00:00
BNF\|16505624	add	2012-11-26T09:56:13+00:00
DNB\|142488941	add	2012-11-26T09:56:13+00:00
DNB\|153181273	delete	2012-11-26T09:56:13+00:00
NUKAT\|n 99020693	add	2012-11-26T09:56:13+00:00
BIBSYS\|x90116650	delete	2012-11-27T04:00:16+00:00
NLA\|000035124242	delete	2012-11-27T04:00:16+00:00
WKP\|Edmund_M._Clarke	add	2012-11-27T04:00:16+00:00
NTA\|069871493	add	2012-12-19T19:11:18+00:00
NKC\|stk2007415785	add	2013-01-14T22:09:03+00:00
ISNI\|0000000121197648	add	2013-09-16T16:15:07+00:00
DNB\|153181273	add	2014-02-14T18:24:06+00:00
NLA\|000035124242	add	2014-02-14T18:24:06+00:00
DNB\|153181273	delete	2014-10-21T12:48:43+00:00
ISNI\|0000000121197648	delete	2014-10-21T12:48:43+00:00
LC\|n 82237891	delete	2014-10-21T12:48:43+00:00
LC\|n 91023249	add	2014-10-21T12:48:43+00:00
NLA\|000035124242	delete	2014-10-21T12:48:43+00:00
NUKAT\|n 99020693	delete	2014-10-21T12:48:43+00:00
WKP\|Edmund_M._Clarke	delete	2014-10-21T12:48:43+00:00
ISNI\|0000000121197648	add	2014-10-27T16:17:29+00:00
NUKAT\|n 99020693	add	2014-10-27T16:17:29+00:00
WKP\|Edmund_M._Clarke	add	2014-10-27T16:17:29+00:00

VIAF

Virtual International Authority File

Search

Clarke, Edmund M., 1945-....

Clarke, E. M., 1945-

Clarke, Edmund Mellon (1945- ).

Clarke, Edmund

Clarke, Edmund Melson 1945-....

VIAF ID: 8050749 (Personal)

Permalink: http://viaf.org/viaf/8050749

ISNI-test: 0000 0001 2119 7648

Preferred Forms

4xx's: Alternate Name Forms (15)

Works

Selected Co-authors

Countries of Publication (5)

Publication Statistics

Publication History

Identifiers

Selected Publishers (7)

About

Personal Information

Nationality:

Language:

External Links

Record Views

History of VIAF ID:8050749 (39)