Recherche

Publications — Journaux

Galloping in fast-growth natural merge sorts (2025)

Adaptive Shivers Sort: An alternative sorting algorithm (2024)

Finding automatic sequences with few correlations (2024)

On shuffled-square-free words (2023)

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

The relaxation normal form of braids is regular (2017)

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

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

Enforceable security policies revisited (2013)

Publications — Actes de conférences

The alternating normal form in braids and its minimal automaton (2024)

Galloping in fast-growth natural merge sorts (2022)

Reduction ratio of the IS-algorithm: Worst and random cases (2022)

Permutation pattern matching for doubly partially ordered patterns (2022)

Finding automatic sequences with few correlations (2022)

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

Adaptive Shivers Sort: An alternative sorting algorithm (2020)

Timed systems through the lens of logic (2019)

Finite bisimulations for dynamical systems with overlapping trajectories (2018)

On the worst-case complexity of TimSort (2018)

Unbounded product-form Petri nets (2017)

Dynamic complexity of the Dyck reachability (2017)

Enforceable security policies revisited (2012)

Prépublications

Counting bi-colored A'Campo forests (2017)

Courcelle's Theorem Made Dynamic (2017)

Abelian Ramsey length and asymptotic lower bounds (2016)

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

Autres

Travaux de vulgarisation

Olympiades internationales de mathématiques 2006-2021 (2021)

L’algorithme de tri ShiversSort adaptatif (2020)

Thèse de doctorat

Combinatoire des tresses (2016)

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

Complexity of Decision Problems in Computational Logic (2009)

Exposés (séminaires ou conférences sans actes)

Posters