1
TITLE: HawkSet: Automatic, Application-Agnostic, and Efficient Concurrent PM Bug Detection
AUTHORS: Oliveira, Joao; Goncalves, Joao; Matos, Miguel;
PUBLISHED: 2025, SOURCE: 20th European Conference on Computer Systems-EuroSys in PROCEEDINGS OF THE 2025 TWENTIETH EUROPEAN CONFERENCE ON COMPUTER SYSTEMS, EUROSYS 2025
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID
2
TITLE: Impact of Network Topologies on Blockchain Performance
AUTHORS: Di Perna, Vincenzo P.; Bernardo, Marco; Fabris, Francesco; Amaro, Sebastiao; Matos, Miguel; Schiavoni, Valerio;
PUBLISHED: 2025, SOURCE: 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
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID
3
TITLE: No Two Snowflakes Are Alike: Studying eBPF Libraries' Performance, Fidelity and Resource Usage
AUTHORS: Machado, Carlos ; Giao, Bruno ; Amaro, Sebastiao; Matos, Miguel; Paulo, Joao; Esteves, Tania ;
PUBLISHED: 2025, SOURCE: 3rd Workshop on eBPF and Kernel Extensions-eBPF in PROCEEDINGS OF THE 2025 3RD WORKSHOP ON EBPF AND KERNEL EXTENSIONS, EBPF 2025
INDEXED IN: Scopus WOS CrossRef Unpaywall
IN MY: ORCID
4
TITLE: Kauri: BFT Consensus with Pipelined Tree-Based Dissemination and Aggregation  Full Text
AUTHORS: Ray Neiheiser; Miguel Matos; Luis Rodrigues;
PUBLISHED: 2025, SOURCE: ACM Transactions on Computer Systems
INDEXED IN: CrossRef
IN MY: ORCID
5
TITLE: Lessons Learned from Five Years of Artifact Evaluations at EuroSys
AUTHORS: D'Elia, Daniele Cono; Doudali, Thaleia Dimitra; Giuffrida, Cristiano; Matos, Miguel; Payer, Mathias; Pirelli, Solal; Portokalidis, Georgios; Schiavoni, Valerio; Signorello, Salvatore; Vahldiek Oberwagner, Anjo;
PUBLISHED: 2025, SOURCE: 3rd Conference on Reproducibility and Replicability-REP in PROCEEDINGS OF THE 3RD ACM CONFERENCE ON REPRODUCIBILITY AND REPLICABILITY, ACM REP 2025
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID | DBLP
6
TITLE: K OLLAPS : Decentralized and Efficient Network Emulation for Large-Scale Systems  Full Text
AUTHORS: Amaro, Sebastiao; Matos, Miguel; Schiavoni, Valerio;
PUBLISHED: 2024, SOURCE: IEEE-ACM TRANSACTIONS ON NETWORKING, VOLUME: 33, ISSUE: 1
INDEXED IN: Scopus WOS DBLP CrossRef: 1
IN MY: ORCID
7
TITLE: Organisation of school environment on reopening schools amidst COVID-19: Barriers and facilitators
AUTHORS: Iaochite, R. T.; Matos, M. M.; Costa Filho, R. A.; Carvalho, G. S.; Anastacio, Z.; Azevedo, M.; Alves, R. F.; Oliveira, L.;
PUBLISHED: 2024, SOURCE: EUROPEAN JOURNAL OF PUBLIC HEALTH, VOLUME: 34
INDEXED IN: WOS
8
TITLE: Mumak: Efficient and Black-Box Bug Detection for Persistent Memory
AUTHORS: Goncalves, Joao; Matos, Miguel; Rodrigues, Rodrigo;
PUBLISHED: 2023, SOURCE: 18th European Conference on Computer Systems (EuroSys) in PROCEEDINGS OF THE EIGHTEENTH EUROPEAN CONFERENCE ON COMPUTER SYSTEMS, EUROSYS 2023
INDEXED IN: WOS
10
TITLE: "Labor Trafficking in Portugal: Victims Perceptions of Formal Support, Post-Victimization and Impact"
AUTHORS: Fernandes, A; Goncalves, M; Matos, M;
PUBLISHED: 2021, SOURCE: JOURNAL OF FORENSIC PSYCHOLOGY RESEARCH AND PRACTICE, VOLUME: 21, ISSUE: 5
INDEXED IN: WOS
Page 1 of 2. Total results: 12.