AmbientJS - A Mobile Cross-Platform Actor Library for Multi-Networked Mobile Applications. - Elisa Gonzalez Boix; Kevin De Porre; Wolfgang De Meuter; Christophe Scholliers (Programming with Actors, 2018)

Putting Order in Strong Eventual Consistency. - Kevin De Porre; Florian Myter; Christophe De Troyer; Christophe Scholliers; Wolfgang De Meuter; Elisa Gonzalez Boix (DAIS, 2019)

A Generic Replicated Data Type for Strong Eventual Consistency. - Kevin De Porre; Florian Myter; Christophe De Troyer; Christophe Scholliers; Wolfgang De Meuter; Elisa Gonzalez Boix (PaPoC@EuroSys, 2019)

Squirrel: an extensible distributed key-value store. - Kevin De Porre; Elisa Gonzalez Boix (META@SPLASH, 2019)

CScript: A distributed programming language for building mixed-consistency applications. - Kevin De Porre; Florian Myter; Christophe Scholliers; Elisa Gonzalez Boix (J. Parallel Distributed Comput., 2020)

ECROs: building global scale systems from sequential code. - Kevin De Porre; Carla Ferreira 001; Nuno M. Preguiça; Elisa Gonzalez Boix (Proc. ACM Program. Lang., 2021)

VeriFx: Correct Replicated Data Types for the Masses. - Kevin De Porre; Carla Ferreira 001; Elisa Gonzalez Boix (ECOOP, 2023)

[Short paper] Towards improved collaborative text editing CRDTs by using Natural Language Processing. - Jim Bauwens; Kevin De Porre; Elisa Gonzalez Boix (PaPoC@EuroSys, 2023)

VeriFx: Correct Replicated Data Types for the Masses (Artifact). - Kevin De Porre; Carla Ferreira 001; Elisa Gonzalez Boix (Dagstuhl Artifacts Ser., 2023)

Concurrency Contracts for Designing Highly Available Replicated Data Types. - Kevin De Porre; Carla Ferreira 001; Elisa Gonzalez Boix (Softw. Pract. Exp., 2025)