Aliaume Lopez

25 papers A* 2A 1B 6Journal 13Unranked 2
YearRankTypeTitle / Venue / Authors
2026 J jnl
Well-quasi-ordered classes of bounded clique-width.
CoRR
Maël Dumas, Aliaume Lopez
2026 B conf
Well-quasi-orderings on word languages.
FoSSaCS
Nathan Lhote, Aliaume Lopez, Lia Schütze
2025 A conf
Commutative ℕ-Rational Series of Polynomial Growth.
STACS
Aliaume Lopez
2025 J jnl
Computability of Equivariant Gröbner bases.
CoRR
Arka Ghosh, Aliaume Lopez
2025 B conf
Labelled Well Quasi Ordered Classes of Bounded Linear Clique-Width.
MFCS
Aliaume Lopez
2025 — conf
Polyregular Model Checking.
CAV (3)
Aliaume Lopez, Rafal Stefanski
2025 J jnl
Polyregular Model Checking.
CoRR
Aliaume Lopez, Rafal Stefanski
2025 J jnl
Well-Quasi-Orderings on Word Languages.
CoRR
Nathan Lhote, Aliaume Lopez, Lia Schütze
2024 J jnl
Commutative N-polyregular functions.
CoRR
Aliaume Lopez
2024 J jnl
Labelled Well Quasi Ordered Classes of Bounded Linear Clique Width.
CoRR
Aliaume Lopez
2024 J jnl
ℕ-polyregular functions arise from well-quasi-orderings.
CoRR
Aliaume Lopez
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 B conf
Fixed Points and Noetherian Topologies.
FoSSaCS
Aliaume Lopez
2023 J jnl
Measuring well quasi-ordered finitary powersets.
CoRR
Sergio Abriola, Simon Halfon, Aliaume Lopez, Sylvain Schmitz, Philippe Schnoebelen, Isa Vialard
2023 A* conf
ℤ-polyregular functions.
LICS
Thomas Colcombet, Gaëtan Douéneau-Tabot, Aliaume Lopez
2022 J jnl
Fixed Points and Noetherian Topologies.
CoRR
Aliaume Lopez
2022 A* conf
When Locality Meets Preservation.
LICS
Aliaume Lopez
2022 J jnl
When Locality Meets Preservation.
CoRR
Aliaume Lopez
2022 J jnl
Z-polyregular functions.
CoRR
Thomas Colcombet, Gaëtan Douéneau-Tabot, Aliaume Lopez
2021 B conf
Preservation Theorems Through the Lens of Topology.
CSL
Aliaume Lopez
2020 J jnl
Preservation Theorems Through the Lens of Topology.
CoRR
Aliaume Lopez
2018 B conf
Basic Operational Preorders for Algebraic Effects in General, and for Combined Probability and Nondeterminism in Particular.
CSL
Aliaume Lopez, Alex Simpson
2017 — conf
A structural and nominal syntax for diagrams.
QPL
Dan R. Ghica, Aliaume Lopez
2017 B conf
Diagrammatic Semantics for Digital Circuits.
CSL
Dan R. Ghica, Achim Jung, Aliaume Lopez
2017 J jnl
Diagrammatic Semantics for Digital Circuits.
CoRR
Dan R. Ghica, Achim Jung, Aliaume Lopez