An analytical method of estimating the domain of attraction for polynomial differential equations. - Alexander Levin (IEEE Trans. Autom. Control., 1994)

Some properties of multivariate differential dimension polynomials and their invariants. - Alexander Levin (ISSAC, 2020)

Generalized Gröbner Bases and New Properties of Multivariate Difference Dimension Polynomials. - Alexander Levin (ISSAC, 2021)

Bivariate Kolchin-type dimension polynomials of non-reflexive prime difference-differential ideals. The case of one translation. - Alexander Levin (J. Symb. Comput., 2021)

Reduction with Respect to the Effective Order and a New Type of Dimension Polynomials of Difference Modules. - Alexander Levin (ISSAC, 2022)

A New Type of Difference Dimension Polynomials. - Alexander Levin (Math. Comput. Sci., 2022)

A New Type of Dimension Polynomials of Inversive Difference Field Extensions. - Alexander Levin (ISSAC, 2024)

Generalized characteristic sets and new multivariate difference dimension polynomials. - Alexander Levin (Appl. Algebra Eng. Commun. Comput., 2024)

New Difference Gröbner Bases and Bivariate Difference Dimension Polynomials. - Alexander Levin (Math. Comput. Sci., 2024)

VO-GCSE: Verification Optimization through Global Common Subexpression Elimination. - Rafael Sá Menezes; Norbert Tihanyi; Ridhi Jain; Alexander Levin; Rosiane de Freitas; Lucas C. Cordeiro (SIGSOFT FSE Companion, 2025)