- Baltasar Azevedo e Silva Dinis advised by Rodrigo Rodrigues and Peter Druschel, Restart-Rollback: A Fault model for distributed systems with persistent state, MSc Thesis at Instituto Superior Técnico (ULisboa), Nov. 2022 [bibTex]