Aliaume Lopez

University of Warsaw — Poland

Computer Science · Physical Sciences

4h-index38citations20works0.02yr avg
OpenAlex↗ORCID↗Google Scholar↗Lab page↗

Accepting Students?

No reports yet. Know if this professor is taking students?

Research Topics

Advanced Algebra and Logic(8), semigroups and automata theory(7), Logic, programming, and type systems(5), Formal Methods in Verification(4), Advanced Topology and Set Theory(4)

Publications20 total

Polyregular Model Checking
Lecture notes in computer science·2025Open Access
$\mathbb{N}$-polyregular functions arise from well-quasi-orderings
arXiv (Cornell University)·2024Open Access
Labelled Well Quasi Ordered Classes of Bounded Linear Clique-Width
arXiv (Cornell University)·2024Open Access
Commutative N-polyregular functions
arXiv (Cornell University)·2024Open Access
Measuring well quasi-ordered finitary powersets
arXiv (Cornell University)·2023Open Access
First Order Preservation Theorems in Finite Model Theory : Locality, Topology, and Limit Constructions
SPIRE - Sciences Po Institutional REpository·2023Open Access
ℤ-polyregular functions
2023· 1 citedOpen Access
Infinitary Noetherian constructions II.Transfinite words and theregular subword topology
Colloquium Mathematicum·2023· 1 citedOpen Access
Fixed Points and Noetherian Topologies
Lecture notes in computer science·2023Open Access
When Locality Meets Preservation
2022Open Access
Z-polyregular functions
arXiv (Cornell University)·2022Open Access
Fixed Points and Noetherian Topologies
arXiv (Cornell University)·2022Open Access
When Locality Meets Preservation
arXiv (Cornell University)·2022Open Access
Infinitary Noetherian Constructions II. Transfinite Words and the Regular Subword Topology
arXiv (Cornell University)·2022Open Access
Quelques théorèmes de préservation sous le prisme de la topologie
HAL (Le Centre pour la Communication Scientifique Directe)·2021
Preservation Theorems Through the Lens of Topology
DROPS (Schloss Dagstuhl – Leibniz Center for Informatics)·2020Open Access
Basic Operational Preorders for Algebraic Effects in General, and for Combined Probability and Nondeterminism in Particular
DROPS (Schloss Dagstuhl – Leibniz Center for Informatics)·2018· 7 citedOpen Access
Diagrammatic Semantics for Digital Circuits
arXiv (Cornell University)·2017· 5 citedOpen Access
Diagrammatic Semantics for Digital Circuits
DROPS (Schloss Dagstuhl – Leibniz Center for Informatics)·2017· 17 citedOpen Access
Untitled
University of Birmingham Research Portal (University of Birmingham)· 7 citedOpen Access

Frequent Co-authors

Dan R. Ghica(3), Simon Halfon(3), Achim Jung(2), Thomas Colcombet(2), Gaëtan Douéneau-Tabot(2), Jean Goubault-Larrecq(2), Alex Simpson(1), Sergio Abriola(1), Sylvain Schmitz(1), Philippe Schnoebelen(1), Isa Vialard(1), Rafał Stefański(1)