Matches in DBpedia 2016-04 for { ?s ?p <http://dbpedia.org/resource/Amir_Pnueli> }
Showing triples 1 to 48 of
48
with 100 triples per page.
- Shmuel_Safra doctoralAdvisor Amir_Pnueli.
- I-Logix foundedBy Amir_Pnueli.
- Pnueli wikiPageRedirects Amir_Pnueli.
- 1941_in_Mandatory_Palestine wikiPageWikiLink Amir_Pnueli.
- 1996_in_science wikiPageWikiLink Amir_Pnueli.
- 2009_in_Israel wikiPageWikiLink Amir_Pnueli.
- ACM_Software_System_Award wikiPageWikiLink Amir_Pnueli.
- Asia_University_(Taiwan) wikiPageWikiLink Amir_Pnueli.
- CTL* wikiPageWikiLink Amir_Pnueli.
- Courant_Institute_of_Mathematical_Sciences wikiPageWikiLink Amir_Pnueli.
- Deaths_in_November_2009 wikiPageWikiLink Amir_Pnueli.
- Dov_Dori wikiPageWikiLink Amir_Pnueli.
- Dynamic_logic_(modal_logic) wikiPageWikiLink Amir_Pnueli.
- I-Logix wikiPageWikiLink Amir_Pnueli.
- Israel_Academy_of_Sciences_and_Humanities wikiPageWikiLink Amir_Pnueli.
- Lee_Segel wikiPageWikiLink Amir_Pnueli.
- Linear_temporal_logic wikiPageWikiLink Amir_Pnueli.
- List_of_Israel_Prize_recipients wikiPageWikiLink Amir_Pnueli.
- List_of_Israeli_Ashkenazi_Jews wikiPageWikiLink Amir_Pnueli.
- List_of_Israeli_inventions_and_discoveries wikiPageWikiLink Amir_Pnueli.
- List_of_Israelis wikiPageWikiLink Amir_Pnueli.
- List_of_NYU_Courant_Institute_people wikiPageWikiLink Amir_Pnueli.
- List_of_Stanford_University_people wikiPageWikiLink Amir_Pnueli.
- List_of_Turing_Award_laureates_by_university_affiliation wikiPageWikiLink Amir_Pnueli.
- List_of_computer_scientists wikiPageWikiLink Amir_Pnueli.
- List_of_people_by_Erdős_number wikiPageWikiLink Amir_Pnueli.
- McCarthy_91_function wikiPageWikiLink Amir_Pnueli.
- Modal_logic wikiPageWikiLink Amir_Pnueli.
- Model_checking wikiPageWikiLink Amir_Pnueli.
- Nahalal wikiPageWikiLink Amir_Pnueli.
- Pnueli wikiPageWikiLink Amir_Pnueli.
- Shmuel_Safra wikiPageWikiLink Amir_Pnueli.
- Stanford_University_Computer_Science wikiPageWikiLink Amir_Pnueli.
- Summer_School_Marktoberdorf wikiPageWikiLink Amir_Pnueli.
- TLA+ wikiPageWikiLink Amir_Pnueli.
- Temporal_logic wikiPageWikiLink Amir_Pnueli.
- Temporal_logic_in_finite-state_verification wikiPageWikiLink Amir_Pnueli.
- Turing_Award wikiPageWikiLink Amir_Pnueli.
- Weizmann_Institute_of_Science wikiPageWikiLink Amir_Pnueli.
- Zohar_Manna wikiPageWikiLink Amir_Pnueli.
- Shmuel_Safra doctoralAdvisor Amir_Pnueli.
- I-Logix founder Amir_Pnueli.
- AmirFanueli isCitedBy Amir_Pnueli.
- NimukeiAshoftimPnueli.htm isCitedBy Amir_Pnueli.
- amirpnueli.html isCitedBy Amir_Pnueli.
- 221600484 isCitedBy Amir_Pnueli.
- 15pnueli.html isCitedBy Amir_Pnueli.
- Amir_Pnueli primaryTopic Amir_Pnueli.