Alexey Ovchinnikov

Publication Activity (10 Years)

Years Active: 2006-2024
Publications (10 Years): 36

Top Topics

Differential Equations

Structural Models

Signature Scheme

Top Venues

ACM Commun. Comput. Algebra

Publications

Yosef Berman, Joshua Forrest, Matthew Grote, Alexey Ovchinnikov, Sonia Rueda
Symbolic-numeric algorithm for parameter estimation in discrete-time models with exp. CoRR (2024)
Sebastian Falkensteiner, Alexey Ovchinnikov, J. Rafael Sendra
Algorithm for globally identifiable reparametrizions of ODEs. CoRR (2024)
Helen Byrne, Heather A. Harrington, Alexey Ovchinnikov, Gleb Pogudin, Hamid Rahkooy, Pedro Soto
Algebraic identifiability of partial differential equation models. CoRR (2024)
Mariya Bessonov, Ilia Ilmer, Tatiana Konstantinova, Alexey Ovchinnikov, Gleb Pogudin, Pedro Soto
Faster Groebner bases for Lie derivatives of ODE systems via monomial orderings. ISSAC (2024)
Dima Grigoriev, Ilia Ilmer, Alexey Ovchinnikov, Vladimir Shpilrain
BASS: Boolean Automorphisms Signature Scheme. IACR Cryptol. ePrint Arch. 2023 (2023)
Alexey Ovchinnikov, Gleb Pogudin, Peter Thompson
Parameter identifiability and input-output equations. Appl. Algebra Eng. Commun. Comput. 34 (2) (2023)
Alexey Ovchinnikov, Anand Pillay, Gleb Pogudin, Thomas Scanlon
Identifiable specializations for ODE models. CoRR (2023)
Soo Go, Hoon Hong, Ilia Ilmer, Alexey Ovchinnikov, Pedro Soto, Chee Yap
Symbolic-Numeric Parameter Estimation Software Package in Julia. CoRR (2023)
Nicolette Meshkat, Alexey Ovchinnikov, Thomas Scanlon
Algorithm for finding new identifiable reparametrizations of parametric ODEs. CoRR (2023)
Dima Grigoriev, Ilia Ilmer, Alexey Ovchinnikov, Vladimir Shpilrain
BASS: Boolean Automorphisms Signature Scheme. CoRR (2023)
Alexey Ovchinnikov, Gleb Pogudin, Peter Thompson
Input-Output Equations and Identifiability of Linear ODE Models. IEEE Trans. Autom. Control. 68 (2) (2023)
Dima Grigoriev, Ilia Ilmer, Alexey Ovchinnikov, Vladimir Shpilrain
BASS: Boolean Automorphisms Signature Scheme. SecITC (2023)
Mariya Bessonov, Ilia Ilmer, Tatiana Konstantinova, Alexey Ovchinnikov, Gleb Pogudin, Pedro Soto
Obtaining weights for Gröbner basis computation in parameter identifiability problems. CoRR (2022)
Alexey Ovchinnikov, Anand Pillay, Gleb Pogudin, Thomas Scanlon
Multi-experiment Parameter Identifiability of ODEs and Model Theory. SIAM J. Appl. Algebra Geom. 6 (3) (2022)
Ilia Ilmer, Alexey Ovchinnikov, Gleb Pogudin, Pedro Soto
More Efficient Identifiability Verification in ODE Models by Reducing Non-Identifiability. CoRR (2022)
Ilia Ilmer, Alexey Ovchinnikov, Gleb Pogudin
Web-Based Structural Identifiability Analyzer. CMSB (2021)
Alexey Ovchinnikov, Anand Pillay, Gleb Pogudin, Thomas Scanlon
Computing all identifiable functions of parameters for ODE models. Syst. Control. Lett. 157 (2021)
Alexey Ovchinnikov, Isabel Cristina Pérez-Verona, Gleb Pogudin, Mirco Tribastone
CLUE: exact maximal reduction of kinetic models by constrained lumping of differential equations. Bioinform. 37 (12) (2021)
Ilia Ilmer, Alexey Ovchinnikov, Gleb Pogudin
Web-based Structural Identifiability Analyzer. CoRR (2021)
Manuel Kauers, Alexey Ovchinnikov, Éric Schost
Foreword. J. Symb. Comput. 102 (2021)
Ilia Ilmer, Alexey Ovchinnikov, Gleb Pogudin
Maple application for structural identifiability analysis of ODE models. ACM Commun. Comput. Algebra 55 (2) (2021)
Alexey Ovchinnikov, Isabel Cristina Pérez-Verona, Gleb Pogudin, Mirco Tribastone
CLUE: exact maximal reduction of kinetic models by constrained lumping of differential equations. Bioinform. 37 (19) (2021)
Wei Li, Alexey Ovchinnikov, Gleb Pogudin, Thomas Scanlon
Algorithms yield upper bounds in differential algebra. CoRR (2020)
Alexey Ovchinnikov, Anand Pillay, Gleb Pogudin, Thomas Scanlon
Multi-experiment parameter identifiability of ODEs and model theory. CoRR (2020)
Alexey Ovchinnikov, Isabel Cristina Pérez-Verona, Gleb Pogudin, Mirco Tribastone
CLUE: Exact maximal reduction of kinetic models by constrained lumping of differential equations. CoRR (2020)
Alexey Ovchinnikov, Gleb Pogudin, Peter Thompson
Parameter identifiability and input-output equations. CoRR (2020)
Alexey Ovchinnikov, Anand Pillay, Gleb Pogudin, Thomas Scanlon
Computing all identifiable functions for ODE models. CoRR (2020)
Hoon Hong, Alexey Ovchinnikov, Gleb Pogudin, Chee Yap
SIAN: a tool for assessing structural identifiability of parametric ODEs. ACM Commun. Comput. Algebra 53 (2) (2019)
Alexey Ovchinnikov, Gleb Pogudin, Peter Thompson
Input-output equations and identifiability of linear ODE models. CoRR (2019)
Hoon Hong, Alexey Ovchinnikov, Gleb Pogudin, Chee Yap
SIAN: software for structural identifiability analysis of ODE models. Bioinform. 35 (16) (2019)
Joel Nagloo, Alexey Ovchinnikov, Peter Thompson
Commuting planar polynomial vector fields for conservative newton systems. ACM Commun. Comput. Algebra 52 (3) (2018)
Hoon Hong, Alexey Ovchinnikov, Gleb Pogudin, Chee Yap
SIAN: software for structural identifiability analysis of ODE models. CoRR (2018)
Richard Gustavson, Alexey Ovchinnikov, Gleb Pogudin
New order bounds in differential elimination algorithms. J. Symb. Comput. 85 (2018)
Richard Gustavson, Alexey Ovchinnikov, Gleb Pogudin
Bounds for Orders of Derivatives in Differential Elimination Algorithms. ISSAC (2016)
Alexey Ovchinnikov, Gleb Pogudin, Ngoc Thieu Vo
Effective Differential Nullstellensatz. CoRR (2016)
Moulay A. Barkatou, Thomas Cluzeau, Alexey Ovchinnikov, Georg Regensburger, Markus Rosenkranz
Special issue on computational aspects of differential/difference algebra and integral operators. Adv. Appl. Math. 72 (2016)
Richard Gustavson, Marina V. Kondratieva, Alexey Ovchinnikov
New effective differential Nullstellensatz. CoRR (2014)
Alexey Ovchinnikov
Kolchin seminar in differential algebra. ACM Commun. Comput. Algebra 48 (1/2) (2014)
Alexey Ovchinnikov
Difference integrability conditions for parameterized linear difference and differential equations. Adv. Appl. Math. 53 (2014)
Erich Kaltofen, Alexey Ovchinnikov
NSF funding opportunities for symbolic computation. ACM Commun. Comput. Algebra 47 (3/4) (2013)
Mariya Bessonov, Alexey Ovchinnikov, Maxwell Shapiro
Integrability conditions for parameterized linear difference equations. ISSAC (2013)
Russell Miller, Alexey Ovchinnikov
Adapting Rabin's Theorem for Differential Fields. CiE (2011)
Oleg Golubitsky, Marina V. Kondratieva, Alexey Ovchinnikov
Algebraic transformation of differential characteristic decompositions from one ranking to another. J. Symb. Comput. 44 (4) (2009)
Oleg Golubitsky, Marina V. Kondratieva, Marc Moreno Maza, Alexey Ovchinnikov
A bound for the Rosenfeld-Gröbner algorithm. J. Symb. Comput. 43 (8) (2008)
Marc Moreno Maza, Oleg Golubitsky, Marina V. Kondratieva, Alexey Ovchinnikov
Bounds and algebraic algorithms in differential algebra: the ordinary case. Challenges in Symbolic Computation Software (2006)