● Beautiful pairs [arxiv].
with Martin Hils and Jinhe Ye (submitted).
● Arc-wise analytic t-stratifications [arxiv].
with Immanuel Halupczok (submitted).
● Topological fields with a generic derivation [arxiv]
with Françoise Point (submitted).
●A proof of Liouville's theorem via o-minimality [arxiv].
● Cohomology of algebraic varieties over non-archimedean fields [link].
with Mário Edmundo and Jihne Ye. Forum of Mathematics, Sigma, 10, E94, 2022. doi:10.1017/fms.2022.84 (Video at GTM seminar)
● Definable completeness of P-minimal fields and applications [link]
with Françoise Delon, Journal of Mathematical Logic, Vol. 22, No. 02, 2250004 (2022).
● Pro-definability of spaces of definable types [link].
with Jinhe Ye, Proc. Amer. Math. Soc. Ser. B 8 (2021), 173–188.
● Definable sets of Berkovich curves [link]
with Jérôme Poineau, J. Inst. Math. Jussieu 20 (2021), no. 4, 1275–1339. (published online 2019).
● Valuation independence and vs-defectless extensions of valued fields [link]
with Franz-Viktor Kulhmann and Anna Rzepka, Journal of Algebra 555 (2020) 69–95.
● Real closed valued fields with analytic structure [link]
with Deirdre Haskell, Proc. Edinb. Math. Soc. (2) 63 (2020), no. 1, 249–261.
● Exponential-constructible functions in P-minimal structures [link]
with Saskia Chambille and Eva Leenknegt, Journal of Mathematical Logic (2050005).
● Definable functions in tame expansions of algebraically closed valued fields [link]
with Françoise Delon, Israel J. Math. 236 (2020), no. 2, 651–683.
● Strong density of definable types and closed ordered differential fields [link]
with Quentin Brouette and Françoise Point, The Journal of Symbolic Logic, 84(3), 1099-1117.
● Clustered Cell Decomposition in P-Minimal Structures [link]
with Saskia Chambille and Eva Leenknegt, Annals of Pure and Applied Logic, Volume 168, Issue 11, 2017, Pages 2050-2086.
● A P-minimal field without definable Skolem functions [link]
with Huu Kien Nguyen, The Journal of Symbolic Logic, 82(2), 778–786, May 2017.
● Topological cell decomposition and dimension theory in P-minimal fields [link]
with Luck Darnière and Eva Leenknegt, The Journal of Symbolic Logic, 82(1), 347-358, March 2017.
● Integration and Cell decomposition in P-minimal structures [link]
with Eva Leenknegt, The Journal of Symbolic Logic, 81(3), pp. 1124–1141, September 2016.
● Definable types in algebraically closed valued fields [link].
with Françoise Delon, Mathematical Logic Quarterly Volume 62, Issue 1-2, pages 35–45, February 2016.
● Locally constant functions in C-minimal structures [link].
The Journal of Symbolic Logic, 80, pp 207-220. 2015.
● An introduction to C-minimal structures and their cell decomposition theorem
In Valuation theory and interaction, 2014, Editors: Antonio Campillo, Franz-Viktor Kuhlmann and
Bernard Teissier, Series of Congress Reports of the EMS, p. 167-207. 2014.
● An application of the decomposition theorem [link]
RIMS Kokyuroku, in Proceedings of Model Theory Kirishima 2010: New
developments of independence notions in model theory, p. 114-121.
● E.J. Andrade, D. Cancino, , C.M. Márquez, E.J. Vargas, Lógica y Pensamiento Formal ("Logic and Formal Thought"), Lecciones de Ciencias Humanas, Universidad del Rosario, Bogotá, Colombia, 2008. Number of pages 207, ISBN 9789588378329.
● Courbes de Berkovich et définissabilité [link],
with Jérôme Poineau, Lettre de l'INSMI, October 16, 2020.