| 2025 | ICALP | Tree Algebras and Bisimulation-Invariant MSO on Finite Graphs. | Thomas Colcombet, Amina Doumane, Denis Kuperberg |
| 2024 | ICALP | A Finite Presentation of Graphs of Treewidth at Most Three. | Amina Doumane, Samuel Humeau, Damien Pous |
| 2022 | ICALP | Regular Expressions for Tree-Width 2 Graphs. | Amina Doumane |
| 2022 | LICS | Bouncing Threads for Circular and Non-Wellfounded Proofs: Towards Compositionality with Circular Proofs. | David Baelde, Amina Doumane, Denis Kuperberg, Alexis Saurin |
| 2021 | MFCS | Non-Axiomatizability of the Equational Theories of Positive Relation Algebras (Invited Talk). | Amina Doumane |
| 2021 | MFCS | Graph Characterization of the Universal Theory of Relations. | Amina Doumane |
| 2020 | CONCUR | Non Axiomatisability of Positive Relation Algebras with Constants, via Graph Homomorphisms. | Amina Doumane, Damien Pous |
| 2020 | LICS | First-order tree-to-tree functions. | Mikolaj Bojanczyk, Amina Doumane |
| 2019 | FOSSACS | Kleene Algebra with Hypotheses. | Amina Doumane, Denis Kuperberg, Damien Pous, Ccilia Pradic |
| 2018 | CONCUR | Completeness for Identity-free Kleene Lattices. | Amina Doumane, Damien Pous |
| 2018 | LPAR | Left-Handed Completeness for Kleene algebra, via Cyclic Proofs. | Anupam Das, Amina Doumane, Damien Pous |
| 2017 | LICS | Constructive completeness for the linear-time μ-calculus. | Amina Doumane |
| 2016 | CSL | Infinitary Proof Theory: the Multiplicative Additive Case. | David Baelde, Amina Doumane, Alexis Saurin |
| 2016 | LICS | Towards Completeness via Proof Search in the Linear Time μ-calculus: The case of Bchi inclusions. | Amina Doumane, David Baelde, Lucca Hirschi, Alexis Saurin |
| 2015 | CSL | Least and Greatest Fixed Points in Ludics. | David Baelde, Amina Doumane, Alexis Saurin |
| 2015 | FOSSACS | On the Dependencies of Logical Rules. | Marc Bagnol, Amina Doumane, Alexis Saurin |