Pnueli, Amir, 1941-2009

URI(s)

• http://id.loc.gov/authorities/names/n85817647

Variants

• Pnueli, A.
• Pnueli, A. (Amir), 1941-2009

Additional Information

• http://id.loc.gov/rwo/agents/n85817647

• Birth Date

  1941-04-22

• Death Date

  2009-11-02

• Occupation

  Computer scientist

Exact Matching Concepts from Other Schemes

• http://viaf.org/viaf/sourceID/LC%7Cn++85817647#skos:Concept

Closely Matching Concepts from Other Schemes

• Amir Pnueli Label from public data source Wikidata
• Pnueli, Amir

Earlier Established Forms

• Pnueli, A.

Sources

• found: nuc85-59818: Prywes, N.S. Compilation of nonprocedural specifications ... 1981(hdg. on IaU rept.: Pnueli, A.; usage: A. Pnueli)
• found: Temporal logic in specification, c1989:CIP t.p. (A. Pnueli) t.p. verso (Amir Pnueli; Dept. of Computer Sci., Weizmann Inst. of Sci., Rehovot, Israel)
• found: COMPOS '97 (1997 : Malente, Germany). Compositionality,c1998:CIP t.p. (Amir Pnueli) data sheet (b. 04/22/41)
• found: Wikipedia WWW site, Nov. 4, 2009(Amir Pnueli; b. Apr. 22, 1941, Nahalal; d. Nov. 2, 2009, New York; Israeli computer scientist)

Instance Of

• MADS/RDF PersonalName
• MADS/RDF Authority
• SKOS Concept

Scheme Membership(s)

• Library of Congress Name Authority File

Collection Membership(s)

• Names Collection - Authorized Headings
• LC Names Collection - General Collection

Change Notes

• 1985-09-27: new
• 2014-06-05: revised

Alternate Formats

• RDF/XML (MADS and SKOS)
• N-Triples (MADS and SKOS)
• JSON (MADS/RDF and SKOS/RDF)
• MADS - RDF/XML
• MADS - N-Triples
• MADS/RDF - JSON
• SKOS - RDF/XML
• SKOS - N-Triples
• SKOS - JSON
• MADS/XML
• MARC/XML