Author of the publication

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Especificação e Verificação Formal de Sistemas Distribuídos., , , and . SBES, page 221-236. SBC, (2003)Strengthening Atomic Multicast for Partitioned State Machine Replication., , and . LADC, page 51-60. ACM, (2022)Parallel State Machine Replication from Generalized Consensus., , and . SRDS, page 133-142. IEEE, (2020)SMaRtTrie: Reducing Checkpoint's Impact in SMR Systems with a CTrie Data Structure., and . SBRC, page 616-629. (2021)Shrinking Logs by Safely Discarding Commands., , , and . SBRC, page 588-601. (2021)FlexCast: Genuine Overlay-based Atomic Multicast., , , , and . Middleware, page 288-300. ACM, (2023)Boosting State Machine Replication with Concurrent Execution., , , , and . LADC, page 77-86. IEEE, (2018)Code Generation for Parallel Applications Modelled with Object-Based Graph Grammars., and . SBMF, volume 184 of Electronic Notes in Theoretical Computer Science, page 113-131. Elsevier, (2005)Uma Metodologia para a Verificação de Sistemas Parciais Modelados na Gramática de Grafos Baseada em Objetos., , and . SBES, page 86-101. SBC, (2004)On the Performance of Using Parallel State Machine Replication to Implement Blockchains., , and . LADC, page 1-6. IEEE, (2021)