About DBpedia Fr

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

An Entity of Type : person, from Named Graph : http://fr.dbpedia.org, within Data Space : fr.dbpedia.org

Pierre Wolper, né le 21 septembre 1955 à Liège, est un informaticien belge. Il devient le 62e recteur de l'université de Liège (ULiège) le 23 octobre 2018.

Property Value
dbo:abstract
  • Pierre Wolper, né le 21 septembre 1955 à Liège, est un informaticien belge. Il devient le 62e recteur de l'université de Liège (ULiège) le 23 octobre 2018. (fr)
  • Pierre Wolper, né le 21 septembre 1955 à Liège, est un informaticien belge. Il devient le 62e recteur de l'université de Liège (ULiège) le 23 octobre 2018. (fr)
dbo:almaMater
dbo:award
dbo:birthDate
  • 1955-09-21 (xsd:date)
dbo:birthPlace
dbo:birthYear
  • 1955-01-01 (xsd:gYear)
dbo:citizenship
dbo:doctoralAdvisor
dbo:doctoralStudent
dbo:employer
dbo:influencedBy
dbo:institution
dbo:knownFor
dbo:nationality
dbo:occupation
dbo:university
dbo:wikiPageExternalLink
dbo:wikiPageID
  • 6867655 (xsd:integer)
dbo:wikiPageLength
  • 6731 (xsd:nonNegativeInteger)
dbo:wikiPageRevisionID
  • 186123309 (xsd:integer)
dbo:wikiPageWikiLink
prop-fr:année
  • 1986 (xsd:integer)
  • 1991 (xsd:integer)
  • 1994 (xsd:integer)
  • 2006 (xsd:integer)
prop-fr:archivedate
  • 2011-08-25 (xsd:date)
prop-fr:archiveurl
prop-fr:champs
  • informatique (fr)
  • informatique (fr)
prop-fr:dateDeNaissance
  • 1955-09-21 (xsd:date)
prop-fr:diplôme
prop-fr:directeurThèse
prop-fr:doi
  • 10.100600 (xsd:double)
prop-fr:formation
  • ingénieur en électricité à l'université de Liège (fr)
  • Ph. D. à l'université Stanford (fr)
  • ingénieur en électricité à l'université de Liège (fr)
  • Ph. D. à l'université Stanford (fr)
prop-fr:fr
  • Logic in Computer Science (fr)
  • Logic in Computer Science (fr)
prop-fr:institutions
  • Bell Laboratories (fr)
  • directeur de l'Institut Montefiore (fr)
  • professeur à l'université de Liège (fr)
  • Bell Laboratories (fr)
  • directeur de l'Institut Montefiore (fr)
  • professeur à l'université de Liège (fr)
prop-fr:isbn
  • 2 (xsd:integer)
prop-fr:issn
  • 890 (xsd:integer)
prop-fr:journal
  • Information and Computation (fr)
  • Information and Computation (fr)
prop-fr:langue
  • fr (fr)
  • fr (fr)
prop-fr:lieu
  • Amsterdam (fr)
  • Cambridge (fr)
  • Paris (fr)
  • Boston, MA (fr)
  • Amsterdam (fr)
  • Cambridge (fr)
  • Paris (fr)
  • Boston, MA (fr)
prop-fr:nationalité
  • belge (fr)
  • belge (fr)
prop-fr:nom
  • Godefroid (fr)
  • Vardi (fr)
  • Pierre Wolper (fr)
  • Wolper (fr)
  • Godefroid (fr)
  • Vardi (fr)
  • Pierre Wolper (fr)
  • Wolper (fr)
prop-fr:numéro
  • 1 (xsd:integer)
prop-fr:pages
  • 1 (xsd:integer)
prop-fr:pagesTotales
  • 224 (xsd:integer)
prop-fr:passage
  • 322 (xsd:integer)
  • 406 (xsd:integer)
prop-fr:prix
  • LICS Test-of-Time Award ( et ) (fr)
  • Prix Paris Kanellakis (fr)
  • prix Gödel (fr)
  • LICS Test-of-Time Award ( et ) (fr)
  • Prix Paris Kanellakis (fr)
  • prix Gödel (fr)
prop-fr:prénom
  • Pierre (fr)
  • Patrice (fr)
  • Moshe (fr)
  • Moshe Y. (fr)
  • Pierre (fr)
  • Patrice (fr)
  • Moshe (fr)
  • Moshe Y. (fr)
prop-fr:renomméPour
  • logique temporelle, model checking, théorie des automates, bases de données temporelles (fr)
  • logique temporelle, model checking, théorie des automates, bases de données temporelles (fr)
prop-fr:site
  • p856 (fr)
  • p856 (fr)
prop-fr:sousTitre
  • cours et exercices corrigés (fr)
  • cours et exercices corrigés (fr)
prop-fr:taille
  • 30 (xsd:integer)
prop-fr:titre
  • Introduction à la calculabilité (fr)
  • Reasoning about infinite computations (fr)
  • Introduction à la calculabilité (fr)
  • Reasoning about infinite computations (fr)
prop-fr:titreChapitre
  • A partial approach to model checking (fr)
  • An Automata-Theoretic Approach to Automatic Program Verification (fr)
  • A partial approach to model checking (fr)
  • An Automata-Theoretic Approach to Automatic Program Verification (fr)
prop-fr:titreOuvrage
  • Proceedings of the Sixth Symposium on Logic in Computer Science (fr)
  • Proceedings of the First Symposium on Logic in Computer Science (fr)
  • Proceedings of the Sixth Symposium on Logic in Computer Science (fr)
  • Proceedings of the First Symposium on Logic in Computer Science (fr)
prop-fr:trad
  • IEEE Symposium on Logic in Computer Science (fr)
  • IEEE Symposium on Logic in Computer Science (fr)
prop-fr:url
prop-fr:volume
  • 115 (xsd:integer)
prop-fr:wikiPageUsesTemplate
prop-fr:éditeur
prop-fr:étudiantsThèse
  • Bernard Boigelot (fr)
  • Bernard Boigelot (fr)
dct:subject
rdf:type
rdfs:comment
  • Pierre Wolper, né le 21 septembre 1955 à Liège, est un informaticien belge. Il devient le 62e recteur de l'université de Liège (ULiège) le 23 octobre 2018. (fr)
  • Pierre Wolper, né le 21 septembre 1955 à Liège, est un informaticien belge. Il devient le 62e recteur de l'université de Liège (ULiège) le 23 octobre 2018. (fr)
rdfs:label
  • Pierre Wolper (fr)
  • Pierre Wolper (de)
  • Pierre Wolper (fr)
  • Pierre Wolper (de)
rdfs:seeAlso
owl:sameAs
prov:wasDerivedFrom
foaf:isPrimaryTopicOf
foaf:name
  • (fr)
  • Pierre Wolper (fr)
  • (fr)
  • Pierre Wolper (fr)
is dbo:doctoralStudent of
is dbo:rector of
is dbo:wikiPageWikiLink of
is prop-fr:auteur of
is prop-fr:recteur of
is oa:hasTarget of
is foaf:primaryTopic of
Powered by OpenLink Virtuoso    This material is Open Knowledge     W3C Semantic Web Technology     This material is Open Knowledge    Valid XHTML + RDFa
This content was extracted from Wikipedia and is licensed under the Creative Commons Attribution-ShareAlike 3.0 Unported License