



Inputoutput equations and identifiability of linear ODE models (by A. Ovchinnikov, G. Pogudin,
and P. Thompson), 2020 (PDF)

Webbased Structural
Identifiability Analyzer (by I. Ilmer, A. Ovchinnikov, and G. Pogudin),
accepted for publication in the proceedings of the Computational Methods in Systems Biology conference 2021 (PDF, Code)

CLUE: Exact maximal reduction of kinetic models by constrained lumping of differential equations
(by A. Ovchinnikov, I. Pérez Verona, G. Pogudin,
and M. Tribastone),
Bioinformatics,
2021, DOI: 10.1093/bioinformatics/btab010 (PDF, Code)

Bounds for elimination of unknowns in systems of differentialalgebraic equations (by A. Ovchinnikov, G. Pogudin,
and N. Thieu
Vo), International Mathematics
Research Notices, 2021, DOI: 10.1093/imrn/rnaa302 (PDF, Code)

Parameter identifiability and inputoutput equations (by A. Ovchinnikov, G. Pogudin,
and P. Thompson),
Applicable Algebra in Engineering, Communication and Computing,
2021, DOI: 10.1007/s00200021004868 (PDF)

Elimination of unknowns for systems of algebraic differentialdifference equations
(by W. Li, A. Ovchinnikov, G. Pogudin,
and T. Scanlon),
Transactions of the American Mathematical Society 374 (1), 2021, 303326 (PDF)


Effective difference
elimination and Nullstellensatz
(by A. Ovchinnikov, G. Pogudin,
and T. Scanlon),
Journal of the European
Mathematical Society 22 (8), 2020, 24192452 (PDF, Code)

Commuting planar
polynomial vector fields for conservative Newton systems
(by J. Nagloo,
A. Ovchinnikov, and P. Thompson),
Communications in Contemporary Mathematics 22, 2020, 1950025 [30 pages] (PDF)

Triviality of differential Galois cohomology of linear differential algebraic groups (by A. Minchenko and
A. Ovchinnikov), Communications
in Algebra 47 (12), 2019, 50945100 (PDF)


New order bounds in differential elimination algorithms (by
R. Gustavson,
A. Ovchinnikov, and G. Pogudin),
Journal of Symbolic Computation 85, 2018, 128147 (PDF)

Calculating Galois groups of third order linear differential equations with parameters (by A. Minchenko and
A. Ovchinnikov), Communications in Contemporary
Mathematics 20, 2018, 1750038 [25 pages] (PDF)

Calculating Galois
groups of differential equations with parameters and
hypertranscendence (by C. Hardouin,
A. Minchenko, and
A. Ovchinnikov), Mathematische Annalen 368 (1), 2017, 587632 (PDF)

Tannakian categories
with semigroup actions (by A. Ovchinnikov and
M. Wibmer),
Canadian Journal of Mathematics 69 (3), 2017, 687720 (PDF)

Bounds for orders of
derivatives in differential elimination algorithms (by
R. Gustavson,
A. Ovchinnikov, and G. Pogudin), Proceedings of the
41st International Symposium on Symbolic and Algebraic Computation (ISSAC
2016), ACM Press, New York, pp. 239246 (PDF)

New effective
differential Nullstellensatz (by R. Gustavson, M. Kondratieva, and
A. Ovchinnikov), Advances in
Mathematics 290, 2016, 11381158 (PDF)

On bounds for the effective differential Nullstellensatz (by O. Leon Sanchez and
A. Ovchinnikov), Journal of Algebra 449, 2016, 121 (PDF)

σGalois theory of linear difference equations (by A. Ovchinnikov and
M. Wibmer),
International Mathematics Research Notices 2015 (12) 39624018 (PDF)

Reductive linear differential algebraic groups and the Galois groups of parameterized linear differential equations (by A. Minchenko, A. Ovchinnikov, and
M.F. Singer),
International Mathematics Research Notices 2015 (7) 17331793 (PDF)

Unipotent differential algebraic groups as parameterized differential Galois groups (by A. Minchenko, A. Ovchinnikov, and
M.F. Singer), Journal of
the Institute of Mathematics of Jussie 13 (4), 2014, 671700 (PDF)


Computing Constraint Sets for Differential Fields (by R. Miller, A. Ovchinnikov, and
D. Trushin), Journal of Algebra 407, 2014, 316357 (PDF)

Galois theory of difference equations with periodic parameters (by B. Antieau, A. Ovchinnikov, and
D. Trushin), Communications in Algebra 42 (9), 2014, 39023943 (PDF)

Difference
integrability conditions for parameterized linear difference and
differential equations (by A. Ovchinnikov), Advances in Applied
Mathematics 53, 2014, 6171 (PDF)

Parameterized PicardVessiot extensions and Atiyah extensions (by H. Gillet, S. Gorchinskiy, and
A. Ovchinnikov), Advances in Mathematics 238, 2013, 322411 (PDF)

