- 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 of Mathematics Sigma 11, no. e89. 2023. Doi. arXiv. - Hensel minimality I,
with R. Cluckers and I. Halupczok. Forum of Mathematics Pi 10, no. e11. 2022. Doi. arXiv. - A short note on groups in separably closed valued fields.
Annals of Pure and Applied Logic, 172.4, no. 102943. 2021. Doi. arXiv. - Imaginaries, Invariant types and pseudo-p-adically closed fields,
with S. Montenegro. Transactions of the American Mathematical Society, 374.2, p. 803–828. 2021. Doi. arXiv.
-
Valued fields, Metastable groups,
with E. Hrushovski. Selecta Mathematica (New Series) 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,
Journal für die reine und angewandte Mathematik (Crelle’s Journal) 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. Journal of the European Mathematical Society (JEMS) 20.10, p. 2467–2537. 2018 Doi. arXiv. -
Imaginaries in separably closed valued fields,
with M. Hils and M. Kamensky. Proceedings of the London Mathematical Society, 116, p. 1457–1488. 2018. Doi. arXiv. -
Games and strategies as event structures,
with S. Castellan, P. Clairambault and G. Winskel. Logical Methods in Computer Science, 13.3. 2017. Doi. arXiv. -
Definable and invariant types in enrichments of NIP theories,
with P. Simon. Journal of Symbolic Logic, 82.1, p. 317–324. Doi. arXiv. -
Some properties of analytic difference valued fields,
Journal of the Institute of Mathematics of 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.