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 recordstated by Wikidata
Frédéric Gava“BSP-Why, un outil pour la vérification déductive de programmes BSP : machine-checked semantics and application to distributed state-space algorithms”
2013 · Université Paris-Est · doctoral
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 WikidataFrédéric Gava
- 2 steps up
cited by a thesis recordstated by WikidataFrédéric Loulergue
Theses1
- cited by a thesis record2013 · Université Paris-Est · doctoral · École doctorale Mathématiques, Sciences et Technologies de l'Information et de la Communication (Champs-sur-Marne, Seine-et-Marne ; 2010-....) · in English · the thesis's own page ›
also named on this thesis
- cited by a thesis recordElisabeth Pelzjury member
- cited by a thesis recordSandrine Blazyreferee
- cited by a thesis recordRoberto Di Cosmojury president
- cited by a thesis recordJean Christophe Filliatrereferee
- cited by a thesis recordBart Jacobsjury member
- cited by a thesis recordJan Georg Smausjury member
- cited by a thesis recordAlan Stewartreferee
Works1
2013 · held from 1 repository · a work missing?
- cited by HAL/TEL OAI's record