This HTML5 document contains 137 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
n31http://isni.org/isni/
n32http://www.idref.fr/110460227/
n39http://id.ndl.go.jp/auth/ndlna/
dbrhttp://dbpedia.org/resource/
n8http://fr.dbpedia.org/resource/Modèle:
n25http://www.ontologydesignpatterns.org/ont/dul/DUL.owl#
n15http://viaf.org/viaf/
schemahttp://schema.org/
dbpedia-frhttp://fr.dbpedia.org/resource/
n27http://www.spinroot.com/pico/
n23https://www.goodreads.com/author/show/
dcthttp://purl.org/dc/terms/
rdfshttp://www.w3.org/2000/01/rdf-schema#
dbpedia-cshttp://cs.dbpedia.org/resource/
n18http://g.co/kg/m/
n24https://d-nb.info/gnd/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
n14http://openlibrary.org/works/
n20https://www.cin.ufpe.br/~acm/esd/intranet/
n33https://id.loc.gov/authorities/names/
n42https://scholar.google.com/
xsdhhttp://www.w3.org/2001/XMLSchema#
n40https://dl.acm.org/
dbpedia-ukhttp://uk.dbpedia.org/resource/
n6https://usesthis.com/interviews/gerard.holzmann/
prop-frhttp://fr.dbpedia.org/property/
n36http://catalogo.share-cat.unina.it/sharecat/
n38https://www.computer.org/volunteering/awards/
dbohttp://dbpedia.org/ontology/
n30http://data.bnf.fr/ark:/12148/cb13475368c#
dbpedia-dehttp://de.dbpedia.org/resource/
n10http://fr.dbpedia.org/resource/The_Power_of_10:
wikidatahttp://www.wikidata.org/entity/
n37http://mg.dbpedia.org/resource/
provhttp://www.w3.org/ns/prov#
foafhttp://xmlns.com/foaf/0.1/
wikipedia-frhttp://fr.wikipedia.org/wiki/
n41https://livedata.bibsys.no/authority/
n26http://spinroot.com/gerard/
n29https://dblp.org/pid/h/
n28http://arz.dbpedia.org/resource/
n35https://data.bibliotheken.nl/doc/thes/
category-frhttp://fr.dbpedia.org/resource/Catégorie:
owlhttp://www.w3.org/2002/07/owl#

Statements

