Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Pierre_Wolper> ?p ?o. }
Showing items 1 to 56 of
56
with 100 items per page.
- Pierre_Wolper abstract "Pierre Wolper is a Belgian computer scientist at the University of Liège. His research interests include verification methods for reactive and concurrent programs, as well as temporal databases. He is the co-recipient of the 2000 Gödel Prize, along with Moshe Y. Vardi, for his work on temporal logic with finite automata.".
- Pierre_Wolper wikiPageExternalLink ~pw.
- Pierre_Wolper wikiPageID "34330400".
- Pierre_Wolper wikiPageRevisionID "546142483".
- Pierre_Wolper hasPhotoCollection Pierre_Wolper.
- Pierre_Wolper name "Wolper, Pierre".
- Pierre_Wolper shortDescription "Computer scientist".
- Pierre_Wolper description "Computer scientist".
- Pierre_Wolper description "Computer scientist".
- Pierre_Wolper subject Category:Belgian_computer_scientists.
- Pierre_Wolper subject Category:Living_people.
- Pierre_Wolper subject Category:Stanford_University_alumni.
- Pierre_Wolper subject Category:Year_of_birth_missing_(living_people).
- Pierre_Wolper type Alumnus109786338.
- Pierre_Wolper type BelgianComputerScientists.
- Pierre_Wolper type CausalAgent100007347.
- Pierre_Wolper type ComputerScientist109951070.
- Pierre_Wolper type ComputerUser109951274.
- Pierre_Wolper type Intellectual109621545.
- Pierre_Wolper type LivingPeople.
- Pierre_Wolper type LivingThing100004258.
- Pierre_Wolper type Object100002684.
- Pierre_Wolper type Organism100004475.
- Pierre_Wolper type Person100007846.
- Pierre_Wolper type PhysicalEntity100001930.
- Pierre_Wolper type Scholar110557854.
- Pierre_Wolper type Scientist110560637.
- Pierre_Wolper type StanfordUniversityAlumni.
- Pierre_Wolper type Whole100003553.
- Pierre_Wolper type YagoLegalActor.
- Pierre_Wolper type YagoLegalActorGeo.
- Pierre_Wolper type Agent.
- Pierre_Wolper type Person.
- Pierre_Wolper type Person.
- Pierre_Wolper type Q215627.
- Pierre_Wolper type Q5.
- Pierre_Wolper type Agent.
- Pierre_Wolper type NaturalPerson.
- Pierre_Wolper type Thing.
- Pierre_Wolper type Person.
- Pierre_Wolper comment "Pierre Wolper is a Belgian computer scientist at the University of Liège. His research interests include verification methods for reactive and concurrent programs, as well as temporal databases. He is the co-recipient of the 2000 Gödel Prize, along with Moshe Y. Vardi, for his work on temporal logic with finite automata.".
- Pierre_Wolper label "Pierre Wolper".
- Pierre_Wolper label "Pierre Wolper".
- Pierre_Wolper label "Pierre Wolper".
- Pierre_Wolper sameAs Pierre_Wolper.
- Pierre_Wolper sameAs Pierre_Wolper.
- Pierre_Wolper sameAs m.0hzmqnp.
- Pierre_Wolper sameAs Q3387366.
- Pierre_Wolper sameAs Q3387366.
- Pierre_Wolper sameAs Pierre_Wolper.
- Pierre_Wolper wasDerivedFrom Pierre_Wolper?oldid=546142483.
- Pierre_Wolper givenName "Pierre".
- Pierre_Wolper isPrimaryTopicOf Pierre_Wolper.
- Pierre_Wolper name "Pierre Wolper".
- Pierre_Wolper name "Wolper, Pierre".
- Pierre_Wolper surname "Wolper".