Diagrammatic Semantics for Digital Circuits. - Dan R. Ghica; Achim Jung; Aliaume Lopez (CSL, 2017)

A structural and nominal syntax for diagrams. - Dan R. Ghica; Aliaume Lopez (QPL, 2017)

Basic Operational Preorders for Algebraic Effects in General, and for Combined Probability and Nondeterminism in Particular. - Aliaume Lopez; Alex Simpson (CSL, 2018)

Preservation Theorems Through the Lens of Topology. - Aliaume Lopez (CSL, 2021)

When Locality Meets Preservation. - Aliaume Lopez (LICS, 2022)

Fixed Points and Noetherian Topologies. - Aliaume Lopez (FoSSaCS, 2023)

ℤ-polyregular functions. - Thomas Colcombet; Gaëtan Douéneau-Tabot; Aliaume Lopez (LICS, 2023)

Measuring well quasi-ordered finitary powersets. - Sergio Abriola; Simon Halfon; Aliaume Lopez; Sylvain Schmitz; Philippe Schnoebelen; Isa Vialard (CoRR, 2023)

First Order Preservation Theorems in Finite Model Theory : Locality, Topology, and Limit Constructions. (Théorèmes de préservation pour la logique au premier ordre: localité, topologie et constructions limites). - Aliaume Lopez (2023)

Commutative N-polyregular functions. - Aliaume Lopez (CoRR, 2024)

ℕ-polyregular functions arise from well-quasi-orderings. - Aliaume Lopez (CoRR, 2024)

Polyregular Model Checking. - Aliaume Lopez; Rafal Stefanski (CAV (3), 2025)

Labelled Well Quasi Ordered Classes of Bounded Linear Clique-Width. - Aliaume Lopez (MFCS, 2025)

Commutative ℕ-Rational Series of Polynomial Growth. - Aliaume Lopez (STACS, 2025)

Well-Quasi-Orderings on Word Languages. - Nathan Lhote; Aliaume Lopez; Lia Schütze (CoRR, 2025)

Computability of Equivariant Gröbner bases. - Arka Ghosh; Aliaume Lopez (CoRR, 2025)