Research

Publications — Journal

The relaxation normal form of braids is regular (2017)

International Journal of Algebra and Computation, Volume 27, Issue 04, pages 61–105
Abstract - BibTeX - PDF

Uniform measures on braid monoids and dual braid monoids (2017)

Joint work with Samy Abbes, Sébastien Gouëzel and Jean Mairesse
Journal of Algebra, Volume 473, pages 627–666
Abstract - BibTeX - PDF

Curve diagrams, laminations, and the geometric complexity of braids (2015)

Journal of Knot Theory and Its Ramifications, Volume 24, Issue 08
Abstract - BibTeX - PDF

Enforceable security policies revisited (2013)

Joint work with David Basin, Felix Klaedtke and Eugen Zălinescu
ACM Transactions on Information and System Security, Volume 16, Issue 1, ACM Library
Abstract - BibTeX - PDF

Publications — Conference

Unbounded product-form Petri nets (2017)

Joint work with Patricia Bouyer-Decitre and Serge Haddad
International Conference on Concurrency Theory, LIPIcs–Leibniz International Proceedings in Informatics Volume 85, pages 31:1–31:16
Abstract - BibTeX - PDF

Dynamic complexity of the Dyck reachability (2017)

Joint work with Patricia Bouyer-Decitre
Foundations of Software Science and Computation Structures, Lecture Notes in Computer Science Volume 10203, 2017, pages 265–282, Springer Verlag
Abstract - BibTeX - PDF

Enforceable security policies revisited (2012)

Joint work with David Basin, Felix Klaedtke and Eugen Zălinescu
Principles of Security and Trust, Lecture Notes in Computer Science Volume 7215, 2012, pages 309–328, Springer Verlag
Extended version published in ACM Transactions on Information and System Security (TISSEC, vol. 16, issue 1)
Abstract - BibTeX - PDF
Talk for POST 2012 in Tallinn (Estonia), March 27, 2012 : Slides

Preprints

Counting bi-colored A'Campo forests (2017)

Joint work with Noémie Combe
Available on arXiv
Abstract - BibTeX - PDF

Courcelle's Theorem Made Dynamic (2017)

Joint work with Patricia Bouyer-Decitre and Nicolas Markey
Available on arXiv
Abstract - BibTeX - PDF

Abelian Ramsey length and asymptotic lower bounds (2016)

Available on arXiv
Abstract - BibTeX - PDF

Dynamic complexity of parity games with bounded tree-width (2016)

Joint work with Patricia Bouyer-Decitre and Nicolas Markey
Available on arXiv
Abstract - BibTeX - PDF

PhD Thesis

Combinatorics of Braids

Performed at University Paris 7 under the supervision of Jean Mairesse
PDF - Slides

Bachelor Thesis

Complexity of Decision Problems in Computational Logic

Performed at Rice University under the supervision of Moshe Vardi
PDF - Slides