Aliaume Lopez
- Laboratoire Méthodes Formelles (LMF)
- Institut de Recherche en Informatique Fondamentale (IRIF (UMR_8243))
Publications
Publications
|
|
First Order Preservation Theorems in Finite Model Theory : Locality, Topology, and Limit ConstructionsLogic in Computer Science [cs.LO]. Université Paris-Saclay, 2023. English. ⟨NNT : 2023UPASG046⟩ |
|
|
ℤ-polyregular functions2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), Jun 2023, Boston, United States. pp.1-13, ⟨10.1109/LICS56636.2023.10175685⟩ |
|
|
Z-polyregular functions2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), IEEE, Jun 2023, Boston, United States. ⟨10.1109/LICS56636.2023.10175685⟩ |
|
|
Fixed Points and Noetherian TopologiesFoSSaCS, Apr 2023, Paris, France. pp.456-476, ⟨10.1007/978-3-031-30829-1_22⟩ |
|
|
Preservation Theorems Through the Lens of Topology29th EACSL Annual Conference on Computer Science Logic (CSL 2021), Jan 2021, Ljubljana, Slovenia. pp.32:1--32:17, ⟨10.4230/LIPIcs.CSL.2021.32⟩ |
|
|
A Structural and Nominal Syntax for DiagramsQPL, 2017, Nijmegen, Netherlands. pp.71-83, ⟨10.4204/EPTCS.266.4⟩ |
Basic Operational Preorders for Algebraic Effects in General, and for Combined Probability and Nondeterminism in Particularcomputer science logic, Jun 2023, Boston, France. pp.1-13, ⟨10.4230/LIPIcs.CSL.2018.29⟩ |
|
Diagrammatic Semantics for Digital Circuitscomputer science logic, 2017, Dagstuhl, Germany. ⟨10.4230/LIPIcs.CSL.2017.24⟩ |
|
|
Infinitary Noetherian Constructions II. Transfinite Words and the Regular Subword TopologyColloquium Mathematicum, 2023, 173 (2), pp.227-250. ⟨10.4064/cm8793-3-2023⟩ |
|
|
When Locality Meets PreservationProceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer Science, 2022, pp.1-14. ⟨10.1145/3531130.3532498⟩ |
|
|
Z-polyregular functions2023 |