Ensuring Convergence and Invariants Without Coordination. - Dina Borrego; Nuno M. Preguiça; Elisa Gonzalez Boix; Carla Ferreira 001 (ECOOP, 2025)

ReDunT: Automatically Deriving Redundancy Relations for Pure Op-Based CRDTs. - Dina Borrego; João Afonso Vilalonga; Henrique Domingos; Nuno M. Preguiça; Elisa Gonzalez Boix; Carla Ferreira 001 (PaPoC@EuroSys, 2025)

Ensuring Convergence and Invariants Without Coordination (Artifact). - Dina Borrego; Nuno M. Preguiça; Elisa Gonzalez Boix; Carla Ferreira 001 (Dagstuhl Artifacts Ser., 2025)