-
Enriching a predicate and tame expansions of the integers,
with G. Conant, C. d’Elbée, Y. Halevi and L. Jimenez. J. Math. Log. 25.1, no. 2450011, 54 p. 2025. Doi. arXiv. -
Pseudo T-closed fields,
with 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,
with R. Cluckers, I. Halupczok and F. Vermeulen. Forum Math. Sigma 11, no. e89. 2023. Doi. arXiv. -
Hensel minimality I,
with R. Cluckers and I. Halupczok. Forum Math. 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,
with S. Montenegro. Trans. Am. Math. Soc. 374.2, p. 803–828. 2021. Doi. arXiv. -
Valued fields, Metastable groups,
with E. Hrushovski. Sel. Math. (New Ser.) 25.3, no. 47. Doi. arXiv. 2019.An error is fixed in a corrigendum written with P. Wang. This is the corrected version.
-
Imaginaries and invariant types in existentially closed valued differential fields,
J. Reine Angew. Math. 750, p. 157–196. 2019. Doi. arXiv.
In this earlier version, there are a few more results that did not make it. -
Definable equivalence relations and zeta functions of groups,
with E. Hrushovski and Ben Martin, and an appendix by R. Cluckers. J. Eur. Math. Soc. (JEMS) 20.10, p. 2467–2537. 2018 Doi. arXiv. -
Imaginaries in separably closed valued fields,
with M. Hils and M. Kamensky. Proc. Lond. Math. Soc. (3) 116.6, p. 1457–1488. 2018. Doi. arXiv. -
Games and strategies as event structures,
with S. Castellan, P. Clairambault and G. Winskel. Log. Methods Comput. Sci. 13.3. 2017. Doi. arXiv. -
Definable and invariant types in enrichments of NIP theories,
with 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,
with G. Winskel. Logic in Computer Science (LICS 2011), p. 409–418. 2011. Doi. -
Validating Register Allocation and Spilling,
with X. Leroy. Compiler Construction (CC 2010), volume 6011 of Lecture Notes in Computer Science, p. 224–243. 2010. Doi.