Publications

Journal Articles

António Barreto, Hervé Paulino, João A. Silva, Nuno Preguiça. PS-CRDTs: CRDTs in highly volatile environments. Future Gener. Comput. Syst. 141: 755-767 (2023) [link]

João A. Silva, Filipe Cerqueira, Hervé Paulino, João M. Lourenço, João Leitão, Nuno M. Preguiça: It's about Thyme: On the design and implementation of a time-aware reactive storage system for pervasive edge computing environments. Future Gener. Comput. Syst. 118: 14-36 (2021)

Conference Papers

International Conferences

Marco Giunti, Hervé Paulino, António Ravara. Anticipation of Method Execution in Mixed Consistency Systems. SAC '23: The 38th ACM/SIGAPP Symposium on Applied Computing, 2023: (to appear)

Nuno Coelho, Diogo Ribeiro and Hervé Paulino. Sage: A Multiuser Cooperative Controller for Mobile Edge System. Mobile and Ubiquitous Systems: Computing, Networking and Services - 18th EAI International Conference, MobiQuitous 2022

David Neves, Hervé Paulino. Condition-based Synchronization in Data-Centric Concurrency Control. SAC '22: The 37th ACM/SIGAPP Symposium on Applied Computing, 2022: 1268-1275 (Distinguished paper)

João Dias, João A. Silva, Hervé Paulino: Adaptive Replica Selection in Mobile Edge Environments. Mobile and Ubiquitous Systems: Computing, Networking and Services - 18th EAI International Conference, MobiQuitous 2021: 243-263

Pedro Sanches, João A. Silva, António Teófilo and Hervé Paulino. “Data-Centric Distributed Computing on Networks of Mobile Devices". Euro-Par 2020: Parallel Processing - 26th International Conference on Parallel and Distributed Computing

João A. Silva, Pedro Vieira and Hervé Paulino. “Data Storage and Sharing for Mobile Devices in Multi-region Edge Networks". 21st IEEE International Symposium on "A World of Wireless, Mobile and Multimedia Networks, WoWMoM 2020

João A. Silva, Hervé Paulino, João M. Lourenço, João Leitão, and Nuno Preguiça. “Time-Aware Reactive Storage in Wireless Edge Environments”. 16th EAI International Conference on Mobile and Ubiquitous Systems: Computing, Networking and Services (MobiQuitous 2019), November 12–14, 2019, Houston, TX, USA. doi: 10.1145/3360774.3360828. [link]

Hervé Paulino, Daniel Parreira, Nuno Delgado, António Ravara, and Ana Almeida Matos. “From atomic variables to data-centric concurrency control”. 31st Annual ACM Symposium on Applied Computing (SAC 2016), Pisa, Italy, April 4-8, 2016. .016, pp. 1806–1811. doi: 10.1145/2851613.2851734. [link]

National (Portuguese) Conferences

Beatriz Ferreira, Jan Cederquist, Ana Almeida Matos, Hervé Paulino, and António Ravara. “Mechanization of a Type System for Atomicity Analysis and its Type Safety”. In: INForum 2019 - Atas do 11º Simpósio de Informática. Universidade do Minho, 2019, pp. 44–55. [link]

Communications

António Barreto, João A. Silva, Hervé Paulino and Nuno Preguiça. “CRDTs em Ambientes Dinâmicos”. In: INForum 2019 - 11o Simpósio de Informática. Universidade do Minho, 2019. [link][bibtex]

André Fragoso, Marco Giunti, Hervé Paulino and António Ravara. “Identificação de Comutatividade de Operações em Sistemas Replicados”. In: INForum 2019 - 11o Simpósio de Informática. Universidade do Minho, 2019. [link][bibtex]

Technical Reports

Marco Giunti, Hervé Paulino, António Ravara. Anticipation of Method Execution in Mixed Consistency Systems - Technical Report. CoRR abs/2212.14651 (2022). Companion technical report of paper "Anticipation of Method Execution in Mixed Consistency Systems " [link]

João A. Silva, Hervé Paulino, João M. Lourenço, João Leitão, Nuno M. Preguiça. Time-Aware Publish/Subscribe for Networks of Mobile Devices. CoRR abs/1801.00297 (2018) [link]