Amina Doumane

24 papers A* 7B 9C 1Journal 4Unranked 2
YearRankTypeTitle / Venue / Authors
2025 A* conf
Tree Algebras and Bisimulation-Invariant MSO on Finite Graphs.
ICALP
Thomas Colcombet, Amina Doumane, Denis Kuperberg
2024 A* conf
A Finite Presentation of Graphs of Treewidth at Most Three.
ICALP
Amina Doumane, Samuel Humeau, Damien Pous
2024 J jnl
A finite presentation of graphs of treewidth at most three.
CoRR
Amina Doumane, Samuel Humeau, Damien Pous
2024 J jnl
Tree algebras and bisimulation-invariant MSO on finite graphs.
CoRR
Thomas Colcombet, Amina Doumane, Denis Kuperberg
2022 A* conf
Bouncing Threads for Circular and Non-Wellfounded Proofs: Towards Compositionality with Circular Proofs.
LICS
David Baelde, Amina Doumane, Denis Kuperberg, Alexis Saurin
2022 A* conf
Regular Expressions for Tree-Width 2 Graphs.
ICALP
Amina Doumane
2021 B conf
Graph Characterization of the Universal Theory of Relations.
MFCS
Amina Doumane
2021 B conf
Non-Axiomatizability of the Equational Theories of Positive Relation Algebras (Invited Talk).
MFCS
Amina Doumane
2021 C conf
The Class of Representable Semilattice-Ordered Monoids Is Not a Variety.
RAMiCS
Amina Doumane
2020 J jnl
Bouncing threads for infinitary and circular proofs.
CoRR
David Baelde, Amina Doumane, Denis Kuperberg, Alexis Saurin
2020 A* conf
First-order tree-to-tree functions.
LICS
Mikolaj Bojanczyk, Amina Doumane
2020 J jnl
First-order tree-to-tree functions.
CoRR
Mikolaj Bojanczyk, Amina Doumane
2020 B conf
Non Axiomatisability of Positive Relation Algebras with Constants, via Graph Homomorphisms.
CONCUR
Amina Doumane, Damien Pous
2019 B conf
Kleene Algebra with Hypotheses.
FoSSaCS
Amina Doumane, Denis Kuperberg, Damien Pous, Cécilia Pradic
2018 B conf
Completeness for Identity-free Kleene Lattices.
CONCUR
Amina Doumane, Damien Pous
2018 B conf
Left-Handed Completeness for Kleene algebra, via Cyclic Proofs.
LPAR
Anupam Das, Amina Doumane, Damien Pous
2017 A* conf
Constructive completeness for the linear-time μ-calculus.
LICS
Amina Doumane
2017 — —
On the infinitary proof theory of logics with fixed points. (Théorie de la démonstration infinitaire pour les logiques à points fixes).
Amina Doumane
2016 B conf
Infinitary Proof Theory: the Multiplicative Additive Case.
CSL
David Baelde, Amina Doumane, Alexis Saurin
2016 A* conf
Towards Completeness via Proof Search in the Linear Time μ-calculus: The case of Büchi inclusions.
LICS
Amina Doumane, David Baelde, Lucca Hirschi, Alexis Saurin
2015 B conf
Least and Greatest Fixed Points in Ludics.
CSL
David Baelde, Amina Doumane, Alexis Saurin
2015 B conf
On the Dependencies of Logical Rules.
FoSSaCS
Marc Bagnol, Amina Doumane, Alexis Saurin
2014 — conf
Analyse de dépendances et correction des réseaux de preuve.
JFLA
Marc Bagnol, Amina Doumane, Alexis Saurin
2014 — conf
Nécessité faite loi : de la réduction linéaire de tête à l'évaluation paresseuse.
JFLA
Pierre-Marie Pédrot, Amina Doumane, Alexis Saurin