On Making Generalized Paxos Practical. - Tuanir França Rezende; Pierre Sutra; Rodrigo Q. Saramago; Lásaro J. Camargos (AINA, 2017)

Algoritmo de Difusão Atômica Rápido a Despeito de Colisões Tolerante a Falhas Bizantinas. - Rodrigo Q. Saramago; Eduardo A. P. Alchieri; Tuanir F. Rezende; Lásaro J. Camargos (SBRC, 2017)

On the Impossibility of Byzantine Collision-Fast Atomic Broadcast. - Rodrigo Q. Saramago; Eduardo Adílio Pelinson Alchieri; Tuanir França Rezende; Lásaro J. Camargos (AINA, 2018)

Byzantine Collision-Fast Consensus Protocols. - Rodrigo Q. Saramago; Eduardo Alchieri; Tuanir França Rezende; Lásaro J. Camargos (Trans. Comput. Collect. Intell., 2019)

State-machine replication for planet-scale systems. - Vitor Enes; Carlos Baquero; Tuanir França Rezende; Alexey Gotsman; Matthieu Perrin; Pierre Sutra (EuroSys, 2020)

Leaderless State-Machine Replication: Specification, Properties, Limits. - Tuanir França Rezende; Pierre Sutra (DISC, 2020)

State-Machine Replication for Planet-Scale Systems (Extended Version). - Vitor Enes; Carlos Baquero; Tuanir França Rezende; Alexey Gotsman; Matthieu Perrin; Pierre Sutra (CoRR, 2020)

Leaderless State-Machine Replication: Specification, Properties, Limits (Extended Version). - Tuanir França Rezende; Pierre Sutra (CoRR, 2020)

Leaderless state-machine replication: from fail-stop to Byzantine failures. (Réplication de machines à états sans leader: des fautes franches aux fautes byzantines). - Tuanir F. Rezende (2021)