- 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.