- 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.
Annals of Pure and Applied Logic, 172.4, no. 102943. 2021. Doi. arXiv. - Imaginaries, Invariant types and pseudo-p-adically closed fields,
avec S. Montenegro. Transactions of the American Mathematical Society, 374.2, p. 803–828. 2021. Doi. arXiv.
-
Valued fields, Metastable groups,
avec E. Hrushovski. Selecta Mathematica (New Series) 25.3, no. 47. Doi. arXiv. 2019.Un corrigendum écrit P. Wang réctifie une erreur. Voici la version corrigée.
-
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.
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. Journal of the European Mathematical Society (JEMS) 20.10, p. 2467–2537. 2018 Doi. arXiv. -
Imaginaries in separably closed valued fields,
avec M. Hils et M. Kamensky. Proceedings of the London Mathematical Society, 116, p. 1457–1488. 2018. Doi. arXiv. -
Games and strategies as event structures,
avec S. Castellan, P. Clairambault et G. Winskel. Logical Methods in Computer Science, 13.3. 2017. Doi. arXiv. -
Definable and invariant types in enrichments of NIP theories,
avec 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,
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.