E. Allen Emerson (English Wikipedia)

Analysis of information sources in references of the Wikipedia article "E. Allen Emerson" in English language version.

refsWebsite

Global rank English rank

2^nd place

2^nd place

1,185^th place

840^th place

274^th place

309^th place

5^th place

5^th place

1semanticscholar.org

11^th place

8^th place

1web.archive.org

1^st place

1^st place

1hlf-foundation.org

low place

low place

1dignitymemorial.com

7,578^th place

4,670^th place

acm.org

amturing.acm.org

"E. Allen Emerson - A.M. Turing Award Laureate". amturing.acm.org. Retrieved September 2, 2022.

awards.acm.org

"AWARDS -- E. ALLEN EMERSON -- 'ACM A.M. Turing Award' and 'Paris Kanellakis Theory and Practice Award'". Association for Computing Machinery. 2015. Archived from the original on June 6, 2015. Retrieved July 21, 2015. […] authored seminal papers that founded what has become the highly successful field of Model Checking.

dignitymemorial.com

"Ernest "Allen" Emerson II". Weed Corley Fish Funeral Homes and Cremation Services. Retrieved October 20, 2024.

doi.org

Clarke, Edmund M.; Emerson, E. Allen (1982). "Design and synthesis of synchronization skeletons using branching time temporal logic". In Kozen, Dexter (ed.). Logics of Programs. Lecture Notes in Computer Science. Vol. 131. Berlin, Heidelberg: Springer. pp. 52–71. doi:10.1007/BFb0025774. ISBN 978-3-540-39047-3.
Emerson, E. Allen; Halpern, Joseph Y. (January 2, 1986). ""Sometimes" and "not never" revisited: on branching versus linear time temporal logic". Journal of the ACM. 33 (1): 151–178. doi:10.1145/4904.4999. ISSN 0004-5411. S2CID 10852931.

hlf-foundation.org

newsroom.hlf-foundation.org

"WE BID FAREWELL TO E. ALLEN EMERSON". Heidelberg Laureate Forum Foundation. Retrieved October 19, 2024.

semanticscholar.org

api.semanticscholar.org

Emerson, E. Allen; Halpern, Joseph Y. (January 2, 1986). ""Sometimes" and "not never" revisited: on branching versus linear time temporal logic". Journal of the ACM. 33 (1): 151–178. doi:10.1145/4904.4999. ISSN 0004-5411. S2CID 10852931.

springer.com

link.springer.com

Clarke, Edmund M.; Emerson, E. Allen (1982). "Design and synthesis of synchronization skeletons using branching time temporal logic". In Kozen, Dexter (ed.). Logics of Programs. Lecture Notes in Computer Science. Vol. 131. Berlin, Heidelberg: Springer. pp. 52–71. doi:10.1007/BFb0025774. ISBN 978-3-540-39047-3.

web.archive.org

"AWARDS -- E. ALLEN EMERSON -- 'ACM A.M. Turing Award' and 'Paris Kanellakis Theory and Practice Award'". Association for Computing Machinery. 2015. Archived from the original on June 6, 2015. Retrieved July 21, 2015. […] authored seminal papers that founded what has become the highly successful field of Model Checking.

worldcat.org

search.worldcat.org

Emerson, E. Allen; Halpern, Joseph Y. (January 2, 1986). ""Sometimes" and "not never" revisited: on branching versus linear time temporal logic". Journal of the ACM. 33 (1): 151–178. doi:10.1145/4904.4999. ISSN 0004-5411. S2CID 10852931.