Critical window for the vacant set left by random walk on random regular graphs. - Jirí Cerný; Augusto Teixeira (Random Struct. Algorithms, 2013)

Permissionless Refereed Tournaments. - Diego Nehab; Augusto Teixeira (CoRR, 2022)

Dave: a decentralized, secure, and lively fraud-proof algorithm. - Diego Nehab; Gabriel Coutinho De Paula; Augusto Teixeira (CoRR, 2024)