a person in the record
Xavier Urbain
Ph.D. Université Paris-Sud XI - Orsay 2001
Supervised 2 doctoral students at Université Claude Bernard - Lyon I and Université de Rennes; doctorate at Université Paris 11 in 2001 under Claude Marché; Wikidata names Jean-Pierre Jouannaud as doctoral advisor. Linked to Wikidata, ORCID, and 3 other registers.
How to read the markscited by a repository's recordstated by Wikidata or indexed by OpenAlexclaimed on an ORCID list, or inferred
Advisors1
The thesis record names Claude Marché; Wikidata names Jean-Pierre Jouannaud.
- cited by a thesis recordstated by Wikidata
Claude Marché“Approche incrémentale des preuves automatiques de terminaison”
2001 · Université Paris 11 · doctoral
Students2
- cited by a thesis record
Qi Qiu“Automated Termination Proving : contributions to Graph Rewriting via Extended Weighted Type Graphs and Morphism Counting”
2025 · Université Claude Bernard - Lyon I · doctoral - cited by a thesis record
Raghed Bejjani“Conception, construction and validation of scientific instruments to study the spectrum of cold ionic species”
2021 · Université de Rennes · doctoral
Advisors on Wikidata1
From Wikidata, shown separately from the thesis records.
- stated by Wikidata
The line above and below2 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
cited by a thesis recordstated by WikidataClaude Marchéstated by WikidataJean-Pierre Jouannaud
- 2 steps up
cited by a thesis recordJean-Pierre Jouannaud
Below them, within 3 steps, the record reaches 2 people: 2 cited by thesis records.
Theses1
- cited by a thesis record
Approche incrémentale des preuves automatiques de terminaison
2001 · Université Paris 11 · doctoral · in French · the thesis's own page ›also named on this thesis
- cited by a thesis recordClaude Marchéjury member
- cited by a thesis recordThomas Artsjury member
- cited by a thesis recordBernhard Gramlichreferee
- cited by a thesis recordJean-Pierre Jouannaudjury member
- cited by a thesis recordMarie-Christine Roussetjury president
- cited by a thesis recordMichaël Rusinowitchreferee
Education and career1
From Wikidata, shown separately from the thesis records. Each place opens its Wikidata item.
- undatedstudied
Works1
2001 · held from 1 repository · a work missing?
- cited by HAL/TEL OAI's record
Approche incrémentale des preuves automatiques de terminaison
2001 · doctoral thesis · HAL/TEL OAI
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 lineage13
referee, jury member, or jury president, not advisor
- cited by a thesis record
Clélia Bastelica“Focused ion beam with correlated electron feedback”
jury member · 2026 · Université Paris-Saclay · doctoral - cited by a thesis record
Tanguy Massacrier“Confluences cubiques et formalisation des catégories cubiques”
jury president · 2025 · Université Claude Bernard - Lyon I · doctoral - cited by a thesis record
Oussama Oulkaid“Modèles Formels des Circuits Intégrés pour la Vérification Électrique au Niveau Transistor”
jury president · 2025 · Université Claude Bernard - Lyon I · doctoral - cited by a thesis record
Mariane Youssef“Coherence of algebraic rewriting systems by decreasingness”
jury president · 2025 · Université Claude Bernard - Lyon I · doctoral - cited by a thesis record
Colin Lopez“Développement de sources haute-résolution de particules chargées grâce au contrôle de leur trajectoire par corrélation temps-position”
referee · 2021 · Université Paris-Saclay · doctoral - cited by a thesis record
Erwan Mahe“An operational semantics of interactions for verifying partially observed executions of distributed systems”
referee · 2021 · Université Paris-Saclay · doctoral - cited by a thesis record
Robin Pelle“Contribution à la modélisation formelle d'essaims de robots mobiles”
jury member · 2020 · Université Paris-Saclay · doctoral - cited by a thesis record
Tijani Id Barkach“Fragmentation des hydrocarbures CHy(+) (y=2-4) par collision. AGAT@ANDROMEDE.”
referee · 2019 · Université Paris Saclay (COmUE) · doctoral - cited by a thesis record
Thomas Louvradoux“Spectroscopie à haute résolution de H2+ : production et refroidissement sympathique d'ions piégés.”
referee · 2019 · Université Paris Cité · doctoral - cited by a thesis record
Nassim Benharrat“Model-Based Testing of Timed Distributed Systems : A Constraint-Based Approach for Solving the Oracle Problem”
referee · 2018 · Université Paris Saclay (COmUE) · doctoral - cited by a thesis record
Maroua Maalej Kammoun“Low-cost memory analyses for efficient compilers”
jury president · 2017 · Université de Lyon · doctoral - cited by a thesis record
Amira Henaien“Certification des raisonnements formels portant sur des systèmes d'information critiques”
jury member · 2015 · Université de Lorraine · doctoral - cited by a thesis record
Henri Debrat“Certification formelle de la correction d'algorithmes distribués avec erreurs de transmission”
jury member · 2013 · Université de Lorraine · doctoral