From post

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.

 

Другие публикации лиц с тем же именем

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