About: http://fr.dbpedia.org/resource/Orna

Property	Value
dbo:abstract	Orna Kupferman est une informaticienne israélienne. Elle est professeur d'informatique à l'université hébraïque de Jérusalem. (fr) Orna Kupferman est une informaticienne israélienne. Elle est professeur d'informatique à l'université hébraïque de Jérusalem. (fr)
dbo:almaMater	dbpedia-fr:Technion dbpedia-fr:Université_de_Californie_à_Berkeley
dbo:award	wikidata:Q6976776
dbo:birthPlace	dbpedia-fr:Holon
dbo:citizenship	dbpedia-fr:Israël
dbo:discipline	dbpedia-fr:Informatique
dbo:doctoralAdvisor	wikidata:Q15995111
dbo:doctoralStudent	wikidata:Q102362686 wikidata:Q103133210
dbo:employer	dbpedia-fr:Laboratoires_Bell dbpedia-fr:Université_hébraïque_de_Jérusalem
dbo:occupation	dbpedia-fr:Informaticien wikidata:Q1622272
dbo:spouse	wikidata:Q104655635
dbo:thumbnail	wiki-commons:Special:FilePath/Orna_Kupferman.jpg?width=300
dbo:wikiPageExternalLink	https://repository.upenn.edu/cis_reports/102 https://drops.dagstuhl.de/opus/volltexte/2020/12717, http://www.cs.huji.ac.il/~ornak/
dbo:wikiPageID	13572345 (xsd:integer)
dbo:wikiPageLength	6958 (xsd:nonNegativeInteger)
dbo:wikiPageRevisionID	184011912 (xsd:integer)
dbo:wikiPageWikiLink	category-fr:Femme_scientifique_du_XXIe_siècle category-fr:Femme_scientifique_du_XXe_siècle category-fr:Membre_de_l'Academia_Europaea dbpedia-fr:ACM_Transactions_on_Computational_Logic dbpedia-fr:Academia_Europaea category-fr:Personnalité_en_informatique_théorique category-fr:Professeur_à_l'université_hébraïque_de_Jérusalem category-fr:Étudiant_du_Technion dbpedia-fr:Conseil_européen_de_la_recherche dbpedia-fr:Doctorat dbpedia-fr:Informaticien dbpedia-fr:Institut_Weizmann dbpedia-fr:Israël dbpedia-fr:Laboratoires_Bell dbpedia-fr:Technion dbpedia-fr:Thomas_Henzinger dbpedia-fr:Université_de_Californie_à_Berkeley dbpedia-fr:Université_hébraïque_de_Jérusalem dbpedia-fr:Vérification_formelle
prop-fr:almaMater	dbpedia-fr:Technion
prop-fr:année	2020 (xsd:integer)
prop-fr:auteur	Orna Kupferman (fr) Ismaël Jecker (fr) Nicolas Mazzocchi (fr) Orna Kupferman (fr) Ismaël Jecker (fr) Nicolas Mazzocchi (fr)
prop-fr:auteurOuvrage	Javier Esparza et Daniel Kràl, (fr) Javier Esparza et Daniel Kràl, (fr)
prop-fr:collection	Leibniz International Proceedings in Informatics , (fr) Leibniz International Proceedings in Informatics , (fr)
prop-fr:date	2001 (xsd:integer) September 2012 (fr) March 2000 (fr) May 1999 (fr)
prop-fr:doi	10.100700 (xsd:double) 10.101600 (xsd:double) 10.102300 (xsd:double) 10.114500 (xsd:double) 10.423000 (xsd:double)
prop-fr:fr	Orna Grumberg (fr) Orna Grumberg (fr)
prop-fr:isbn	978 (xsd:integer)
prop-fr:issn	925 (xsd:integer) 1868 (xsd:integer)
prop-fr:journal	Theoretical Computer Science (fr) Journal of the ACM (fr) Lecture Notes in Computer Science (fr) Formal Methods in System Design (fr) Theoretical Computer Science (fr) Journal of the ACM (fr) Lecture Notes in Computer Science (fr) Formal Methods in System Design (fr)
prop-fr:name	Orna Kupferman (fr) Orna Kupferman (fr)
prop-fr:nom	Kupferman (fr) Avni (fr) Henzinger (fr) Y. Vardi (fr) Kupferman (fr) Avni (fr) Henzinger (fr) Y. Vardi (fr)
prop-fr:numéro	2 (xsd:integer) 3 (xsd:integer) 5 (xsd:integer)
prop-fr:numéroDansCollection	170 (xsd:integer)
prop-fr:pages	23 (xsd:integer) 42 (xsd:integer) 291 (xsd:integer) 312 (xsd:integer) 672 (xsd:integer)
prop-fr:passage	51 (xsd:integer)
prop-fr:prénom	Thomas A. (fr) Guy (fr) Moshe (fr) Orna (fr) Thomas A. (fr) Guy (fr) Moshe (fr) Orna (fr)
prop-fr:s2cid	909779 (xsd:integer) 1216035 (xsd:integer) 15984608 (xsd:integer)
prop-fr:texte	Orna Grumberg (fr) Orna Grumberg (fr)
prop-fr:titre	Alternating-time Temporal Logic (fr) Alternating-time temporal logic (fr) Dynamic resource allocation games (fr) Model Checking of Safety Properties (fr) Unary Prime Languages (fr) An automata-theoretic approach to branching-time model checking (fr) Alternating-time Temporal Logic (fr) Alternating-time temporal logic (fr) Dynamic resource allocation games (fr) Model Checking of Safety Properties (fr) Unary Prime Languages (fr) An automata-theoretic approach to branching-time model checking (fr)
prop-fr:titreOuvrage	45 (xsd:integer)
prop-fr:trad	Orna Grumberg (fr) Orna Grumberg (fr)
prop-fr:url	https://repository.upenn.edu/cis_reports/102 https://drops.dagstuhl.de/opus/volltexte/2020/12717,
prop-fr:volume	19 (xsd:integer) 47 (xsd:integer) 49 (xsd:integer) 807 (xsd:integer) 1536 (xsd:integer)
prop-fr:website	http://www.cs.huji.ac.il/~ornak/
prop-fr:wikiPageUsesTemplate	dbpedia-fr:Modèle:, dbpedia-fr:Modèle:Article dbpedia-fr:Modèle:Autorité dbpedia-fr:Modèle:Chapitre dbpedia-fr:Modèle:Citation_étrangère dbpedia-fr:Modèle:Infobox_Biographie2 dbpedia-fr:Modèle:Lien dbpedia-fr:Modèle:Portail dbpedia-fr:Modèle:Références
prop-fr:wikidata	Q16130473 (fr) Q16130473 (fr)
prop-fr:workplaces	dbpedia-fr:Université_hébraïque_de_Jérusalem University of California, Berkeley (fr) Bell Labs (fr)
prop-fr:éditeur	{Schloss Dagstuhl-Leibniz-Zentrum für Informatik}, (fr) {Schloss Dagstuhl-Leibniz-Zentrum für Informatik}, (fr)
dct:subject	category-fr:Femme_scientifique_du_XXIe_siècle category-fr:Femme_scientifique_du_XXe_siècle category-fr:Membre_de_l'Academia_Europaea category-fr:Personnalité_en_informatique_théorique category-fr:Professeur_à_l'université_hébraïque_de_Jérusalem category-fr:Étudiant_du_Technion
rdf:type	owl:Thing foaf:Person dbo:Person schema:Person wikidata:Q19088 wikidata:Q215627 wikidata:Q5 wikidata:Q729 dul:NaturalPerson dbo:Animal dbo:Eukaryote dbo:Species
rdfs:comment	Orna Kupferman est une informaticienne israélienne. Elle est professeur d'informatique à l'université hébraïque de Jérusalem. (fr) Orna Kupferman est une informaticienne israélienne. Elle est professeur d'informatique à l'université hébraïque de Jérusalem. (fr)
rdfs:label	Orna Kupferman (fr) Orna Kupferman (fr)
rdfs:seeAlso	https://zbmath.org/authors/?q=ai:kupferman.orna http://genealogy.math.ndsu.nodak.edu/id.php?id=102936 https://scholar.google.com/citations?user=5o111aIAAAAJ http://www.academia-net.de/profil/1154125
owl:sameAs	dbr:Orna_Kupferman wikidata:Q16130473 dbpedia-he:אורנה_קופרמן https://dblp.org/pid/k/OrnaKupferman http://viaf.org/viaf/88150565716906251973 http://g.co/kg/m/09lld5x
prov:wasDerivedFrom	wikipedia-fr:Orna_Kupferman?oldid=184011912&ns=0
foaf:depiction	wiki-commons:Special:FilePath/Orna_Kupferman.jpg
foaf:homepage	http://www.cs.huji.ac.il/~ornak/
foaf:isPrimaryTopicOf	wikipedia-fr:Orna_Kupferman
is dbo:editor of	dbpedia-fr:ACM_Transactions_on_Computational_Logic dbpedia-fr:Logical_Methods_in_Computer_Science
is dbo:wikiPageWikiLink of	dbpedia-fr:ACM_Transactions_on_Computational_Logic dbpedia-fr:Automate_fini_alternant dbpedia-fr:École_d'été_de_Marktoberdorf
is prop-fr:auteur of	dbpedia-fr:Automate_fini_alternant
is oa:hasTarget of	tag-fr:WdtFrResource
is foaf:primaryTopic of	wikipedia-fr:Orna_Kupferman

About: http://fr.dbpedia.org/resource/Orna_Kupferman