Publications

Articles

International Conferences: 4

2018

- Miguel Matos and Francisco Maia and Nuno Machado and José Ribeiro, Totally Ordered Replication for Massive Scale Key-Value Stores, Jun. 2018 [bibTex] [PDF]
- Pedro Luís Galvão Raminhas and Miguel Matos and Paolo Romano, Fine-grained Transaction Scheduling in Replicated Databases via Symbolic Execution , presented at 12th EuroSys Doctoral Workshop (EuroDW 2018), Apr. 2018 [bibTex]

National Conferences: 1

2018

- João Marçal and Luis Rodrigues and Miguel Matos, Técnicas para Redução da Carga na Rede no Livro-Razão da Bitcoin., Sep. 2018 [bibTex]

Dissertations

MSc Theses: 6

2019

- Cláudia Fiore advised by Miguel Matos and Ricardo Chaves, Providing trust to multi-cloud storage platforms through the blockchain, MSc Thesis, Feb. 2019 [bibTex]

2018

- João Esteves Marçal advised by Miguel Matos and Luis Rodrigues, Adaptive Information Dissemination in the Bitcoin Network, MSc Thesis, Nov. 2018 [bibTex]
- Paulo Jorge Almeida dos Anjos advised by Miguel Matos and Miguel Correia, Blockchain as a consensus service, MSc Thesis, Nov. 2018 [bibTex]
- João Miguel Soares de Matos Neves advised by Miguel Matos, Container network topology modelling,, MSc Thesis, Nov. 2018 [bibTex]
- Miguel Cândido Viegas advised by Paolo Romano and Miguel Matos, Fine grained transaction scheduling in replicated databases via symbolic execution, MSc Thesis, Nov. 2018 [bibTex]
- Francisco Miguel Polaco Santos advised by Miguel Matos and Rodrigo Rodrigues, Large scale membership and consistency, MSc Thesis, Nov. 2018 [bibTex]