Local First-Order Logic with Two Data Values. - Benedikt Bollig; Arnaud Sangnier; Olivier Stietel (FSTTCS, 2021)

On the Existential Fragments of Local First-Order Logics with Data. - Benedikt Bollig; Arnaud Sangnier; Olivier Stietel (GandALF, 2022)

Local first order logic with data: toward specification of distributed algorithms. (Logiques locale du premier ordre avec données: vers la specification d'algorithmes distribués). - Olivier Stietel (2023)

On the Satisfiability of Local First-Order Logics with Data. - Benedikt Bollig; Arnaud Sangnier; Olivier Stietel (Log. Methods Comput. Sci., 2024)

Space-efficient population protocols for exact majority in general graphs. - Joel Rybicki; Jakob Solnerzik; Olivier Stietel; Robin Vacus (CoRR, 2025)