a person in the record
Mohamed Faouzi Atig
born 1979
Supervised 7 doctoral students at Uppsala universitet. 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
Students7
- cited by a thesis record2026 · Uppsala universitet · doctoral
- cited by a thesis record
Sarbojit Das“Practical Adaptations and Improvements of Stateless Model Checking”
2025 · Uppsala universitet · doctoral - cited by a thesis record2021 · Uppsala universitet · doctoral
- cited by a thesis record
Tuan-Phong Ngo“Model Checking of Software Systems under Weak Memory Models”
2019 · Uppsala universitet · doctoral - cited by a thesis record2018 · Uppsala universitet · doctoral
- cited by a thesis record
Othmane Rezine“Verification of networks of communicating processes”
2017 · Uppsala universitet · doctoral - cited by a thesis record
Carl Leonardsson“Verification of Software under Relaxed Memory”
2016 · Uppsala universitet · doctoral
The line above and below
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.
Below them, within 3 steps, the record reaches 7 people: 7 cited by thesis records.