| 2025 | CASC | Support Bound for Differential Elimination in Polynomial Dynamical Systems. | Yulia Mukhina, Gleb Pogudin |
| 2024 | ISSAC | Faster Groebner bases for Lie derivatives of ODE systems via monomial orderings. | Mariya Bessonov, Ilia Ilmer, Tatiana Konstantinova, Alexey Ovchinnikov, Gleb Pogudin, Pedro Soto |
| 2024 | TACAS | Dissipative quadratizations of polynomial ODE systems. | Yubo Cai, Gleb Pogudin |
| 2022 | ISSAC | On Realizing Differential-Algebraic Equations by Rational Dynamical Systems. | Dmitrii Pavlov, Gleb Pogudin |
| 2021 | CSR | Bit-Complexity of Solving Systems of Linear Evolutionary Partial Differential Equations. | Ivan Koswara, Gleb Pogudin, Svetlana Selivanova, Martin Ziegler |
| 2021 | ISSAC | A Zero Test for σ-algebraic Power Series. | Joris van der Hoeven, Gleb Pogudin |
| 2021 | IWOCA | Optimal Monomial Quadratization for ODE Systems. | Andrey Bychkov, Gleb Pogudin |
| 2020 | ISSAC | Separating variables in bivariate polynomial ideals. | Manfred Buchacher, Manuel Kauers, Gleb Pogudin |
| 2018 | ISSAC | Irredundant Triangular Decomposition. | Gleb Pogudin, gnes Sznt |
| 2017 | ISSAC | Bounds for Substituting Algebraic Functions into D-finite Functions. | Manuel Kauers, Gleb Pogudin |
| 2016 | ISSAC | Bounds for Orders of Derivatives in Differential Elimination Algorithms. | Richard Gustavson, Alexey Ovchinnikov, Gleb Pogudin |