E. Allen Emerson (Catalan Wikipedia)

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

refsWebsite

Global rank Catalan rank

1,185^th place

1,003^rd place

916^th place

681^st place

1web.archive.org

1^st place

1^st place

1webcitation.org

24^th place

78^th place

acm.org

acm.org

«Kanellakis Award». Association for Computing Machinery, 26-03-1999. Arxivat de l'original el 2011-06-05. [Consulta: 28 maig 2016].

amturing.acm.org

«ACM Turing Award Honors Founders of Automatic Verification Technology That Enables Faster, More Reliable Designs», 04-02-2008.

awards.acm.org

«AWARDS -- E. ALLEN EMERSON -- 'ACM A.M. Turing Award' and 'Paris Kanellakis Theory and Practice Award'». Association for Computing Machinery, 2015. Arxivat de l'original el 21 juliol 2015. [Consulta: 21 juliol 2015]. «[…] authored seminal papers that founded what has become the highly successful field of Model Checking.»

utexas.edu

cns.utexas.edu

«Remembering Turing Award Winner E. Allen Emerson | College of Natural Sciences» (en anglès). [Consulta: 24 octubre 2024].

web.archive.org

«Kanellakis Award». Association for Computing Machinery, 26-03-1999. Arxivat de l'original el 2011-06-05. [Consulta: 28 maig 2016].

webcitation.org

«AWARDS -- E. ALLEN EMERSON -- 'ACM A.M. Turing Award' and 'Paris Kanellakis Theory and Practice Award'». Association for Computing Machinery, 2015. Arxivat de l'original el 21 juliol 2015. [Consulta: 21 juliol 2015]. «[…] authored seminal papers that founded what has become the highly successful field of Model Checking.»