Miguel Ângelo Marques de Matos


AuthID: R-001-NJ5

Publicações Confirmadas: 64



1
TÍTULO: HawkSet: Automatic, Application-Agnostic, and Efficient Concurrent PM Bug Detection
AUTORES: Oliveira, Joao; Goncalves, Joao; Matos, Miguel ;
PUBLICAÇÃO: 2025, FONTE: 20th European Conference on Computer Systems-EuroSys in PROCEEDINGS OF THE 2025 TWENTIETH EUROPEAN CONFERENCE ON COMPUTER SYSTEMS, EUROSYS 2025
INDEXADO EM: Scopus WOS DBLP CrossRef
2
TÍTULO: Impact of Network Topologies on Blockchain Performance
AUTORES: Di Perna, Vincenzo P.; Bernardo, Marco; Fabris, Francesco; Amaro, Sebastiao; Matos, Miguel ; Schiavoni, Valerio;
PUBLICAÇÃO: 2025, FONTE: 19th International Conference on Distributed and Event Based Systems-DEBS in PROCEEDINGS OF THE 19TH ACM INTERNATIONAL CONFERENCE ON DISTRIBUTED AND EVENT-BASED SYSTEMS, DEBS 2025
INDEXADO EM: Scopus WOS DBLP CrossRef
3
TÍTULO: K OLLAPS : Decentralized and Efficient Network Emulation for Large-Scale Systems  Full Text
AUTORES: Amaro, Sebastiao; Matos, Miguel ; Schiavoni, Valerio;
PUBLICAÇÃO: 2025, FONTE: IEEE TRANSACTIONS ON NETWORKING, VOLUME: 33, NÚMERO: 1
INDEXADO EM: Scopus WOS DBLP CrossRef: 2
4
TÍTULO: Kauri: BFT Consensus with Pipelined Tree-Based Dissemination and Aggregation  Full Text
AUTORES: Ray Neiheiser; Miguel Matos ; Luis Rodrigues;
PUBLICAÇÃO: 2025, FONTE: ACM Transactions on Computer Systems
INDEXADO EM: CrossRef
NO MEU: ORCID | CIÊNCIAVITAE
5
TÍTULO: Lessons Learned from Five Years of Artifact Evaluations at EuroSys
AUTORES: D'Elia, Daniele Cono; Doudali, Thaleia Dimitra; Giuffrida, Cristiano; Matos, Miguel ; Payer, Mathias; Pirelli, Solal; Portokalidis, Georgios; Schiavoni, Valerio; Signorello, Salvatore; Vahldiek Oberwagner, Anjo;
PUBLICAÇÃO: 2025, FONTE: 3rd Conference on Reproducibility and Replicability-REP in PROCEEDINGS OF THE 3RD ACM CONFERENCE ON REPRODUCIBILITY AND REPLICABILITY, ACM REP 2025
INDEXADO EM: Scopus WOS DBLP CrossRef: 1
6
TÍTULO: No Two Snowflakes Are Alike: Studying eBPF Libraries' Performance, Fidelity and Resource Usage
AUTORES: Machado, Carlos ; Giao, Bruno ; Amaro, Sebastiao; Matos, Miguel ; Paulo, Joao; Esteves, Tania ;
PUBLICAÇÃO: 2025, FONTE: 3rd Workshop on eBPF and Kernel Extensions-eBPF in PROCEEDINGS OF THE 2025 3RD WORKSHOP ON EBPF AND KERNEL EXTENSIONS, EBPF 2025
INDEXADO EM: Scopus WOS DBLP CrossRef: 2 Unpaywall
7
TÍTULO: Mumak: Efficient and Black-Box Bug Detection for Persistent Memory
AUTORES: Goncalves, Joao; Matos, Miguel ; Rodrigues, Rodrigo;
PUBLICAÇÃO: 2023, FONTE: 18th European Conference on Computer Systems (EuroSys) in PROCEEDINGS OF THE EIGHTEENTH EUROPEAN CONFERENCE ON COMPUTER SYSTEMS, EUROSYS 2023
INDEXADO EM: Scopus WOS DBLP CrossRef: 4
8
TÍTULO: NimbleChain: Speeding up Cryptocurrencies in General-purpose Permissionless Blockchains
AUTORES: Paulo Silva; Miguel Matos ; João Barreto ;
PUBLICAÇÃO: 2023, FONTE: Distributed Ledger Technol. Res. Pract., VOLUME: 2, NÚMERO: 1
INDEXADO EM: Scopus DBLP CrossRef
9
TÍTULO: Kauri. Scalable BFT Consensus with Pipelined Tree-Based Dissemination and Aggregation
AUTORES: Ray Neiheiser; Miguel Matos ; Luís Rodrigues ;
PUBLICAÇÃO: 2021, FONTE: Proceedings of the ACM SIGOPS 28th Symposium on Operating Systems Principles
INDEXADO EM: CrossRef: 24
NO MEU: ORCID | CIÊNCIAVITAE
10
TÍTULO: The quest for scaling BFT Consensus through Tree-Based Vote Aggregation PDF
AUTORES: Ray Neiheiser; Miguel Matos ; Luís E T Rodrigues;
PUBLICAÇÃO: 2021, FONTE: CoRR, VOLUME: abs/2103.12112
INDEXADO EM: DBLP arXiv
Página 1 de 7. Total de resultados: 64.

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2026 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service