Aliaume Lopez

Identifiants chercheurs

IdHAL :

aliaume-lopez

ORCID :

0000-0002-4205-327X

arXiv :

lopez_a_3

Publications

Thèse (1)

First Order Preservation Theorems in Finite Model Theory : Locality, Topology, and Limit Constructions Aliaume Lopez Logic in Computer Science [cs.LO]. Université Paris-Saclay, 2023. English. ⟨NNT : 2023UPASG046⟩ Thèse tel-04534568v2

Communication dans un congrès (7)

Z-polyregular functions Thomas Colcombet,Gaëtan Douéneau-Tabot,Aliaume Lopez 2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), IEEE, Jun 2023, Boston, United States. ⟨10.1109/LICS56636.2023.10175685⟩ Communication dans un congrès hal-04324059v1
ℤ-polyregular functions Thomas Colcombet,Gaëtan Douéneau-Tabot,Aliaume Lopez 2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), Jun 2023, Boston, United States. pp.1-13, ⟨10.1109/LICS56636.2023.10175685⟩ Communication dans un congrès hal-04284141v1
Fixed Points and Noetherian Topologies Aliaume Lopez FoSSaCS, Apr 2023, Paris, France. pp.456-476, ⟨10.1007/978-3-031-30829-1_22⟩ Communication dans un congrès hal-04284124v1
Preservation Theorems Through the Lens of Topology Aliaume Lopez 29th EACSL Annual Conference on Computer Science Logic (CSL 2021), Jan 2021, Ljubljana, Slovenia. pp.32:1--32:17, ⟨10.4230/LIPIcs.CSL.2021.32⟩ Communication dans un congrès hal-03883987v1
A Structural and Nominal Syntax for Diagrams Dan Ghica,Aliaume Lopez QPL, 2017, Nijmegen, Netherlands. pp.71-83, ⟨10.4204/EPTCS.266.4⟩ Communication dans un congrès hal-04360242v1
Basic Operational Preorders for Algebraic Effects in General, and for Combined Probability and Nondeterminism in Particular Aliaume Lopez,Alex Simpson computer science logic, Jun 2023, Boston, France. pp.1-13, ⟨10.4230/LIPIcs.CSL.2018.29⟩ Communication dans un congrès hal-04360090v1
Diagrammatic Semantics for Digital Circuits Dan Ghica,Achim Jung,Aliaume Lopez computer science logic, 2017, Dagstuhl, Germany. ⟨10.4230/LIPIcs.CSL.2017.24⟩ Communication dans un congrès hal-04360237v1

Article dans une revue (2)

Infinitary Noetherian Constructions II. Transfinite Words and the Regular Subword Topology Jean Goubault-Larrecq,Simon Halfon,Aliaume Lopez Colloquium Mathematicum, 2023, 173 (2), pp.227-250. ⟨10.4064/cm8793-3-2023⟩ Article dans une revue hal-04283731v1
When Locality Meets Preservation Aliaume Lopez Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer Science, 2022, pp.1-14. ⟨10.1145/3531130.3532498⟩ Article dans une revue hal-03883990v1

Pré-publication, Document de travail (1)

Z-polyregular functions Thomas Colcombet,Gaëtan Douéneau-Tabot,Aliaume Lopez 2023 Pré-publication, Document de travail (preprint/prepublication) hal-04097227v1