a person in the record
Frédéric Gava
Ph.D. Université Paris-Est Créteil Val-de-Marne 2005born 1979
Supervised 4 doctoral students at Université Paris-Est and Université de Paris-Est/Créteil; doctorate at Université Paris XII Val de Marne in 2005 under Frédéric Loulergue; Wikidata names Frédéric Loulergue as doctoral advisor and lists 1 doctoral student. Linked to Wikidata, ORCID, and 6 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 Frédéric Loulergue; Wikidata names Frédéric Loulergue.
- cited by a thesis record
Frédéric Loulergue“Approches fonctionnelles de la programmation parallèle et des méta-ordinateurs. Sémantiques, implantations et certification.”
2005 · Université Paris XII Val de Marne · doctoral
Students4
- cited by a thesis record
Victor Allombert“Functional abstraction for programming multi-level architectures : formalisation and implementation”
2017 · Université Paris-Est · doctoral - cited by a thesis recordstated by Wikidata
- cited by a thesis record
Michael Guedj“BSP Algorithms for LTL & CTL* Model Checking of Security Protocols”
2012 · Université de Paris-Est/Créteil · doctoral - cited by a thesis record
Michaël Guedj“BSP algorithms for LTL & CTL model checking of security protocols”
2012 · Université Paris-Est · doctoral
Advisors on Wikidata1
From Wikidata, shown separately from the thesis records.
- stated by Wikidata
Students on Wikidata1
From Wikidata, shown separately from the thesis records.
- stated by Wikidataborn 1991
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
stated by WikidataFrédéric Loulerguecited by a thesis recordFrédéric Loulergue
Below them, within 3 steps, the record reaches 5 people: 4 cited by thesis records, 2 stated by Wikidata.
Theses1
- cited by a thesis record2005 · Université Paris XII Val de Marne · doctoral · Mathématiques, Sciences et Technologies de l'Information (Informatique) · in French · the thesis's own page ›
also named on this thesis
- cited by a thesis recordRapporteurs : Murray Univ. of Edinburgh COLEjury member
- cited by a thesis recordWalter Univ. of Lübeck DOSCHjury member
- cited by a thesis recordDirecteur : Frédéric Univ. d'Orléans LOULERGUEjury member
- cited by a thesis recordPrésident : Thierry Rennes PRIOL IRISA-INRIAjury member
- cited by a thesis recordAnatol Univ. de Paris 12 – Val-de-Marne SLISSENKOjury member
- cited by a thesis recordExaminateurs : Jocelyn Univ. de Clermont-Ferrand SÉROTjury member
Works1
2005 · held from 1 repository · a work missing?
- cited by HAL/TEL OAI's record2005 · 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 lineage5
jury member or referee, not advisor
- cited by a thesis record
Jordan Ischard“Sémantique de langages de programmation fonctionnels réactifs avec effets”
referee · 2025 · Université d'Orléans · doctoral - cited by a thesis record
Darine Rammal“Memory safety for synchronous reactive programming”
jury member · 2024 · Université d'Orléans · doctoral - cited by a thesis record
Hoby Rakotoarivelo“Contributions au co-design de noyaux irréguliers sur architectures manycore : cas du remaillage anisotrope multi-échelle en mécanique des fluides numérique.”
referee · 2018 · Université Paris-Saclay · doctoral - cited by a thesis record
Chong Li“Un modèle de transition logico-matérielle pour la simplification de la programmation parallèle”
jury member · 2013 · Université Paris-Est · doctoral - cited by a thesis record
Louis Gesbert“Développement systématique et sûreté d’exécution en programmation parallèle structurée”
jury member · 2009 · Université Paris-Est · doctoral