Simão Patrício Melo de Sousa


AuthID: R-000-GKV

Confirmed Publications: 42



1
TITLE: Echidna: A New Consensus Algorithm for Efficient State Machine Replication
AUTHORS: Rui Morais; Paul Andrew Crocker; Simão Melo de Sousa ;
PUBLISHED: 2023, SOURCE: 5th International Conference on Blockchain Computing and Applications, BCCA 2023 in BCCA
INDEXED IN: Scopus DBLP CrossRef
IN MY: ORCID
2
TITLE: GreenHub: a large-scale collaborative dataset to battery consumption analysis of android devices
AUTHORS: Pereira, R ; Matalonga, H; Couto, M ; Castor, F; Cabral, B; Carvalho, P; de Sousa, SM ; Fernandes, JP ;
PUBLISHED: 2021, SOURCE: EMPIRICAL SOFTWARE ENGINEERING, VOLUME: 26, ISSUE: 3
INDEXED IN: Scopus WOS DBLP CrossRef: 17
IN MY: ORCID
3
TITLE: A tool for implementing privacy in Nano
AUTHORS: Rui Morais; Paul Andrew Crocker ; Simão Melo de Sousa ;
PUBLISHED: 2020, SOURCE: DAPPS
INDEXED IN: Scopus DBLP CrossRef: 4 Handle
4
TITLE: A tool for proving MICHELSON Smart Contracts in WHY3
AUTHORS: da Horta, LPA; Reis, JS; de Sousa, SM ; Pereira, M;
PUBLISHED: 2020, SOURCE: 3rd IEEE International Conference on Blockchain (Blockchain) in 2020 IEEE INTERNATIONAL CONFERENCE ON BLOCKCHAIN (BLOCKCHAIN 2020)
INDEXED IN: Scopus WOS DBLP
IN MY: DBLP
5
TITLE: Delegated RingCT: faster anonymous transactions
AUTHORS: Rui Morais; Paul Andrew Crocker ; Simão Melo de Sousa ;
PUBLISHED: 2020, SOURCE: IACR Cryptol. ePrint Arch., VOLUME: 2020
INDEXED IN: DBLP
6
TITLE: PACE: A DSL-based Approach to Manage Complex Build Pipelines
AUTHORS: Fonseca, N; Fernandes, JP ; Pires, M; de Sousa, SM ;
PUBLISHED: 2020, SOURCE: 46th Euromicro Conference on Software Engineering and Advanced Applications (SEAA) in 2020 46TH EUROMICRO CONFERENCE ON SOFTWARE ENGINEERING AND ADVANCED APPLICATIONS (SEAA 2020)
INDEXED IN: Scopus WOS DBLP CrossRef: 1
7
TITLE: Tezla, an Intermediate Representation for Static Analysis of Michelson Smart Contracts
AUTHORS: João Santos Reis; Paul Andrew Crocker ; Simão Melo de Sousa ;
PUBLISHED: 2020, SOURCE: FMBC@CAV, VOLUME: 84
INDEXED IN: Scopus DBLP
8
TITLE: WhylSon: Proving your Michelson Smart Contracts in Why3
AUTHORS: Luís Pedro Arrojado da Horta; João Santos Reis; Mário Pereira; Simão Melo de Sousa ;
PUBLISHED: 2020, SOURCE: CoRR, VOLUME: abs/2005.14650
INDEXED IN: DBLP
9
TITLE: e-Learning, Artificial Intelligence, and Block chain
AUTHORS: Vieira, P; Crocker, P ; de Sousa, SM ;
PUBLISHED: 2019, SOURCE: European Conference on the Impact of Artificial Intelligence and Robotics (ECIAIR) in PROCEEDINGS OF THE EUROPEAN CONFERENCE ON THE IMPACT OF ARTIFICIAL INTELLIGENCE AND ROBOTICS (ECIAIR 2019)
INDEXED IN: Scopus WOS
10
TITLE: GreenHub farmer: real-world data for Android energy mining
AUTHORS: Hugo Matalonga; Bruno Cabral; Fernando Castor; Marco Couto ; Rui Pereira ; Simão Melo de Sousa ; João Paulo Fernandes ;
PUBLISHED: 2019, SOURCE: MSR, VOLUME: 2019-May
INDEXED IN: Scopus DBLP CrossRef: 7
IN MY: ORCID
Page 1 of 5. Total results: 42.

footer slogan

Useful Links

Get Help

© 2026 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service