Alexander Levin

11 papers B 4Journal 6Unranked 1
YearRankTypeTitle / Venue / Authors
2026 J jnl
New dimension polynomials of inversive difference field extensions and inversive difference modules.
J. Symb. Comput.
Alexander Levin
2025 — conf
VO-GCSE: Verification Optimization through Global Common Subexpression Elimination.
SIGSOFT FSE Companion
Rafael Sá Menezes, Norbert Tihanyi, Ridhi Jain, Alexander Levin, Rosiane de Freitas, Lucas C. Cordeiro
2024 B conf
A New Type of Dimension Polynomials of Inversive Difference Field Extensions.
ISSAC
Alexander Levin
2024 J jnl
Generalized characteristic sets and new multivariate difference dimension polynomials.
Appl. Algebra Eng. Commun. Comput.
Alexander Levin
2024 J jnl
New Difference Gröbner Bases and Bivariate Difference Dimension Polynomials.
Math. Comput. Sci.
Alexander Levin
2022 J jnl
A New Type of Difference Dimension Polynomials.
Math. Comput. Sci.
Alexander Levin
2022 B conf
Reduction with Respect to the Effective Order and a New Type of Dimension Polynomials of Difference Modules.
ISSAC
Alexander Levin
2021 J jnl
Bivariate Kolchin-type dimension polynomials of non-reflexive prime difference-differential ideals. The case of one translation.
J. Symb. Comput.
Alexander Levin
2021 B conf
Generalized Gröbner Bases and New Properties of Multivariate Difference Dimension Polynomials.
ISSAC
Alexander Levin
2020 B conf
Some properties of multivariate differential dimension polynomials and their invariants.
ISSAC
Alexander Levin
1994 J jnl
An analytical method of estimating the domain of attraction for polynomial differential equations.
IEEE Trans. Autom. Control.
Alexander Levin