Alexander Levin

According to our database, Alexander Levin authored at least 10 papers between 1994 and 2025.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2025

VO-GCSE: Verification Optimization through Global Common Subexpression Elimination.

Rafael Sá Menezes, Norbert Tihanyi, Ridhi Jain, Alexander Levin, Rosiane de Freitas, Lucas C. Cordeiro

Proceedings of the 33rd ACM International Conference on the Foundations of Software Engineering, 2025

2024

New Difference Gröbner Bases and Bivariate Difference Dimension Polynomials.

Alexander Levin

Math. Comput. Sci., October, 2024

Generalized characteristic sets and new multivariate difference dimension polynomials.

Alexander Levin

Appl. Algebra Eng. Commun. Comput., January, 2024

A New Type of Dimension Polynomials of Inversive Difference Field Extensions.

Alexander Levin

Proceedings of the 2024 International Symposium on Symbolic and Algebraic Computation, 2024

2022

A New Type of Difference Dimension Polynomials.

Alexander Levin

Math. Comput. Sci., 2022

Reduction with Respect to the Effective Order and a New Type of Dimension Polynomials of Difference Modules.

Alexander Levin

Proceedings of the ISSAC '22: International Symposium on Symbolic and Algebraic Computation, Villeneuve-d'Ascq, France, July 4, 2022

2021

Bivariate Kolchin-type dimension polynomials of non-reflexive prime difference-differential ideals. The case of one translation.

Alexander Levin

J. Symb. Comput., 2021

Generalized Gröbner Bases and New Properties of Multivariate Difference Dimension Polynomials.

Alexander Levin

Proceedings of the ISSAC '21: International Symposium on Symbolic and Algebraic Computation, 2021

2020

Some properties of multivariate differential dimension polynomials and their invariants.

Alexander Levin

Proceedings of the ISSAC '20: International Symposium on Symbolic and Algebraic Computation, 2020

1994

An analytical method of estimating the domain of attraction for polynomial differential equations.

Alexander Levin

IEEE Trans. Autom. Control., 1994