A New Bound for the Existence of Differential Field Extensions. - Richard Gustavson; Omar León Sánchez (MACIS, 2015)

Parametrized logarithmic equations and their Galois theory. - Omar León Sánchez (ACM Commun. Comput. Algebra, 2015)

The Model Companion of differential Fields with Free operators. - Omar León Sánchez; Rahim Moosa (J. Symb. Log., 2016)

Some Definable Galois Theory and Examples. - Omar León Sánchez; Anand Pillay (Bull. Symb. Log., 2017)

An upper bound for the order of a differential algebraic variety. - Omar León Sánchez (ACM Commun. Comput. Algebra, 2017)

Effective bounds for the consistency of differential equations. - Richard Gustavson; Omar León Sánchez (J. Symb. Comput., 2018)

Estimates for the coefficients of differential dimension polynomials. - Omar León Sánchez (Math. Comput., 2019)

On the Relationship Between Differential Algebra and Tropical Differential Algebraic Geometry. - François Boulier; Sebastian Falkensteiner; Marc Paul Noordman; Omar León Sánchez (CASC, 2021)

On Coincidence of Dimensions in Closed Ordered Differential Fields. - Pantelis E. Eleftheriou; Omar León Sánchez; Nathalie Regnault (Notre Dame J. Formal Log., 2021)

Model theory of differential fields with finite group actions. - Daniel Max Hoffmann; Omar León Sánchez (J. Math. Log., 2022)

More on Galois Cohomology, Definability, and differential Algebraic Groups. - Omar León Sánchez; David Meretzky; Anand Pillay (J. Symb. Log., 2024)