New effective differential Nullstellensatz. - Richard Gustavson; Marina V. Kondratieva; Alexey Ovchinnikov (CoRR, 2014)

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

Bounds for Orders of Derivatives in Differential Elimination Algorithms. - Richard Gustavson; Alexey Ovchinnikov; Gleb Pogudin (ISSAC, 2016)

New order bounds in differential elimination algorithms. - Richard Gustavson; Alexey Ovchinnikov; Gleb Pogudin (J. Symb. Comput., 2018)

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