Amina Doumane

Publication Activity (10 Years)

Years Active: 2014-2024
Publications (10 Years): 17

Top Venues

LICS

CoRR

FoSSaCS

ICALP

Paris Diderot University, France (PHD)

Education History

Paris Diderot University, France

PHD

Publications

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

Amina Doumane.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Amina Doumane