Recherche

Publications — Journaux

The relaxation normal form of braids is regular (2017)

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

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

Travail réalisé en collaboration avec Samy Abbes, Sébastien Gouëzel et Jean Mairesse
Journal of Algebra, Volume 473, pages 627–666
Résumé - BibTeX - PDF

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

Journal of Knot Theory and Its Ramifications, Volume 24, Issue 08
Résumé - BibTeX - PDF

Enforceable security policies revisited (2013)

Travail réalisé en collaboration avec David Basin, Felix Klaedtke et Eugen Zălinescu
ACM Transactions on Information and System Security, Volume 16, Issue 1, ACM Library
Résumé - BibTeX - PDF

Publications — Actes de conférences

Unbounded product-form Petri nets (2017)

Travail réalisé en collaboration avec Patricia Bouyer-Decitre et Serge Haddad
International Conference on Concurrency Theory, LIPIcs–Leibniz International Proceedings in Informatics Volume 85, pages 31:1–31:16
Résumé - BibTeX - PDF

Dynamic complexity of the Dyck reachability (2017)

Travail réalisé en collaboration avec Patricia Bouyer-Decitre
Foundations of Software Science and Computation Structures, Lecture Notes in Computer Science Volume 10203, 2017, pages 265–282, Springer Verlag
Résumé - BibTeX - PDF

Enforceable security policies revisited (2012)

Travail réalisé en collaboration avec David Basin, Felix Klaedtke et Eugen Zălinescu
Principles of Security and Trust, Lecture Notes in Computer Science Volume 7215, 2012, pages 309–328, Springer Verlag
Version longue publiée dans ACM Transactions on Information and System Security (TISSEC, vol. 16, issue 1)
Résumé - BibTeX - PDF

Prépublications

Counting bi-colored A'Campo forests (2017)

Travail réalisé en collaboration avec Noémie Combe
Disponible sur arXiv
Résumé - BibTeX - PDF

Courcelle's Theorem Made Dynamic (2017)

Travail réalisé en collaboration avec Patricia Bouyer-Decitre et Nicolas Markey
Disponible sur arXiv
Résumé - BibTeX - PDF

Abelian Ramsey length and asymptotic lower bounds (2016)

Disponible sur arXiv
Résumé - BibTeX - PDF

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

Travail réalisé en collaboration avec Patricia Bouyer-Decitre et Nicolas Markey
Disponible sur arXiv
Résumé - BibTeX - PDF

Thèse de doctorat

Combinatoire des tresses

Effectuée à l'Université Paris 7 sour la direction de Jean Mairesse
PDF - Planches

Mémoire de master (stage d'option de l'École Polytechnique)

Complexity of Decision Problems in Computational Logic

Effectué à Rice University sous la direction de Moshe Vardi
PDF - Planches