Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/E._Allen_Emerson> ?p ?o }
- E._Allen_Emerson abstract "Ernest Allen Emerson (born June 2, 1954) is a computer scientist and endowed professor at the University of Texas, Austin, USA.He won the 2007 A.M. Turing Award along with Edmund M. Clarke and Joseph Sifakis for the invention anddevelopment of Model checking.He is also the recipient of the 1998 ACM Paris Kanellakis Award Theory and Practice Award for Symbolic Model Checking.He received his BS degree in mathematics from the University of Texas, Austin in 1976 and his PhD degree in applied mathematics at Harvard University in 1981.".
- E._Allen_Emerson almaMater Harvard_University.
- E._Allen_Emerson almaMater University_of_Texas_at_Austin.
- E._Allen_Emerson award Paris_Kanellakis_Award.
- E._Allen_Emerson award Turing_Award.
- E._Allen_Emerson birthDate "1954-06-02".
- E._Allen_Emerson birthPlace Dallas.
- E._Allen_Emerson birthPlace Texas.
- E._Allen_Emerson birthYear "1954".
- E._Allen_Emerson field Computer_science.
- E._Allen_Emerson wikiPageExternalLink emerson_1671460.cfm.
- E._Allen_Emerson wikiPageExternalLink citation.cfm?id=1671460&srt=all&aw=147&ao=KANELLAK.
- E._Allen_Emerson wikiPageExternalLink ?p=572.
- E._Allen_Emerson wikiPageExternalLink ~emerson.
- E._Allen_Emerson wikiPageID "15590959".
- E._Allen_Emerson wikiPageLength "4054".
- E._Allen_Emerson wikiPageOutDegree "32".
- E._Allen_Emerson wikiPageRevisionID "684409936".
- E._Allen_Emerson wikiPageWikiLink Association_for_Computing_Machinery.
- E._Allen_Emerson wikiPageWikiLink Bachelor_of_Science.
- E._Allen_Emerson wikiPageWikiLink Category:American_academics.
- E._Allen_Emerson wikiPageWikiLink Category:American_computer_scientists.
- E._Allen_Emerson wikiPageWikiLink Category:Formal_methods_people.
- E._Allen_Emerson wikiPageWikiLink Category:Harvard_University_alumni.
- E._Allen_Emerson wikiPageWikiLink Category:Living_people.
- E._Allen_Emerson wikiPageWikiLink Category:Turing_Award_laureates.
- E._Allen_Emerson wikiPageWikiLink Category:University_of_Texas_at_Austin_alumni.
- E._Allen_Emerson wikiPageWikiLink Category:University_of_Texas_at_Austin_faculty.
- E._Allen_Emerson wikiPageWikiLink Category:Year_of_birth_missing_(living_people).
- E._Allen_Emerson wikiPageWikiLink Computer_science.
- E._Allen_Emerson wikiPageWikiLink Dallas.
- E._Allen_Emerson wikiPageWikiLink Doctor_of_Philosophy.
- E._Allen_Emerson wikiPageWikiLink Edmund_M._Clarke.
- E._Allen_Emerson wikiPageWikiLink Harvard_University.
- E._Allen_Emerson wikiPageWikiLink Joseph_Sifakis.
- E._Allen_Emerson wikiPageWikiLink Model_checking.
- E._Allen_Emerson wikiPageWikiLink Paris_Kanellakis_Award.
- E._Allen_Emerson wikiPageWikiLink Texas.
- E._Allen_Emerson wikiPageWikiLink Turing_Award.
- E._Allen_Emerson wikiPageWikiLink United_States.
- E._Allen_Emerson wikiPageWikiLink University_of_Texas_at_Austin.
- E._Allen_Emerson wikiPageWikiLinkText "E. Allen Emerson".
- E._Allen_Emerson wikiPageWikiLinkText "E.A. Emerson".
- E._Allen_Emerson almaMater Harvard_University.
- E._Allen_Emerson almaMater University_of_Texas_at_Austin.
- E._Allen_Emerson awards "Paris Kanellakis Theory and Practice Award".
- E._Allen_Emerson awards "Turing award".
- E._Allen_Emerson birthDate "1954-06-02".
- E._Allen_Emerson birthPlace "Dallas, Texas, U.S.".
- E._Allen_Emerson dateOfBirth "1954-06-02".
- E._Allen_Emerson field Computer_science.
- E._Allen_Emerson name "Emerson, Allen".
- E._Allen_Emerson name "Ernest Allen Emerson II".
- E._Allen_Emerson nationality "American".
- E._Allen_Emerson placeOfBirth "Dallas, Texas, United States".
- E._Allen_Emerson shortDescription "American computer scientist".
- E._Allen_Emerson wikiPageUsesTemplate Template:AcademicSearch.
- E._Allen_Emerson wikiPageUsesTemplate Template:Authority_control.
- E._Allen_Emerson wikiPageUsesTemplate Template:BLP_sources.
- E._Allen_Emerson wikiPageUsesTemplate Template:Birth_date_and_age.
- E._Allen_Emerson wikiPageUsesTemplate Template:Infobox_scientist.
- E._Allen_Emerson wikiPageUsesTemplate Template:Kanellakis_Award_laureates.
- E._Allen_Emerson wikiPageUsesTemplate Template:Mathgenealogy.
- E._Allen_Emerson wikiPageUsesTemplate Template:Persondata.
- E._Allen_Emerson wikiPageUsesTemplate Template:Reflist.
- E._Allen_Emerson wikiPageUsesTemplate Template:Small.
- E._Allen_Emerson wikiPageUsesTemplate Template:Turing_award.
- E._Allen_Emerson wikiPageUsesTemplate Template:Use_mdy_dates.
- E._Allen_Emerson workInstitution United_States.
- E._Allen_Emerson workInstitution University_of_Texas_at_Austin.
- E._Allen_Emerson description "American computer scientist".
- E._Allen_Emerson description "American computer scientist".
- E._Allen_Emerson subject Category:American_academics.
- E._Allen_Emerson subject Category:American_computer_scientists.
- E._Allen_Emerson subject Category:Formal_methods_people.
- E._Allen_Emerson subject Category:Harvard_University_alumni.
- E._Allen_Emerson subject Category:Living_people.
- E._Allen_Emerson subject Category:Turing_Award_laureates.
- E._Allen_Emerson subject Category:University_of_Texas_at_Austin_alumni.
- E._Allen_Emerson subject Category:University_of_Texas_at_Austin_faculty.
- E._Allen_Emerson subject Category:Year_of_birth_missing_(living_people).
- E._Allen_Emerson hypernym Scientist.
- E._Allen_Emerson type Agent.
- E._Allen_Emerson type Award.
- E._Allen_Emerson type List.
- E._Allen_Emerson type Person.
- E._Allen_Emerson type Scientist.
- E._Allen_Emerson type Person.
- E._Allen_Emerson type Award.
- E._Allen_Emerson type Educator.
- E._Allen_Emerson type Laureate.
- E._Allen_Emerson type List.
- E._Allen_Emerson type Method.
- E._Allen_Emerson type Scientist.
- E._Allen_Emerson type Winner.
- E._Allen_Emerson type Agent.
- E._Allen_Emerson type NaturalPerson.
- E._Allen_Emerson type Thing.
- E._Allen_Emerson type Q215627.
- E._Allen_Emerson type Q5.