Matches in DBpedia 2014 for { <http://dbpedia.org/resource/E._Allen_Emerson> ?p ?o. }
- E._Allen_Emerson abstract "Ernest Allen Emerson 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 their pioneering work on 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 BSc degree in mathematics from the University of Texas, Austin in 1976 and his PhD degree in applied mathematics at Harvard University in 1981.Working with Edmund M. Clarke in the 1980s, he invented computation tree logic.Emerson is a member of the ACM.".
- 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 birthPlace United_States.
- E._Allen_Emerson field Computer_science.
- E._Allen_Emerson lccnId "nb/99/152470".
- E._Allen_Emerson viafId "40252505".
- 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 wikiPageRevisionID "587242311".
- E._Allen_Emerson birthDate "1954-06-02".
- E._Allen_Emerson birthPlace Dallas.
- E._Allen_Emerson birthPlace Texas.
- E._Allen_Emerson birthPlace United_States.
- E._Allen_Emerson field Computer_science.
- E._Allen_Emerson hasPhotoCollection E._Allen_Emerson.
- E._Allen_Emerson lccn "nb/99/152470".
- E._Allen_Emerson name "Edmund Allen Emerson".
- E._Allen_Emerson name "Emerson, Allen".
- E._Allen_Emerson nationality "American".
- E._Allen_Emerson prizes Turing_Award.
- E._Allen_Emerson shortDescription "American computer scientist".
- E._Allen_Emerson viaf "40252505".
- 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 type Academician109759069.
- E._Allen_Emerson type Acquirer109764201.
- E._Allen_Emerson type Adult109605289.
- E._Allen_Emerson type Alumnus109786338.
- E._Allen_Emerson type AmericanAcademics.
- E._Allen_Emerson type AmericanComputerScientists.
- E._Allen_Emerson type CausalAgent100007347.
- E._Allen_Emerson type ComputerScientist109951070.
- E._Allen_Emerson type ComputerUser109951274.
- E._Allen_Emerson type Educator110045713.
- E._Allen_Emerson type FormalMethodsPeople.
- E._Allen_Emerson type HarvardUniversityAlumni.
- E._Allen_Emerson type Honoree110183757.
- E._Allen_Emerson type Intellectual109621545.
- E._Allen_Emerson type Laureate110249011.
- E._Allen_Emerson type LivingPeople.
- E._Allen_Emerson type LivingThing100004258.
- E._Allen_Emerson type Object100002684.
- E._Allen_Emerson type Organism100004475.
- E._Allen_Emerson type Person100007846.
- E._Allen_Emerson type PhysicalEntity100001930.
- E._Allen_Emerson type Professional110480253.
- E._Allen_Emerson type Recipient109627906.
- E._Allen_Emerson type Scholar110557854.
- E._Allen_Emerson type Scientist110560637.
- E._Allen_Emerson type TuringAwardLaureates.
- E._Allen_Emerson type Whole100003553.
- E._Allen_Emerson type YagoLegalActor.
- E._Allen_Emerson type YagoLegalActorGeo.
- E._Allen_Emerson type Agent.
- E._Allen_Emerson type Person.
- E._Allen_Emerson type Scientist.
- E._Allen_Emerson type Person.
- E._Allen_Emerson type Q215627.
- E._Allen_Emerson type Q5.
- E._Allen_Emerson type Agent.
- E._Allen_Emerson type NaturalPerson.
- E._Allen_Emerson type Thing.
- E._Allen_Emerson type Person.
- E._Allen_Emerson comment "Ernest Allen Emerson 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.".
- E._Allen_Emerson label "Allen Emerson".
- E._Allen_Emerson label "Allen Emerson".
- E._Allen_Emerson label "E. Allen Emerson".
- E._Allen_Emerson label "E. Allen Emerson".
- E._Allen_Emerson label "E. Allen Emerson".
- E._Allen_Emerson label "Ernest Allen Emerson".
- E._Allen_Emerson label "Эмерсон, Эрнест Аллен".
- E._Allen_Emerson label "ألين إيمرسون".
- E._Allen_Emerson label "アレン・エマーソン".
- E._Allen_Emerson label "艾伦·爱默生".
- E._Allen_Emerson sameAs Allen_Emerson.
- E._Allen_Emerson sameAs E._Allen_Emerson.
- E._Allen_Emerson sameAs Allen_Emerson.
- E._Allen_Emerson sameAs アレン・エマーソン.
- E._Allen_Emerson sameAs E._Allen_Emerson.
- E._Allen_Emerson sameAs Ernest_Allen_Emerson.
- E._Allen_Emerson sameAs m.03mgvcs.
- E._Allen_Emerson sameAs Q92821.
- E._Allen_Emerson sameAs Q92821.