a person in the record
Bernard Boigelot
Supervised 6 doctoral students at Université de Liège - ULiège and Université de Liège; doctorate at Université de Liège - ULiège in 1998 under Pierre Wolper. Linked to ORCID and OpenAlex.
How to read the markscited by a repository's recordstated by Wikidata or indexed by OpenAlexclaimed on an ORCID list, or inferred
Advisors1
- cited by a thesis record
Pierre Wolper“Symbolic Methods for Exploring Infinite State Spaces”
1998 · Université de Liège - ULiège · doctoral
Students6
- cited by a thesis record
Baptiste Vergain“On Theories Mixing Arithmetic and Uninterpreted Predicates”
2026 · Université de Liège - ULiège · doctoral - cited by a thesis record
Isabelle Mainz“Symbolic Representation of Convex Polyhedra in High-Dimensional Spaces”
2020 · Université de Liège - ULiège · doctoral - cited by a thesis record
Stéphane Lens“Efficient and Precise Trajectory Planning for Nonholonomic Mobile Robots”
2015 · Université de Liège · doctoral - cited by a thesis record2013 · Université de Liège - ULiège · doctoral
- cited by a thesis record
Gérard Dethier“Design and Implementation of a Distributed Lattice Boltzmann-based Fluid Flow Simulation Tool”
2011 · 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
The line above and below1 step
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
cited by a thesis recordPierre Wolper
Below them, within 3 steps, the record reaches 6 people: 6 cited by thesis records.
Theses1
- cited by a thesis record
Symbolic Methods for Exploring Infinite State Spaces
1998 · Université de Liège - ULiège · doctoral · Dép. d'électric., électron. et informat. (Inst.Montefiore), Informatique · in English · the thesis's own page ›
Works1
1998 · held from 1 repository · a work missing?
- cited by ORBi Liege's record
Symbolic Methods for Exploring Infinite State Spaces
1998 · doctoral thesis · ORBi Liege
What their ORCID record lists
The works their own ORCID record lists, as they claim them: shown apart from the record's works, never checked or counted with them.
ORCID is asked for the list when this part is opened.
Sat beside the lineage19
committee member, not advisor
- cited by a thesis recordcommittee member · 2026 · Université de Liège - ULiège · doctoral
- cited by a thesis recordcommittee member · 2026 · Université de Liège - ULiège · doctoral
- cited by a thesis record
Sébastien Pierard“Probabilistic Theory of Performances, Rankings, and Domains, for the Evaluation, Comparison, and Adaptation of Methods”
committee member · 2026 · Université de Liège - ULiège · doctoral - cited by a thesis record
Michaël Fonder“Reliable monocular depth estimation for unmanned aerial vehicles”
committee member · 2023 · Université de Liège - ULiège · doctoral - cited by a thesis record
Benjamin Laugraud“Motion-aware temporal median filtering for robust background estimation”
committee member · 2020 · Université de Liège - ULiège · doctoral - cited by a thesis record
Arthur Lismonde“Geometric modeling and inverse dynamics of flexible manipulators”
committee member · 2020 · Université de Liège - ULiège · doctoral - cited by a thesis record
François Van Lishout“An efficient and flexible software tool for genome-wide association interaction studies”
committee member · 2016 · Université de Liège · doctoral - cited by a thesis record
Gilles Louppe“Understanding Random Forests: From Theory to Practice”
committee member · 2014 · Université de Liège - ULiège · doctoral - cited by a thesis record
Samuel Hiard“Trimming the complexity of Ranking by Pairwise Comparison”
committee member · 2013 · Université de Liège - ULiège · doctoral - cited by a thesis record
Alexander Linden“On the Verification of Programs on Relaxed Memory Models”
committee member · 2013 · Université de Liège - ULiège · doctoral - cited by a thesis recordcommittee member · 2013 · Université de Liège - ULiège · doctoral
- cited by a thesis record
Vincent Pierlot“Design, performance analysis, and implementation of a positioning system for autonomous mobile robots”
committee member · 2013 · Université de Liège - ULiège · doctoral - cited by a thesis record
François Cantin“Improving Overlay Routing scalability using an Internet Coordinate System”
committee member · 2012 · Université de Liège - ULiège · doctoral - cited by a thesis record
Laurent Poirrier“Multi-row approaches to cutting plane generation”
committee member · 2012 · Université de Liège - ULiège · doctoral - cited by a thesis record
Emilie Charlier“Abstract Numeration Systems : Recognizability, Decidability, Multidimensional S-Automatic Words, and Real Numbers”
committee member · 2009 · Université de Liège - ULiège · doctoral - cited by a thesis recordcommittee member · 2008 · Université de Liège - ULiège · doctoral
- cited by a thesis record
Axel Legay“Generic Techniques for the verification of infinite-state systems”
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
Raphaël Marée“Classification automatique d'images par arbres de d́ecision”
committee member · 2005 · Université de Liège - ULiège · doctoral