A "Polynomial Shifting" Trick in Differential Algebra. - Gleb Pogudin (MACIS, 2015)

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

Effective Differential Nullstellensatz. - Alexey Ovchinnikov; Gleb Pogudin; Thieu N. Vo (CoRR, 2016)

Bounds for Substituting Algebraic Functions into D-finite Functions. - Manuel Kauers; Gleb Pogudin (ISSAC, 2017)

Bounds for D-finite Substitution. - Manuel Kauers; Gleb Pogudin (CoRR, 2017)

Power series expansions for the planar monomer-dimer problem. - Gleb Pogudin (CoRR, 2017)

Irredundant Triangular Decomposition. - Gleb Pogudin; Ágnes Szántó (ISSAC, 2018)

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

SIAN: software for structural identifiability analysis of ODE models. - Hoon Hong; Alexey Ovchinnikov; Gleb Pogudin; Chee Yap (Bioinform., 2019)

SIAN: a tool for assessing structural identifiability of parametric ODEs. - Hoon Hong; Alexey Ovchinnikov; Gleb Pogudin; Chee Yap (ACM Commun. Comput. Algebra, 2019)

Separating variables in bivariate polynomial ideals. - Manfred Buchacher; Manuel Kauers; Gleb Pogudin (ISSAC, 2020)

Optimal monomial quadratization for ODE systems: extended abstract. - Andrey Bychkov; Gleb Pogudin (ACM Commun. Comput. Algebra, 2020)

The Dynamics of Canalizing Boolean Networks. - Elijah Paul; Gleb Pogudin; William Qin; Reinhard C. Laubenbacher (Complex., 2020)

Computing all identifiable functions for ODE models. - Alexey Ovchinnikov; Anand Pillay; Gleb Pogudin; Thomas Scanlon (CoRR, 2020)

Algorithms yield upper bounds in differential algebra. - Wei Li 056; Alexey Ovchinnikov; Gleb Pogudin; Thomas Scanlon (CoRR, 2020)

Web-Based Structural Identifiability Analyzer. - Ilia Ilmer; Alexey Ovchinnikov; Gleb Pogudin (CMSB, 2021)

Interpretable Exact Linear Reductions via Positivity. - Gleb Pogudin; Xingjian Zhang 003 (CMSB, 2021)

Bit-Complexity of Solving Systems of Linear Evolutionary Partial Differential Equations. - Ivan Koswara; Gleb Pogudin; Svetlana Selivanova; Martin Ziegler 001 (CSR, 2021)

A Zero Test for σ-algebraic Power Series. - Joris van der Hoeven; Gleb Pogudin (ISSAC, 2021)

Optimal Monomial Quadratization for ODE Systems. - Andrey Bychkov; Gleb Pogudin (IWOCA, 2021)

CLUE: exact maximal reduction of kinetic models by constrained lumping of differential equations. - Alexey Ovchinnikov; Isabel Cristina Pérez-Verona; Gleb Pogudin; Mirco Tribastone (Bioinform., 2021)

Maple application for structural identifiability analysis of ODE models. - Ilia Ilmer; Alexey Ovchinnikov; Gleb Pogudin (ACM Commun. Comput. Algebra, 2021)

Computing input-output projections of dynamical models with applications to structural identifiability. - Ruiwen Dong 001; Christian Goodbrake; Heather A. Harrington; Gleb Pogudin (CoRR, 2021)

Multiplicity structure of the arc space of a fat point. - Rida Ait El Manssour; Gleb Pogudin (CoRR, 2021)

Computing all identifiable functions of parameters for ODE models. - Alexey Ovchinnikov; Anand Pillay; Gleb Pogudin; Thomas Scanlon (Syst. Control. Lett., 2021)

Exact Linear Reduction for Rational Dynamical Systems. - Antonio Jiménez-Pastor; Joshua Paul Jacob; Gleb Pogudin (CMSB, 2022)

On Realizing Differential-Algebraic Equations by Rational Dynamical Systems. - Dmitrii Pavlov; Gleb Pogudin (ISSAC, 2022)

Computing exact nonlinear reductions of dynamical models. - Antonio Jiménez-Pastor; Gleb Pogudin (ACM Commun. Comput. Algebra, 2022)

Obtaining weights for Gröbner basis computation in parameter identifiability problems. - Mariya Bessonov; Ilia Ilmer; Tatiana Konstantinova; Alexey Ovchinnikov; Gleb Pogudin; Pedro Soto 001 (CoRR, 2022)

