Analyse de dépendances et correction des réseaux de preuve. - Marc Bagnol; Amina Doumane; Alexis Saurin (JFLA, 2014)

Nécessité faite loi : de la réduction linéaire de tête à l'évaluation paresseuse. - Pierre-Marie Pédrot; Amina Doumane; Alexis Saurin (JFLA, 2014)

Least and Greatest Fixed Points in Ludics. - David Baelde; Amina Doumane; Alexis Saurin (CSL, 2015)

On the Dependencies of Logical Rules. - Marc Bagnol; Amina Doumane; Alexis Saurin (FoSSaCS, 2015)

Infinitary Proof Theory: the Multiplicative Additive Case. - David Baelde; Amina Doumane; Alexis Saurin (CSL, 2016)

Towards Completeness via Proof Search in the Linear Time μ-calculus: The case of Büchi inclusions. - Amina Doumane; David Baelde; Lucca Hirschi; Alexis Saurin (LICS, 2016)

Constructive completeness for the linear-time μ-calculus. - Amina Doumane (LICS, 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 (2017)

Completeness for Identity-free Kleene Lattices. - Amina Doumane; Damien Pous (CONCUR, 2018)

Left-Handed Completeness for Kleene algebra, via Cyclic Proofs. - Anupam Das 002; Amina Doumane; Damien Pous (LPAR, 2018)

Kleene Algebra with Hypotheses. - Amina Doumane; Denis Kuperberg; Damien Pous; Cécilia Pradic (FoSSaCS, 2019)

Non Axiomatisability of Positive Relation Algebras with Constants, via Graph Homomorphisms. - Amina Doumane; Damien Pous (CONCUR, 2020)

First-order tree-to-tree functions. - Mikolaj Bojanczyk; Amina Doumane (LICS, 2020)

Bouncing threads for infinitary and circular proofs. - David Baelde; Amina Doumane; Denis Kuperberg; Alexis Saurin (CoRR, 2020)

The Class of Representable Semilattice-Ordered Monoids Is Not a Variety. - Amina Doumane (RAMiCS, 2021)

Non-Axiomatizability of the Equational Theories of Positive Relation Algebras (Invited Talk). - Amina Doumane (MFCS, 2021)

Graph Characterization of the Universal Theory of Relations. - Amina Doumane (MFCS, 2021)

Regular Expressions for Tree-Width 2 Graphs. - Amina Doumane (ICALP, 2022)

Bouncing Threads for Circular and Non-Wellfounded Proofs: Towards Compositionality with Circular Proofs. - David Baelde; Amina Doumane; Denis Kuperberg; Alexis Saurin (LICS, 2022)

A Finite Presentation of Graphs of Treewidth at Most Three. - Amina Doumane; Samuel Humeau 002; Damien Pous (ICALP, 2024)

Tree Algebras and Bisimulation-Invariant MSO on Finite Graphs. - Thomas Colcombet; Amina Doumane; Denis Kuperberg (ICALP, 2025)