Miguel Ângelo Marques de Matos


AuthID: R-001-NJ5

Confirmed Publications: 60



1
TITLE: Mumak: Efficient and Black-Box Bug Detection for Persistent Memory
AUTHORS: João Gonçalves; Miguel Matos ; Rodrigo Rodrigues;
PUBLISHED: 2023, SOURCE: Proceedings of the Eighteenth European Conference on Computer Systems
INDEXED IN: CrossRef
IN MY: ORCID | CIÊNCIAVITAE
2
TITLE: NimbleChain: Speeding up Cryptocurrencies in General-purpose Permissionless Blockchains
AUTHORS: Paulo Silva; Miguel Matos ; João Barreto;
PUBLISHED: 2023, SOURCE: Distributed Ledger Technol. Res. Pract., VOLUME: 2, ISSUE: 1
INDEXED IN: Scopus DBLP CrossRef
IN MY: ORCID | DBLP
3
TITLE: Kauri. Scalable BFT Consensus with Pipelined Tree-Based Dissemination and Aggregation
AUTHORS: Ray Neiheiser; Miguel Matos ; Luís Rodrigues ;
PUBLISHED: 2021, SOURCE: Proceedings of the ACM SIGOPS 28th Symposium on Operating Systems Principles
INDEXED IN: CrossRef: 24
IN MY: ORCID | CIÊNCIAVITAE
4
TITLE: The quest for scaling BFT Consensus through Tree-Based Vote Aggregation
AUTHORS: Ray Neiheiser; Miguel Matos ; Luís E T Rodrigues;
PUBLISHED: 2021, SOURCE: CoRR, VOLUME: abs/2103.12112
INDEXED IN: DBLP
IN MY: DBLP
5
TITLE: Exploiting Symbolic Execution to Accelerate Deterministic Databases
AUTHORS: Issa, S; Viegas, M; Raminhas, P; Machado, N; Matos, M ; Romano, P;
PUBLISHED: 2020, SOURCE: 40th IEEE International Conference on Distributed Computing Systems (ICDCS) in 2020 IEEE 40TH INTERNATIONAL CONFERENCE ON DISTRIBUTED COMPUTING SYSTEMS (ICDCS), VOLUME: 2020-November
INDEXED IN: Scopus WOS DBLP
IN MY: DBLP
6
TITLE: FaultSee: Reproducible Fault Injection in Distributed Systems
AUTHORS: Amaral, M; Pardal, ML; Mercier, H; Matos, M ;
PUBLISHED: 2020, SOURCE: 16th European Dependable Computing Conference (EDCC) in 2020 16TH EUROPEAN DEPENDABLE COMPUTING CONFERENCE (EDCC 2020)
INDEXED IN: Scopus WOS DBLP
IN MY: DBLP
7
TITLE: Impact of Geo-Distribution and Mining Pools on Blockchains: A Study of Ethereum
AUTHORS: Paulo Silva; David Vavricka; João Barreto; Miguel Matos ;
PUBLISHED: 2020, SOURCE: 50th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2020, Valencia, Spain, June 29 - July 2, 2020
INDEXED IN: DBLP
IN MY: DBLP
8
TITLE: Impact of Geo-Distribution and Mining Pools on Blockchains: A Study of Ethereum PDF
AUTHORS: Silva, P; Vavricka, D; Barreto, J ; Matos, M ;
PUBLISHED: 2020, SOURCE: 50th IEEE/IFIP Annual International Conference on Dependable Systems and Networks (DSN) in 2020 50TH ANNUAL IEEE/IFIP INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS AND NETWORKS (DSN 2020), VOLUME: abs/2005.06356
INDEXED IN: Scopus WOS DBLP arXiv CrossRef: 10
IN MY: DBLP
9
TITLE: Kollaps. decentralized and dynamic topology emulation
AUTHORS: Paulo Gouveia; João Neves; Carlos Segarra; Luca Liechti; Shady Issa; Valerio Schiavoni; Miguel Matos ;
PUBLISHED: 2020, SOURCE: Proceedings of the Fifteenth European Conference on Computer Systems
INDEXED IN: CrossRef: 10
IN MY: ORCID | CIÊNCIAVITAE
10
TITLE: Kollaps/Thunderstorm: Reproducible Evaluation of Distributed Systems - Tutorial Paper. Tutorial Paper
AUTHORS: Miguel Matos ;
PUBLISHED: 2020, SOURCE: 20th IFIP WG 6.1 International Conference on Distributed Applications and Interoperable Systems, DAIS 2020, held as part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020 in Distributed Applications and Interoperable Systems - 20th IFIP WG 6.1 International Conference, DAIS 2020, Held as Part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020, Valletta, Malta, June 15-19, 2020, Proceedings, VOLUME: 12135
INDEXED IN: Scopus DBLP CrossRef
IN MY: ORCID | DBLP | CIÊNCIAVITAE
Page 1 of 6. Total results: 60.

footer slogan

Useful Links

Get Help

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