Miguel Ângelo Marques de Matos
AuthID: R-001-NJ5
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
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
2
TÃTULO: Rethinking PM Crash Consistency in the CXL Era
AUTORES: João Oliveira; João Gonçalves; Miguel Matos;
PUBLICAÇÃO: 2025, FONTE: CoRR, VOLUME: abs/2504.17554
AUTORES: João Oliveira; João Gonçalves; Miguel Matos;
PUBLICAÇÃO: 2025, FONTE: CoRR, VOLUME: abs/2504.17554
INDEXADO EM: 
DBLP
DBLP NO MEU: DBLP
DBLP3
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
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
4
TÃTULO: Be My Guest: Welcoming Interoperability into IBC-Incompatible Blockchains
AUTORES: Nazarewicz, Michal; Jain, Dhruv D.; Matos, Miguel; Rodriguez, Blas;
PUBLICAÇÃO: 2025, FONTE: 55th International Conference on Dependable Systems and Networks Supplemental Volume-DSN-S-Annual in 2025 55TH ANNUAL IEEE/IFIP INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS AND NETWORKS-SUPPLEMENTAL VOLUME, DSN-S
AUTORES: Nazarewicz, Michal; Jain, Dhruv D.; Matos, Miguel; Rodriguez, Blas;
PUBLICAÇÃO: 2025, FONTE: 55th International Conference on Dependable Systems and Networks Supplemental Volume-DSN-S-Annual in 2025 55TH ANNUAL IEEE/IFIP INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS AND NETWORKS-SUPPLEMENTAL VOLUME, DSN-S
INDEXADO EM: 
Scopus 
WOS DBLP
Scopus WOS DBLP NO MEU: DBLP
DBLP5
TÃTULO: Blockchain Infrastructure and Web Application for Dematerialization of Promissory Notes
AUTORES: Silva, Henrique; Quina, Filipe; Guerreiro, Sergio; Matos, Miguel;
PUBLICAÇÃO: 2025, FONTE: 20th European Dependable Computing Conference-EDCC-Annual in 2025 20TH EUROPEAN DEPENDABLE COMPUTING CONFERENCE COMPANION PROCEEDINGS, EDCC-C
AUTORES: Silva, Henrique; Quina, Filipe; Guerreiro, Sergio; Matos, Miguel;
PUBLICAÇÃO: 2025, FONTE: 20th European Dependable Computing Conference-EDCC-Annual in 2025 20TH EUROPEAN DEPENDABLE COMPUTING CONFERENCE COMPANION PROCEEDINGS, EDCC-C
INDEXADO EM: Scopus WOS DBLP
Scopus WOS DBLP NO MEU: DBLP
DBLP6
TÃTULO: Innovations in MEC Federation: Leveraging SDN for Enhanced Connectivity and Resource Optimization
AUTORES: Santos, David; Silva, Rui; Matos, Miguel; Corujo, Daniel; Aguiar, Rui;
PUBLICAÇÃO: 2025, FONTE: 31st International Symposium on Local and Metropolitan Area Networks-LANMAN-Annual in 2025 IEEE 31ST INTERNATIONAL SYMPOSIUM ON LOCAL AND METROPOLITAN AREA NETWORKS, LANMAN
AUTORES: Santos, David; Silva, Rui; Matos, Miguel; Corujo, Daniel; Aguiar, Rui;
PUBLICAÇÃO: 2025, FONTE: 31st International Symposium on Local and Metropolitan Area Networks-LANMAN-Annual in 2025 IEEE 31ST INTERNATIONAL SYMPOSIUM ON LOCAL AND METROPOLITAN AREA NETWORKS, LANMAN
INDEXADO EM: Scopus WOS DBLP
Scopus WOS DBLP NO MEU: DBLP
DBLP7
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
AUTORES: Ray Neiheiser; Miguel Matos; Luis Rodrigues;
PUBLICAÇÃO: 2025, FONTE: ACM Transactions on Computer Systems
8
TÃTULO: Lilith: A Topology-Aware Benchmark Tool for Blockchains
AUTORES: Vincenzo P Di Perna; Valerio Schiavoni; Marco Bernardo; Francesco Fabris; Miguel Matos; Sebastião Amaro;
PUBLICAÇÃO: 2025
AUTORES: Vincenzo P Di Perna; Valerio Schiavoni; Marco Bernardo; Francesco Fabris; Miguel Matos; Sebastião Amaro;
PUBLICAÇÃO: 2025
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP9
TÃTULO: K OLLAPS : Decentralized and Efficient Network Emulation for Large-Scale Systems Full Text
AUTORES: Amaro, Sebastiao; Matos, Miguel; Schiavoni, Valerio;
PUBLICAÇÃO: 2024, FONTE: IEEE-ACM TRANSACTIONS ON NETWORKING, VOLUME: 33, NÚMERO: 1
AUTORES: Amaro, Sebastiao; Matos, Miguel; Schiavoni, Valerio;
PUBLICAÇÃO: 2024, FONTE: IEEE-ACM TRANSACTIONS ON NETWORKING, VOLUME: 33, NÚMERO: 1
10
TÃTULO: Organisation of school environment on reopening schools amidst COVID-19: Barriers and facilitators
AUTORES: Iaochite, R. T.; Matos, M. M.; Costa Filho, R. A.; Carvalho, G. S.; Anastacio, Z.; Azevedo, M.; Alves, R. F.; Oliveira, L.;
PUBLICAÇÃO: 2024, FONTE: EUROPEAN JOURNAL OF PUBLIC HEALTH, VOLUME: 34
AUTORES: Iaochite, R. T.; Matos, M. M.; Costa Filho, R. A.; Carvalho, G. S.; Anastacio, Z.; Azevedo, M.; Alves, R. F.; Oliveira, L.;
PUBLICAÇÃO: 2024, FONTE: EUROPEAN JOURNAL OF PUBLIC HEALTH, VOLUME: 34
INDEXADO EM: WOS
WOS