Theses
PhD Theses
João A. Silva. "Data Storage and Dissemination in Pervasive Edge Computing Environments". Universidade NOVA de Lisboa. May 2021. [link]
Master Theses
Hugo Lopes. "Privacy and Secure Communications in Mobile Edge Computing". Integrated Master in Computer Science. Faculdade de Ciências e Tecnologia. Universidade NOVA de Lisboa. September 2022.
Francisco Nunes. "Armazenamento Reativo e Persistente para Ambientes Mobile Edge Computing". Integrated Master in Computer Science. Faculdade de Ciências e Tecnologia. Universidade NOVA de Lisboa. June 2022.
Hugo Pinto. "Combinar Locks com Memória Transacional no Controlo de Concorrência Centrado nos Dados". Integrated Master in Computer Science. Faculdade de Ciências e Tecnologia. Universidade NOVA de Lisboa. June 2022.
Ricardo Leitão. "Managing Population and Workload Imbalance in Structured Overlays". Integrated Master in Computer Science. Faculdade de Ciências e Tecnologia. Universidade NOVA de Lisboa. September 2021.
Salúquia Marreiros. "A Framework for Turn-Based Local Multiplayer Games". Integrated Master in Computer Science. Faculdade de Ciências e Tecnologia. Universidade NOVA de Lisboa. February 2021. [link]
João Dias. "Adaptive Replica Selection in Mobile Edge Networks". Integrated Master in Computer Science. Faculdade de Ciências e Tecnologia. Universidade NOVA de Lisboa. February 2021.
Luís Rocha. "Ginger: A Transactional Middleware with Data and Operation Centric Mixed Consistency". Integrated Master in Computer Science. Faculdade de Ciências e Tecnologia. Universidade NOVA de Lisboa. February 2021. [link]
Cláudio Pereira. "Dynamic Content-based Indexing in Mobile Edge Networks ". Integrated Master in Computer Science. Faculdade de Ciências e Tecnologia. Universidade NOVA de Lisboa. December 2021. [link]
Nuno Coelho. "Real-time Distributed Data Aggregation in Mobile Edge Systems". Integrated Master in Computer Science. Faculdade de Ciências e Tecnologia. Universidade NOVA de Lisboa. July 2020.
André Fragoso. "Deducing Operation Commutativity from Replicated Data Declaration". Integrated Master in Computer Science. Faculdade de Ciências e Tecnologia. Universidade NOVA de Lisboa. December 2019. [link]
José Pedro Afonso. "Key-Value Storage for Handling data in Mobile Devices. Integrated Master in Computer Science. Faculdade de Ciências e Tecnologia. Universidade NOVA de Lisboa. December 2019. [link]
António Barreto. "Conflict-Free Replicated Data Types in Dynamic Environments". Integrated Master in Computer Science. Faculdade de Ciências e Tecnologia. Universidade NOVA de Lisboa. December 2019. [link]
Beatriz Ferreira. "Resource-Centered Concurrency Control - Mechanization of a Type Safety proof". Master in Information Systems and Computer Engineering. Instituto Superior Técnico. Universidade de Lisboa. June 2019. [link]
BSc Projects
David Neves. "Sincronização de Threads no Modelo RC3", Integrated Master in Computer Science. Faculdade de Ciências e Tecnologia. Universidade NOVA de Lisboa. July 2021.
Marcia Matias. "Coleções do Java com Concorrência Centrada nos Dados", Integrated Master in Computer Science. Faculdade de Ciências e Tecnologia. Universidade NOVA de Lisboa. July 2021.
João Pereira. "Combinando Locks com Memória Transacional em Controlo de Concorrência Centrado nos Dados". Integrated Master in Computer Science. Faculdade de Ciências e Tecnologia. Universidade NOVA de Lisboa. July 2019. [link]