On realizing differential-algebraic equationsby rational dynamical systems. - Dmitrii Pavlov; Gleb Pogudin (CoRR, 2022)

More Efficient Identifiability Verification in ODE Models by Reducing Non-Identifiability. - Ilia Ilmer; Alexey Ovchinnikov; Gleb Pogudin; Pedro Soto 001 (CoRR, 2022)

Degree bound for toric envelope of a linear algebraic group. - Eli Amzallag; Andrei Minchenko; Gleb Pogudin (Math. Comput., 2022)

Multi-experiment Parameter Identifiability of ODEs and Model Theory. - Alexey Ovchinnikov; Anand Pillay; Gleb Pogudin; Thomas Scanlon (SIAM J. Appl. Algebra Geom., 2022)

Exact linear reductions of dynamical models. - Alexander Demin; Elizaveta Demitraki; Gleb Pogudin (CoRR, 2023)

Exact and optimal quadratization of nonlinear finite-dimensional non-autonomous dynamical systems. - Andrey Bychkov; Opal Issan; Gleb Pogudin; Boris Kramer (CoRR, 2023)

Identifiable specializations for ODE models. - Alexey Ovchinnikov; Anand Pillay; Gleb Pogudin; Thomas Scanlon (CoRR, 2023)

Input-Output Equations and Identifiability of Linear ODE Models. - Alexey Ovchinnikov; Gleb Pogudin; Peter Thompson 003 (IEEE Trans. Autom. Control., 2023)

Parameter identifiability and input-output equations. - Alexey Ovchinnikov; Gleb Pogudin; Peter Thompson 003 (Appl. Algebra Eng. Commun. Comput., 2023)

Linear Difference Operators with Sequence Coefficients Having Infinite-Dimentional Solution Spaces. - Sergei A. Abramov; Gleb Pogudin (ACM Commun. Comput. Algebra, 2023)

Differential Elimination for Dynamical Models via Projections with Applications to Structural Identifiability. - Ruiwen Dong 001; Christian Goodbrake; Heather A. Harrington; Gleb Pogudin (SIAM J. Appl. Algebra Geom., 2023)

Bit-complexity of classical solutions of linear evolutionary systems of partial differential equations. - Ivan Koswara; Gleb Pogudin; Svetlana Selivanova; Martin Ziegler 001 (J. Complex., 2023)

Faster Groebner bases for Lie derivatives of ODE systems via monomial orderings. - Mariya Bessonov; Ilia Ilmer; Tatiana Konstantinova; Alexey Ovchinnikov; Gleb Pogudin; Pedro Soto 001 (ISSAC, 2024)

Dissipative quadratizations of polynomial ODE systems. - Yubo Cai; Gleb Pogudin (TACAS (2), 2024)

Persistent components in Canny's resultant. - Gleb Pogudin (CoRR, 2024)

Algebraic identifiability of partial differential equation models. - Helen M. Byrne; Heather A. Harrington; Alexey Ovchinnikov; Gleb Pogudin; Hamid Rahkooy; Pedro Soto 001 (CoRR, 2024)

Wronskians form the inverse system of the arcs of a double point. - Rida Ait El Manssour; Gleb Pogudin (CoRR, 2024)

Exact and Optimal Quadratization of Nonlinear Finite-Dimensional Nonautonomous Dynamical Systems. - Andrey Bychkov; Opal Issan; Gleb Pogudin; Boris Kramer (SIAM J. Appl. Dyn. Syst., 2024)

Exact hierarchical reductions of dynamical models via linear transformations. - Alexander Demin; Elizaveta Demitraki; Gleb Pogudin (Commun. Nonlinear Sci. Numer. Simul., 2024)

On the dimension of the solution space of linear difference equations over the ring of infinite sequences. - Sergei A. Abramov; Gleb Pogudin (J. Symb. Comput., 2025)

Persistent components in Canny's generalized characteristic polynomial. - Gleb Pogudin (J. Symb. Comput., 2025)

Projecting dynamical systems via a support bound. - Yulia Mukhina; Gleb Pogudin (CoRR, 2025)

Discovering Polynomial and Quadratic Structure in Nonlinear Ordinary Differential Equations. - Boris Kramer; Gleb Pogudin (CoRR, 2025)

Support bound for differential elimination in polynomial dynamical systems. - Yulia Mukhina; Gleb Pogudin (CoRR, 2025)