Aliaume Lopez

11
Documents
Affiliations actuelles
  • Laboratoire Méthodes Formelles (LMF)
  • Institut de Recherche en Informatique Fondamentale (IRIF (UMR_8243))
Identifiants chercheurs

Publications

Publications

ℤ-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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

Z-polyregular functions

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

2023

Pré-publication, Document de travail (preprint/prepublication) hal-04097227v1