Aliaume Lopez

According to our database, Aliaume Lopez authored at least 12 papers between 2017 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

ℕ-polyregular functions arise from well-quasi-orderings.

Aliaume Lopez

CoRR, 2024

Labelled Well Quasi Ordered Classes of Bounded Linear Clique Width.

Aliaume Lopez

CoRR, 2024

Commutative N-polyregular functions.

Aliaume Lopez

CoRR, 2024

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

PhD thesis, 2023

Measuring well quasi-ordered finitary powersets.

Sergio Abriola, Simon Halfon, Aliaume Lopez, Sylvain Schmitz, Philippe Schnoebelen, Isa Vialard

CoRR, 2023

ℤ-polyregular functions.

Thomas Colcombet, Gaëtan Douéneau-Tabot, Aliaume Lopez

Proceedings of the 38th Annual ACM/IEEE Symposium on Logic in Computer Science, 2023

Fixed Points and Noetherian Topologies.

Aliaume Lopez

Proceedings of the Foundations of Software Science and Computation Structures, 2023

2022

When Locality Meets Preservation.

Aliaume Lopez

Proceedings of the LICS '22: 37th Annual ACM/IEEE Symposium on Logic in Computer Science, Haifa, Israel, August 2, 2022

2021

Preservation Theorems Through the Lens of Topology.

Aliaume Lopez

Proceedings of the 29th EACSL Annual Conference on Computer Science Logic, 2021

2018

Basic Operational Preorders for Algebraic Effects in General, and for Combined Probability and Nondeterminism in Particular.

Aliaume Lopez, Alex Simpson

Proceedings of the 27th EACSL Annual Conference on Computer Science Logic, 2018

2017

A structural and nominal syntax for diagrams.

Dan R. Ghica, Aliaume Lopez

Proceedings of the Proceedings 14th International Conference on Quantum Physics and Logic, 2017

Diagrammatic Semantics for Digital Circuits.

Dan R. Ghica, Achim Jung, Aliaume Lopez

Proceedings of the 26th EACSL Annual Conference on Computer Science Logic, 2017