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
Principles of program verification for arbitrary monadic effects
2019 · Université Paris sciences et lettres · doctoral · École doctorale Sciences mathématiques de Paris centre (Paris ; 2000-....) · in English · the thesis's own page ›also named on this thesis
- cited by a thesis recordHugo Herbelinjury president
- cited by a thesis recordNicolas Tabareaujury member
- cited by a thesis recordChristine Paulin-Mohringjury member
- cited by a thesis recordRobert Atkeyjury member
- cited by a thesis recordGilles Barthejury member
- cited by a thesis recordPierre-Evariste Dagandjury member
- cited by a thesis recordShin'ya Katsumatareferee
- cited by a thesis recordBas Spittersreferee
Advisors1
- cited by a thesis record
Cătălin Hriţcu“Principles of program verification for arbitrary monadic effects”
2019 · Université Paris sciences et lettres · 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 recordCătălin Hriţcu
Works1
2019 · held from 1 repository · a work missing?
- cited by HAL/TEL OAI's record
Principles of program verification for arbitrary monadic effects
2019 · 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 lineage1
jury member, not advisor
- cited by a thesis recordjury member · 2025 · Université de Montpellier · doctoral