. . "Pierre"@fr . . . . . . . . "Pierre Wolper, n\u00E9 le 21 septembre 1955 \u00E0 Li\u00E8ge, est un informaticien belge. Il devient le 62e recteur de l'universit\u00E9 de Li\u00E8ge (ULi\u00E8ge) le 23 octobre 2018."@fr . . . "Introduction \u00E0 la calculabilit\u00E9"@fr . . "Bernard Boigelot"@fr . "Pierre Wolper"@fr . "Pierre Wolper, n\u00E9 le 21 septembre 1955 \u00E0 Li\u00E8ge, est un informaticien belge. Il devient le 62e recteur de l'universit\u00E9 de Li\u00E8ge (ULi\u00E8ge) le 23 octobre 2018."@fr . "Bell Laboratories"@fr . . . . . "1955"^^ . . . . "Proceedings of the Sixth Symposium on Logic in Computer Science"@fr . . . . . . . . "890"^^ . . . . . "Pierre Wolper"@fr . . . "6731"^^ . . "Pierre Wolper"@de . . . . "1955-09-21"^^ . . . "Vardi"@fr . . . "directeur de l'Institut Montefiore"@fr . . . "224"^^ . . . "Paris"@fr . "1"^^ . . . . "Ph. D. \u00E0 l'universit\u00E9 Stanford"@fr . . "6867655"^^ . . "An Automata-Theoretic Approach to Automatic Program Verification"@fr . . . . . "belge"@fr . "2006"^^ . "informatique"@fr . "115"^^ . . . . . "1994"^^ . "10.1006"^^ . "30"^^ . "1991"^^ . "2"^^ . . . "1986"^^ . "Proceedings of the First Symposium on Logic in Computer Science"@fr . . . . . . . . . . "Logic in Computer Science"@fr . . "cours et exercices corrig\u00E9s"@fr . "Moshe Y."@fr . . . . "406"^^ . . . . . . "Cambridge"@fr . . . "Prix Paris Kanellakis"@fr . . . . . . . "Amsterdam"@fr . "Pierre Wolper"@fr . "fr"@fr . "Patrice"@fr . . . "2011-08-25"^^ . "186123309"^^ . "p856"@fr . . "LICS Test-of-Time Award ( et )"@fr . "A partial approach to model checking"@fr . . "Reasoning about infinite computations"@fr . . . "logique temporelle, model checking, th\u00E9orie des automates, bases de donn\u00E9es temporelles"@fr . . "322"^^ . . . . . . . . . . . . . "ing\u00E9nieur en \u00E9lectricit\u00E9 \u00E0 l'universit\u00E9 de Li\u00E8ge"@fr . . . "Wolper"@fr . "Information and Computation"@fr . "Boston, MA"@fr . "1"^^ . "professeur \u00E0 l'universit\u00E9 de Li\u00E8ge"@fr . . "Moshe"@fr . . . . . . . . . . . . . "IEEE Symposium on Logic in Computer Science"@fr . . "prix G\u00F6del"@fr . ""@fr . . "Godefroid"@fr . . . "1955-09-21"^^ .