a person in the record
Daniel Le Berre
born 1972
Supervised 3 doctoral students at Université d'Artois between 2018 and 2023; doctorate at Université Toulouse III Paul Sabatier in 2000 under Michel Cayrol. Linked to Wikidata, ORCID, and 4 other registers.
How to read the markscited by a repository's recordstated by Wikidata or indexed by OpenAlexclaimed on an ORCID list, or inferred
Theses1
- cited by a thesis record
Autour de SAT : le calcul d'impliquants P-restreints, algorithmes et applications
2000 · Université Toulouse III Paul Sabatier · doctoral · in French · the thesis's own page ›also named on this thesis
- cited by a thesis recordMamoun Filali-Aminejury member
- cited by a thesis recordEric Grégoirejury member
- cited by a thesis recordPhilippe Jégoujury member
- cited by a thesis recordAntoine Rauzyjury president
- cited by a thesis recordThomas Schiexjury member
Advisors1
- cited by a thesis record
Michel Cayrol“Autour de SAT : le calcul d'impliquants P-restreints, algorithmes et applications”
2000 · Université Toulouse III Paul Sabatier · doctoral
Students3
- cited by a thesis record2023 · Université d'Artois · doctoral
- cited by a thesis record2020 · Université d'Artois · doctoral
- cited by a thesis record
Valentin Montmirail“Practical resolution of satisfiability testing for modal logics”
2018 · Université d'Artois · 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 recordMichel Cayrol
Below them, within 3 steps, the record reaches 3 people: 3 cited by thesis records.
Works1
2000 · held from 1 repository · a work missing?
- cited by HAL/TEL OAI's record
Autour de SAT : le calcul d'impliquants P-restreints, algorithmes et applications
2000 · 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 lineage11
referee or jury member, not advisor
- cited by a thesis record
Thomas Vigouroux“Quantitative analysis for adaptive attackers”
referee · 2024 · Université Grenoble Alpes [2020-....] · doctoral - cited by a thesis record
Vincent Vallade“Contributions à la résolution parallèle du problème SAT”
jury member · 2023 · Sorbonne Université · doctoral - cited by a thesis record
Pierre Montalbano“Linear constraints and conflict-free learning for graphical models”
referee · 2023 · Université Paul Sabatier - Toulouse III · doctoral - cited by a thesis recordjury member · 2023 · Université d'Artois · doctoral
- cited by a thesis record
Mickaël Lafages“Algorithms for enriched abstract argumentation frameworks for large-scale cases”
referee · 2021 · Université Paul Sabatier - Toulouse III · doctoral - cited by a thesis record
Margaux Duroeulx“Évaluation de la fiabilité des systèmes modélisés par arbres de défaillances grâce aux techniques de satisfiabilité”
referee · 2020 · Université de Lorraine · doctoral - cited by a thesis record
Alexandre Gonzalvez“Affiner la déobfuscation symbolique et concrète de programmes protégés par des prédicats opaques”
referee · 2020 · Ecole nationale supérieure Mines-Télécom Atlantique · doctoral - cited by a thesis record
Ludovic Le Frioux“Towards more efficient parallel SAT solving”
jury member · 2019 · Sorbonne Université · doctoral - cited by a thesis record
Delmas Kévin“Synthèse automatique d'architectures tolérantes aux fautes”
jury member · 2017 · INSTITUT SUPERIEUR DE L’AERONAUTIQUE ET DE L’ESPACE (ISAE) · doctoral - cited by a thesis record
Christopher Beatrix“Justifications dans les approches ASP basées sur les règles : application au backjumping dans le solveur ASPeRiX”
referee · 2016 · Université d'Angers · doctoral - cited by a thesis record
Clément Quinton“Cloud Environment Selection and Configuration: A Software Product Lines-Based Approach”
jury member · 2014 · Université Lille 1 · doctoral