Matches in DBpedia 2016-04 for { <http://wikidata.dbpedia.org/resource/Q3387366> ?p ?o }
Showing triples 1 to 37 of
37
with 100 triples per page.
- Q3387366 description "Computer scientist".
- Q3387366 description "Computer scientist".
- Q3387366 subject Q3919876.
- Q3387366 subject Q5312304.
- Q3387366 subject Q7006242.
- Q3387366 subject Q7030039.
- Q3387366 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. He also received the 2005 Paris Kanellakis Award for this work.".
- Q3387366 wikiPageExternalLink ~pw.
- Q3387366 wikiPageWikiLink Q1164390.
- Q3387366 wikiPageWikiLink Q1334582.
- Q3387366 wikiPageWikiLink Q1417143.
- Q3387366 wikiPageWikiLink Q1585964.
- Q3387366 wikiPageWikiLink Q176452.
- Q3387366 wikiPageWikiLink Q21198.
- Q3387366 wikiPageWikiLink Q31.
- Q3387366 wikiPageWikiLink Q3919876.
- Q3387366 wikiPageWikiLink Q5312304.
- Q3387366 wikiPageWikiLink Q7006242.
- Q3387366 wikiPageWikiLink Q7030039.
- Q3387366 wikiPageWikiLink Q781833.
- Q3387366 name "Wolper, Pierre".
- Q3387366 shortDescription "Computer scientist".
- Q3387366 type Person.
- Q3387366 type Agent.
- Q3387366 type Person.
- Q3387366 type Agent.
- Q3387366 type NaturalPerson.
- Q3387366 type Thing.
- Q3387366 type Q215627.
- Q3387366 type Q5.
- Q3387366 type Person.
- Q3387366 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. He also received the 2005 Paris Kanellakis Award for this work.".
- Q3387366 label "Pierre Wolper".
- Q3387366 givenName "Pierre".
- Q3387366 name "Pierre Wolper".
- Q3387366 name "Wolper, Pierre".
- Q3387366 surname "Wolper".