a person in the record
Pierre Wolper
Computer scientistborn 1955
Supervised 4 doctoral students at Université de Liège - ULiège; Wikidata names Zohar Manna as doctoral advisor and lists 3 doctoral students. Linked to Wikidata, ORCID, and 8 other registers.
How to read the markscited by a repository's recordstated by Wikidata or indexed by OpenAlexclaimed on an ORCID list, or inferred
Students4
- cited by a thesis record
Alexander Linden“On the Verification of Programs on Relaxed Memory Models”
2013 · Université de Liège - ULiège · doctoral - cited by a thesis record
Axel Legay“Generic Techniques for the verification of infinite-state systems”
2007 · Université de Liège - ULiège · doctoral - cited by a thesis record
Louis Latour“Presburger Arithmetic: From Automata to Formulas”
2005 · Université de Liège - ULiège · doctoral - cited by a thesis record
Bernard Boigelot“Symbolic Methods for Exploring Infinite State Spaces”
1998 · Université de Liège - ULiège · doctoral
Advisors on Wikidata1
From Wikidata, shown separately from the thesis records.
- stated by Wikidata
Students on Wikidata3
From Wikidata, shown separately from the thesis records.
- stated by Wikidata
- stated by Wikidata
- stated by Wikidata
The line above and below4 steps
The advisors of their advisors, four steps up at most, in the thesis records and on Wikidata, each kind marked; a person in both is listed once.
- 1 step up
stated by WikidataZohar Manna
- 2 steps up
stated by WikidataAlan Perlisstated by WikidataRobert W. Floyd
- 3 steps up
stated by WikidataPhilip Franklin
- 4 steps up
stated by WikidataOswald Veblen
Below them, within 3 steps, the record reaches 12 people: 9 cited by thesis records, 3 stated by Wikidata.
Education and career5
From Wikidata, shown separately from the thesis records. Each place opens its Wikidata item.
- 1978 to 1982studied
- until 1978studied
- 1982 to 1986worked
- 2001 to 2009worked
- undatedworked
Sat beside the lineage8
committee member, not advisor
- cited by a thesis record
Isabelle Mainz“Symbolic Representation of Convex Polyhedra in High-Dimensional Spaces”
committee member · 2020 · Université de Liège - ULiège · doctoral - cited by a thesis record
Jean-Paul Kasprzyk“Intégration de la continuité spatiale dans la structure multidimensionnelle d’un entrepôt de données - SOLAP raster”
committee member · 2015 · Université de Liège · doctoral - cited by a thesis recordcommittee member · 2013 · Université de Liège - ULiège · doctoral
- cited by a thesis record
Sandrine Calomme“Topologically-aware Construction of Unstructured Overlays over Ad Hoc Networks”
committee member · 2009 · Université de Liège - ULiège · doctoral - cited by a thesis record
Simon Balon“Contributions to Traffic Engineering and Resilience in Computer Networks”
committee member · 2008 · Université de Liège - ULiège · doctoral - cited by a thesis record
Jean-Marc François“Performing and making use of mobility prediction”
committee member · 2007 · Université de Liège - ULiège · doctoral - cited by a thesis record
Sylvain Martin“WASP : Lightweight Programmable Ephemeral State on Routers to Support End-to-End Applications”
committee member · 2007 · Université de Liège - ULiège · doctoral - cited by a thesis record
Renaud Ronsse“Rhythmic Movements Control: Parallels between Human Behavior and Robotics”
committee member · 2007 · Université de Liège - ULiège · doctoral