- Enriching a predicate and tame expansions of the integers,
avec G. Conant, C. d’Elbée, Y. Halevi et L. Jimenez. J. Math. Log. 25.1, no. 2450011, 54 p. 2025. Doi arXiv - Pseudo T-closed fields,
avec S. Montenegro. Model Theory 4.1, 1–35. 2025. Doi arXiv - Sur un théorème de Lang-Weil tordu, d’après E. Hrushovski, K. V.
Shuddhodan et Y. Varshavsky,
Séminaire Bourbaki. Volume 2021/2022. Exposés 1197–1210. Société Mathématique de France (SMF). Astérisque 446, p. 121–140, Exp. No. 1200. 2023. Doi arXiv - Hensel minimality II : Mixed characteristic and a diophantine application,
avec R. Cluckers, I. Halupczok et F. Vermeulen. Forum of Mathematics Sigma 11, no. e89. 2023. Doi arXiv - Hensel minimality I,
avec R. Cluckers et I. Halupczok. Forum of Mathematics Pi 10, no. e11. 2022. Doi arXiv
-
A short note on groups in separably closed valued fields.
Ann. Pure Appl. Logic 172.4, no. 102943. 2021. Doi arXiv -
Imaginaries, Invariant types and pseudo-p-adically closed fields,
avec S. Montenegro. Trans. Am. Math. Soc. 374.2, p. 803–828. 2021. Doi arXiv -
Valued fields, Metastable groups,
avec E. Hrushovski. Sel. Math. (New Ser.) 25.3, no. 47. Doi arXiv 2019.Un corrigendum écrit avec P. Wang rectifie une erreur. Voici la version corrigée.
-
Imaginaries and invariant types in existentially closed valued differential fields,
J. Reine Angew. Math. 750, p. 157–196. 2019. Doi arXiv
Cette version antérieure contient quelques résultats supplémentaires. -
Definable equivalence relations and zeta functions of groups,
avec E. Hrushovski et Ben Martin, et an appendix by R. Cluckers. J. Eur. Math. Soc. (JEMS) 20.10, p. 2467–2537. 2018 Doi arXiv -
Imaginaries in separably closed valued fields,
avec M. Hils et M. Kamensky. Proc. Lond. Math. Soc. (3) 116, p. 1457–1488. 2018. Doi arXiv -
Games and strategies as event structures,
avec S. Castellan, P. Clairambault et G. Winskel. Log. Methods Comput. Sci. 13.3. 2017. Doi arXiv -
Definable and invariant types in enrichments of NIP theories,
avec P. Simon. J. Symb. Log. 82.1, p. 317–324. Doi arXiv -
Some properties of analytic difference valued fields,
J. Inst. Math. Jussieu 16.3, p. 447–499. 2017. Doi arXiv -
Concurrent Strategies,
avec G. Winskel. Logic in Computer Science (LICS 2011), p. 409–418. 2011. Doi -
Validating Register Allocation and Spilling,
avec X. Leroy. Compiler Construction (CC 2010), volume 6011 of Lecture Notes in Computer Science, p. 224–243. 2010. Doi