Integrability conditions for parameterized linear difference equations (by
M. Bessonov,
A. Ovchinnikov, and M. Shapiro), Proceedings of
the 38th International Symposium on Symbolic and Algebraic
Computation (ISSAC 2013), ACM Press, New York, pp. 4552 (PDF)

Extensions of
differential representations of SL(2) and tori (by A. Minchenko and
A. Ovchinnikov), Journal of the Institute of Mathematics of
Jussieu 12 (1), 2013, 199224 (PDF)

Zariski Closures of
Linear Differential Algebraic Groups (by A. Minchenko and
A. Ovchinnikov), Advances in Mathematics 227 (3), 2011, 11951224 (PDF)

Adapting Rabins
Theorem for Differential Fields (by R. Miller and
A. Ovchinnikov), Lecture Notes
in Computer Science 6735, 2011, 211220 (PDF)

A Bound for Orders in
Differential Nullstellensatz (by O. Golubitsky, M.V. Kondratieva,
A. Ovchinnikov, and A. Szanto), Journal of
Algebra 322 (11), 2009, 38523877 (PDF)

Differential Tannakian categories (by A. Ovchinnikov), Journal of Algebra 321 (10), 2009, 30433062 (PDF)

Tannakian Categories, Linear Differential Algebraic Groups, and Parametrized Linear
Differential Equations (by A. Ovchinnikov), Transformation Groups 14 (1), 2009, 195223 (PDF)

On the generalised Ritt problem as a computational problem (by O. Golubitsky,
M.V. Kondratieva, and
A. Ovchinnikov), Journal of Mathematical Sciences 163 (5), 2009, 515522 (PDF)

Algebraic Transformation of Differential Characteristic Decompositions from One Ranking to Another (by O. Golubitsky,
M.V. Kondratieva, and A. Ovchinnikov), Journal of Symbolic Computation 44 (4), 2009, 333357 (PDF)

Tannakian Approach to Linear Differential Algebraic Groups (by A. Ovchinnikov), Transformation Groups 13 (2), 2008, 413446 (PDF)

A Bound for
RosenfeldGroebner algorithm (by O. Golubitsky, M.V. Kondratieva, M. Moreno Maza, and A. Ovchinnikov), Journal of Symbolic Computation 43 (8), 2008, 582610 (PDF)

Orders of derivatives in decomposition of radical differential ideals
(A. Ovchinnikov), Russian Mathematical Surveys 63 (2), 2008, 383385.
 Canonical characteristic sets of characterizable
differential ideals (by O. Golubitsky, M.V. Kondratieva , A. Ovchinnikov), Moscow University Mathematics Bulletin 63 (2), 2008, 7981.

Orders in Effective Differential Nullstellensatz (by O. Golubitsky,
M.V. Kondratieva, A. Ovchinnikov, and A. Szanto),
Le Matematiche, Volume LXIII (2008), Issue I, pp. 6769

Sections of a
Differential Spectrum and Factorization Free
Computations (by A. Ovchinnikov), Journal of Mathematical
Sciences (New
York) 135 (5), 2006, 33553362 (PDF)

Bounds and algebraic algorithms
in differential algebra: the ordinary case (by O. Golubitsky,
M.V. Kondratieva,
M. Moreno Maza, and A. Ovchinnikov),
Proceedings of the 9th International Conference on Intelligent Systems and Computer Science, Department
of Mechanics and Mathematics, 2006, 711

Characteristic Sets of
Ordinary Differential Equations (by M.V. Kondratieva and A.
Ovchinnikov), Programming and Computer Software 31 (2), 2005, 9196.

Characterizable Radical
Differential Ideals and Some Properties of Characteristic Sets (by A.
Ovchinnikov), Programming and Computer Software 30 (3), 2004, 141149.

On Computing
Characteristic Sets of Arbitrary Radical
Differential Ideals (by M.V. Kondratieva and A. Ovchinnikov),
Proceedings of ACA 2004, 3848

Computation of
Characteristic Sets of Radical Differential
Ideals (by A. Ovchinnikov), Proceedings of CASC 2004, 371378

On Characterizable
Ideals and
Characteristic Sets (by A. Ovchinnikov), Contributions to General
Algebra 14, 91108, 2004

Classification and
Applications
of Monomial Orderings and the Properties of Differential TermOrdering
(by A. Ovchinnikov and A. Zobnin),
Proceedings of CASC 2002, 237252

A New Approach to
Classification of Monomial Orderings (by A. Ovchinnikov and A. Zobnin),
Proceedings of the Workshop on Under and Overdetermined Systems of
Algebraic or Differential Equations, March 1819, 2002, Karlsruhe,
Germany, 129140
 Involutive and Classical Groebner Bases
Construction from the Computational Viewpoint (by V. Mityunin, A.
Ovchinnikov, A. Semyonov, A. Zobnin), Computer Algebra and its
Application to Physics, Proceedings of the International
workshop (Dubna, June 2830, 2001), Dubna: JINR, 2002, 221230
Research has been partially supported by the