H, Transfer principles for forking and dividing in expansions of pure short exact sequences of Abelian groups, préprint, arXiv:2409.10148, 2024.
H, Forking and invariant types in regular ordered Abelian groups, préprint, arXiv:2312.12279, 2023.
H, Extension bases in Henselian valued fields, préprint, arXiv:2210.01567, 2022.
H, François Laroussinie, QCTL model-checking with QBF solvers, publié dans Information and Computation 280:104642, 2021.
Voir aussi ma thèse soutenue en été 2024.