Factoring pattern-free permutations into separable ones,to appear at SODA 2024 with Édouard Bonnet, Romain Bourneuf, and Stéphan Thomassé [pdf]slides
A tamed family of triangle-free graphs with unbounded chromatic number,2023 with Édouard Bonnet, Romain Bourneuf, Julien Duron, Stéphan Thomassé, and Nicolas Trotignon [pdf]
Maximum Independent Set when excluding an induced minor: K1 + tK2 and tC3 ⊎ C4,ESA 2023 with Édouard Bonnet, Julien Duron, Stéphan Thomassé, and Alexandra Wesolek [pdf]slides
First-order logic and twin-width in tournaments and dense oriented graphs,ESA 2023 with Stéphan Thomassé [pdf]slides
Sparse graphs with bounded induced cycle packing number have logarithmic treewidth,SODA 2023 with Marthe Bonamy, Édouard Bonnet, Hugues Déprés, Louis Esperet, Claire Hilaire, Stéphan Thomassé, Alexandra Wesolek [pdf]slides
Twin-width VII: groups,2022 with Édouard Bonnet, Romain Tessera, and Stéphan Thomassé [pdf]slidesrecorded talk
Twin-width III: max independent set, min dominating set, and coloring,ICALP 2021 with Édouard Bonnet, Eun Jung Kim, Stéphan Thomassé, and Rémi Watrigant [pdf]
Twin-width II: small classes,SODA 2021 with Édouard Bonnet, Eun Jung Kim, Stéphan Thomassé, and Rémi Watrigant [pdf]slidesrecorded talk
Big Step Normalisation for Type Theory,TYPES 2019 with Thorsten Altenkirch [pdf]