Aliaume Lopez

Publication Activity (10 Years)

Years Active: 2017-2024
Publications (10 Years): 15

Top Topics

Diagrammatic Reasoning

Digital Circuits

Top Venues

Publications

Aliaume Lopez
Labelled Well Quasi Ordered Classes of Bounded Linear Clique Width. CoRR (2024)
Aliaume Lopez
Commutative N-polyregular functions. CoRR (2024)
Aliaume Lopez
Fixed Points and Noetherian Topologies. FoSSaCS (2023)
Thomas Colcombet, Gaëtan Douéneau-Tabot, Aliaume Lopez
ℤ-polyregular functions. LICS (2023)
Sergio Abriola, Simon Halfon, Aliaume Lopez, Sylvain Schmitz, Philippe Schnoebelen, Isa Vialard
Measuring well quasi-ordered finitary powersets. CoRR (2023)
Aliaume Lopez
Fixed Points and Noetherian Topologies. CoRR (2022)
Aliaume Lopez
When Locality Meets Preservation. LICS (2022)
Thomas Colcombet, Gaëtan Douéneau-Tabot, Aliaume Lopez
Z-polyregular functions. CoRR (2022)
Aliaume Lopez
When Locality Meets Preservation. CoRR (2022)
Aliaume Lopez
Preservation Theorems Through the Lens of Topology. CSL (2021)
Aliaume Lopez
Preservation Theorems Through the Lens of Topology. CoRR (2020)
Aliaume Lopez, Alex Simpson
Basic Operational Preorders for Algebraic Effects in General, and for Combined Probability and Nondeterminism in Particular. CSL (2018)
Dan R. Ghica, Achim Jung, Aliaume Lopez
Diagrammatic Semantics for Digital Circuits. CoRR (2017)
Dan R. Ghica, Aliaume Lopez
A structural and nominal syntax for diagrams. QPL (2017)
Dan R. Ghica, Achim Jung, Aliaume Lopez
Diagrammatic Semantics for Digital Circuits. CSL (2017)