Recherche

Publications — Journaux

Asymptotic combinatorics of Artin-Tits monoids and of some other monoids (2019)

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

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

Finite bisimulations for dynamical systems with overlapping trajectories (2018)

Travail réalisé en collaboration avec Béatrice Bérard et Patricia Bouyer-Decitre
Computer Science in Logic, LIPIcs–Leibniz International Proceedings in Informatics Volume 119, pages 26:1–26:19
Résumé - BibTeX - PDF - Planches

On the worst-case complexity of TimSort (2018)

Travail réalisé en collaboration avec Nicolas Auger, Cyril Nicaud et Carine Pivoteau
European Symposium on Algorithms, LIPIcs–Leibniz International Proceedings in Informatics Volume 112, pages 4:1–4:13
Résumé - BibTeX - PDF - Planches

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 - Planches

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 - Planches

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 - Planches

Prépublications

Adaptive Shivers Sort: An Alternative Sorting Algorithm (2018)

Disponible sur arXiv
Résumé - BibTeX - PDF

Uniform generation of infinite concurrent runs: the case of trace monoids (2017)

Travail réalisé en collaboration avec Samy Abbes
Disponible sur arXiv
Résumé - BibTeX - PDF

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