Subject Item
dbpedia-fr:Gerard_J._Holzmann
rdf:type
dbo:Species wikidata:Q5 foaf:Person wikidata:Q729 n25:NaturalPerson dbo:Animal wikidata:Q19088 owl:Thing wikidata:Q215627 dbo:Person dbo:Eukaryote schema:Person
rdfs:label
جيرارد جيه هولزمان Gerard J. Holzmann Gerard J. Holzmann Gerard Holzmann
rdfs:comment
Gerard J. Holzmann (né à Amsterdam, le 12 novembre 1951) est un informaticien américano-néerlandais ; chercheur aux Laboratoires Bell et à la NASA, il est surtout connu comme le développeur du vérificateur de modèles SPIN.
rdfs:seeAlso
n23:642560 n31:0000_0001_0865_2511 n36:searchNames?n_cluster_id=600911 n40:author_page.cfm?id=99659155415 n42:citations?user=thNT9QYAAAAJ
owl:sameAs
wikidata:Q4588721 dbr:Gerard_J._Holzmann n14:OL585484A n15:5080653 dbpedia-uk:Джерард_Гольцманн n18:0835zb dbpedia-de:Gerard_Holzmann n24:135594944 n28:جيرارد_جيه_هولزمان n29:GerardJHolzmann n30:about n32:id n33:n88074098 dbpedia-cs:Gerard_J._Holzmann n35:p068388705 n37:Gerard_Holzmann n39:00513966 n41:90378158
dbo:birthPlace
dbpedia-fr:Amsterdam
dbo:birthDate
1951-11-12
dbo:wikiPageID
13596019
dbo:wikiPageRevisionID
190923055
dbo:wikiPageWikiLink
dbpedia-fr:Laboratoires_Bell n10:_Rules_for_Developing_Safety-Critical_Code dbpedia-fr:Amsterdam dbpedia-fr:Association_for_Computing_Machinery category-fr:Personnalité_de_la_NASA dbpedia-fr:SPIN_model_checker dbpedia-fr:National_Aeronautics_and_Space_Administration dbpedia-fr:Addison-Wesley dbpedia-fr:Fellow dbpedia-fr:Électrotechnique dbpedia-fr:Unix category-fr:Personnalité_en_méthodes_formelles dbpedia-fr:Ingénieur dbpedia-fr:Programme_Fulbright dbpedia-fr:Chercheur_postdoctoral dbpedia-fr:Académie_nationale_d'ingénierie_des_États-Unis dbpedia-fr:Informaticien dbpedia-fr:Université_de_Californie_du_Sud dbpedia-fr:Pasadena dbpedia-fr:Jet_Propulsion_Laboratory category-fr:Personnalité_américaine_en_informatique dbpedia-fr:Californie category-fr:Étudiant_de_l'université_de_technologie_de_Delft dbpedia-fr:Prix_Paris-Kanellakis dbpedia-fr:Doctorat category-fr:Personnalité_néerlandaise_en_informatique dbpedia-fr:Prentice_Hall dbpedia-fr:Université_de_technologie_de_Delft category-fr:Naissance_en_novembre_1951 dbpedia-fr:Prix_ACM_Software_System dbpedia-fr:Vérification_de_modèles category-fr:Scientifique_des_laboratoires_Bell
dbo:wikiPageExternalLink
n6: n26:hist.html n26: n26:popd.html n20:spinPrimer.pdf n27: n38:mills
dbo:wikiPageLength
5569
dct:subject
category-fr:Naissance_en_novembre_1951 category-fr:Personnalité_en_méthodes_formelles category-fr:Scientifique_des_laboratoires_Bell category-fr:Personnalité_néerlandaise_en_informatique category-fr:Étudiant_de_l'université_de_technologie_de_Delft category-fr:Personnalité_de_la_NASA category-fr:Personnalité_américaine_en_informatique
prop-fr:wikiPageUsesTemplate
n8:Références n8:Infobox_Biographie2 n8:Lien n8:Autorité n8:Bases n8:Ouvrage n8:Date_de_naissance n8:Palette n8:Dictionnaires n8:Portail
prov:wasDerivedFrom
wikipedia-fr:Gerard_J._Holzmann?oldid=190923055&ns=0
prop-fr:année
1995 1991 1988 2004
prop-fr:auteur
avec Björn Pehrson
prop-fr:isbn
0 978
prop-fr:lireEnLigne
n20:spinPrimer.pdf n27: n26:popd.html n26:hist.html
prop-fr:pagesTotales
xi + 291 xii + 598
prop-fr:titre
The Early History of Data Networks The SPIN Model Checker: Primer and Reference Manual Beyond Photography — The Digital Darkroom Design and Validation of Computer Protocols
prop-fr:éditeur
dbpedia-fr:Addison-Wesley IEEE Prentice_Hall dbpedia-fr:Prentice_Hall
foaf:isPrimaryTopicOf
wikipedia-fr:Gerard_J._Holzmann
dbo:employer
dbpedia-fr:Laboratoires_Bell dbpedia-fr:Jet_Propulsion_Laboratory
dbo:abstract
Gerard J. Holzmann (né à Amsterdam, le 12 novembre 1951) est un informaticien américano-néerlandais ; chercheur aux Laboratoires Bell et à la NASA, il est surtout connu comme le développeur du vérificateur de modèles SPIN.
dbo:citizenship
dbpedia-fr:Pays-Bas
dbo:award
wikidata:Q16930405 dbpedia-fr:Prix_Paris-Kanellakis wikidata:Q18748039 dbpedia-fr:Prix_ACM_Software_System
dbo:occupation
dbpedia-fr:Ingénieur dbpedia-fr:Informaticien
dbo:discipline
dbpedia-fr:Vérification_de_modèles
dbo:almaMater
dbpedia-fr:Université_de_technologie_de_Delft
dbo:doctoralAdvisor
wikidata:Q3189981