Aliaume Lopez
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
11
Venues
6
Active years
2017–2026
Best venue rank
A*
Where they publish
Papers
11 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | FOSSACS | Well-quasi-orderings on word languages. | Nathan Lhote, Aliaume Lopez, Lia Schtze |
| 2026 | LICS | Well-Quasi-Ordered Classes of Bounded Clique-Width. | Mal Dumas, Aliaume Lopez |
| 2025 | CAV | Polyregular Model Checking. | Aliaume Lopez, Rafal Stefanski |
| 2025 | MFCS | Labelled Well Quasi Ordered Classes of Bounded Linear Clique-Width. | Aliaume Lopez |
| 2025 | STACS | Commutative ℕ-Rational Series of Polynomial Growth. | Aliaume Lopez |
| 2023 | FOSSACS | Fixed Points and Noetherian Topologies. | Aliaume Lopez |
| 2023 | LICS | ℤ-polyregular functions. | Thomas Colcombet, Gatan Douneau-Tabot, Aliaume Lopez |
| 2022 | LICS | When Locality Meets Preservation. | Aliaume Lopez |
| 2021 | CSL | Preservation Theorems Through the Lens of Topology. | Aliaume Lopez |
| 2018 | CSL | Basic Operational Preorders for Algebraic Effects in General, and for Combined Probability and Nondeterminism in Particular. | Aliaume Lopez, Alex Simpson |
| 2017 | CSL | Diagrammatic Semantics for Digital Circuits. | Dan R. Ghica, Achim Jung, Aliaume Lopez |