Simão Melo de Sousa
Universidade da Beira Interior
H-index: 11
Europe-Portugal
Top articles of Simão Melo de Sousa
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
Echidna: A New Consensus Algorithm for Efficient State Machine Replication | Rui Pedro Bernardo Morais Paul Andrew Crocker Simão Melo De Sousa | 2023/10/24 | |
GreenHub: a large-scale collaborative dataset to battery consumption analysis of android devices | Empirical Software Engineering | Rui Pereira Hugo Matalonga Marco Couto Fernando Castor Bruno Cabral | 2021/5 |
Delegated RingCT: faster anonymous transactions | arXiv preprint arXiv:2011.14159 | Rui Morais Paul Crocker Simao Melo de Sousa | 2020/11/28 |
PACE: A DSL-based Approach to Manage Complex Build Pipelines | Nelson Fonseca Joao Paulo Fernandes Mario Pires Simao Melo de Sousa | 2020/8/26 | |
A tool for implementing privacy in nano | Rui Morais Paul Crocker Simao Melo de Sousa | 2020/8/3 | |
Whylson: Proving your michelson smart contracts in why3 | arXiv preprint arXiv:2005.14650 | Luís Pedro Arrojado da Horta João Santos Reis Mário Pereira Simão Melo de Sousa | 2020/5/29 |
Tezla, an intermediate representation for static analysis of michelson smart contracts | João Santos Reis Paul Crocker Simão Melo de Sousa | 2020 | |
A toolchain to produce verified OCaml libraries | Jean-Christophe FilliÂtRe Léon Gondelman Andrei Paskevich Mário Pereira Simão Melo de Sousa | 2018 | |
A tool for proving Michelson smart contracts in WHY3 | Luís Pedro Arrojado da Horta João Santos Reis Simão Melo de Sousa Mário Pereira | 2020/11/2 |