| Publication | Date of Publication | Type |
|---|
| The alternating normal form of braids and its minimal automaton | 2026-01-30 | Paper |
Ergodic properties of concurrent systems
Discrete Event Dynamic Systems | 2025-07-18 | Paper |
Adaptive shivers sort: an alternative sorting algorithm
ACM Transactions on Algorithms | 2025-02-21 | Paper |
Galloping in fast-growth natural merge sorts
Algorithmica | 2025-02-14 | Paper |
| Timed systems through the lens of logic | 2024-12-19 | Paper |
International Mathematical Olympiads 2006--2021
Enseignement des Mathématiques (Cassini) | 2024-10-25 | Paper |
| Galloping in fast-growth natural merge sorts | 2024-06-24 | Paper |
| Reduction ratio of the IS-algorithm: worst and random cases | 2024-05-06 | Paper |
| Permutation pattern matching for doubly partially ordered patterns | 2024-05-06 | Paper |
Finding automatic sequences with few correlations
RAIRO - Theoretical Informatics and Applications | 2024-04-16 | Paper |
On shuffled-square-free words
Theoretical Computer Science | 2023-01-04 | Paper |
Uniform generation of infinite traces
Pure Mathematics and Applications | 2022-11-09 | Paper |
Finding automatic sequences with few correlations
Pure Mathematics and Applications | 2022-11-09 | Paper |
| scientific article; zbMATH DE number 7533351 (Why is no real title available?) | 2022-05-28 | Paper |
On the worst-case complexity of TimSort
(available as arXiv preprint) | 2021-08-04 | Paper |
Adaptive Shivers Sort: An Alternative Sorting Algorithm
Proceedings of the Fourteenth Annual ACM-SIAM Symposium on Discrete Algorithms | 2021-02-02 | Paper |
Unbounded product-form Petri nets
(available as arXiv preprint) | 2020-05-27 | Paper |
Asymptotic combinatorics of Artin-Tits monoids and of some other monoids
Journal of Algebra | 2019-03-11 | Paper |
| Uniform generation of infinite concurrent runs: the case of trace monoids | 2017-12-06 | Paper |
Dynamic complexity of the Dyck reachability
Lecture Notes in Computer Science | 2017-05-19 | Paper |
The relaxation normal form of braids is regular
International Journal of Algebra and Computation | 2017-04-03 | Paper |
| Counting bi-colored A'Campo forests | 2017-02-24 | Paper |
Uniform measures on braid monoids and dual braid monoids
Journal of Algebra | 2017-01-06 | Paper |
| Abelian Ramsey Length and Asymptotic Lower Bounds | 2016-09-20 | Paper |
Curve diagrams, laminations, and the geometric complexity of braids
Journal of Knot Theory and Its Ramifications | 2015-09-29 | Paper |
Enforceable Security Policies Revisited
Lecture Notes in Computer Science | 2012-06-29 | Paper |
