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]