Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Amir_Pnueli> ?p ?o }
- Amir_Pnueli abstract "Amir Pnueli (Hebrew: אמיר פנואלי; April 22, 1941 – November 2, 2009) was an Israeli computer scientist and the 1996 Turing Award recipient.".
- Amir_Pnueli award Israel_Prize.
- Amir_Pnueli award Turing_Award.
- Amir_Pnueli birthDate "1941-04-22".
- Amir_Pnueli birthPlace Mandatory_Palestine.
- Amir_Pnueli birthPlace Nahalal.
- Amir_Pnueli deathDate "2009-11-02".
- Amir_Pnueli deathPlace New_York.
- Amir_Pnueli deathPlace United_States.
- Amir_Pnueli field Computer_science.
- Amir_Pnueli thumbnail Amir_Pnueli.jpg?width=300.
- Amir_Pnueli wikiPageExternalLink pnueli.
- Amir_Pnueli wikiPageExternalLink shrtbio.html.
- Amir_Pnueli wikiPageExternalLink pnueli-profile.html.
- Amir_Pnueli wikiPageExternalLink lecture-2011.shtml.
- Amir_Pnueli wikiPageExternalLink ~amir.
- Amir_Pnueli wikiPageID "308365".
- Amir_Pnueli wikiPageLength "5713".
- Amir_Pnueli wikiPageOutDegree "57".
- Amir_Pnueli wikiPageRevisionID "691248166".
- Amir_Pnueli wikiPageWikiLink Association_for_Computing_Machinery.
- Amir_Pnueli wikiPageWikiLink Bachelors_degree.
- Amir_Pnueli wikiPageWikiLink Category:1941_births.
- Amir_Pnueli wikiPageWikiLink Category:2009_deaths.
- Amir_Pnueli wikiPageWikiLink Category:Courant_Institute_of_Mathematical_Sciences_faculty.
- Amir_Pnueli wikiPageWikiLink Category:Fellows_of_the_Association_for_Computing_Machinery.
- Amir_Pnueli wikiPageWikiLink Category:Formal_methods_people.
- Amir_Pnueli wikiPageWikiLink Category:Israel_Prize_in_computer_sciences_recipients.
- Amir_Pnueli wikiPageWikiLink Category:Israeli_Jews.
- Amir_Pnueli wikiPageWikiLink Category:Israeli_computer_scientists.
- Amir_Pnueli wikiPageWikiLink Category:Jewish_scientists.
- Amir_Pnueli wikiPageWikiLink Category:Members_of_the_Israel_Academy_of_Sciences_and_Humanities.
- Amir_Pnueli wikiPageWikiLink Category:People_from_Nahalal.
- Amir_Pnueli wikiPageWikiLink Category:Polytechnic_Institute_of_New_York_University_faculty.
- Amir_Pnueli wikiPageWikiLink Category:Programming_language_researchers.
- Amir_Pnueli wikiPageWikiLink Category:Technion_–_Israel_Institute_of_Technology_alumni.
- Amir_Pnueli wikiPageWikiLink Category:Tel_Aviv_University_faculty.
- Amir_Pnueli wikiPageWikiLink Category:Theoretical_computer_scientists.
- Amir_Pnueli wikiPageWikiLink Category:Turing_Award_laureates.
- Amir_Pnueli wikiPageWikiLink Category:Weizmann_Institute_faculty.
- Amir_Pnueli wikiPageWikiLink Cerebral_hemorrhage.
- Amir_Pnueli wikiPageWikiLink Computer_science.
- Amir_Pnueli wikiPageWikiLink Computer_scientist.
- Amir_Pnueli wikiPageWikiLink Concurrency_(computer_science).
- Amir_Pnueli wikiPageWikiLink Doctor_of_Philosophy.
- Amir_Pnueli wikiPageWikiLink Haifa.
- Amir_Pnueli wikiPageWikiLink Israel.
- Amir_Pnueli wikiPageWikiLink Israel_Prize.
- Amir_Pnueli wikiPageWikiLink List_of_Israel_Prize_recipients.
- Amir_Pnueli wikiPageWikiLink List_of_important_publications_in_theoretical_computer_science.
- Amir_Pnueli wikiPageWikiLink Mandatory_Palestine.
- Amir_Pnueli wikiPageWikiLink Mathematics.
- Amir_Pnueli wikiPageWikiLink Model_checking.
- Amir_Pnueli wikiPageWikiLink Nahalal.
- Amir_Pnueli wikiPageWikiLink New_York.
- Amir_Pnueli wikiPageWikiLink New_York_University.
- Amir_Pnueli wikiPageWikiLink Stanford_University.
- Amir_Pnueli wikiPageWikiLink Technion_–_Israel_Institute_of_Technology.
- Amir_Pnueli wikiPageWikiLink Tel_Aviv_University.
- Amir_Pnueli wikiPageWikiLink Temporal_logic.
- Amir_Pnueli wikiPageWikiLink Turing_Award.
- Amir_Pnueli wikiPageWikiLink United_States.
- Amir_Pnueli wikiPageWikiLink Weizmann_Institute_of_Science.
- Amir_Pnueli wikiPageWikiLinkText "Amir Pnueli".
- Amir_Pnueli birthDate "1941-04-22".
- Amir_Pnueli birthPlace Mandatory_Palestine.
- Amir_Pnueli birthPlace Nahalal.
- Amir_Pnueli deathDate "2009-11-02".
- Amir_Pnueli deathPlace New_York.
- Amir_Pnueli deathPlace United_States.
- Amir_Pnueli field Computer_science.
- Amir_Pnueli id "Pnueli:Amir".
- Amir_Pnueli imageSize "150".
- Amir_Pnueli name "Amir Pnueli".
- Amir_Pnueli nationality "Israeli".
- Amir_Pnueli prizes Israel_Prize.
- Amir_Pnueli prizes "Turing Award".
- Amir_Pnueli title "Amir Pnueli".
- Amir_Pnueli wikiPageUsesTemplate Template:Authority_control.
- Amir_Pnueli wikiPageUsesTemplate Template:Birth_date.
- Amir_Pnueli wikiPageUsesTemplate Template:DBLP.
- Amir_Pnueli wikiPageUsesTemplate Template:Death_date_and_age.
- Amir_Pnueli wikiPageUsesTemplate Template:Infobox_scientist.
- Amir_Pnueli wikiPageUsesTemplate Template:Lang-he.
- Amir_Pnueli wikiPageUsesTemplate Template:Reflist.
- Amir_Pnueli wikiPageUsesTemplate Template:Turing_award.
- Amir_Pnueli workInstitution New_York_University.
- Amir_Pnueli workInstitution Stanford_University.
- Amir_Pnueli workInstitution Tel_Aviv_University.
- Amir_Pnueli workInstitution Weizmann_Institute_of_Science.
- Amir_Pnueli subject Category:1941_births.
- Amir_Pnueli subject Category:2009_deaths.
- Amir_Pnueli subject Category:Courant_Institute_of_Mathematical_Sciences_faculty.
- Amir_Pnueli subject Category:Fellows_of_the_Association_for_Computing_Machinery.
- Amir_Pnueli subject Category:Formal_methods_people.
- Amir_Pnueli subject Category:Israel_Prize_in_computer_sciences_recipients.
- Amir_Pnueli subject Category:Israeli_Jews.
- Amir_Pnueli subject Category:Israeli_computer_scientists.
- Amir_Pnueli subject Category:Jewish_scientists.
- Amir_Pnueli subject Category:Members_of_the_Israel_Academy_of_Sciences_and_Humanities.