Mikhail R. Starchak
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
7
Active years
2021–2025
Best venue rank
A*
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | DLT | Formal Languages and Arithmetic Theories: Recent Results and Open Problems. | Christoph Haase, Mikhail R. Starchak |
| 2025 | LICS | Quantifier Elimination for Regular Integer Linear-Exponential Programming. | Mikhail R. Starchak |
| 2025 | MFCS | One-Parametric Presburger Arithmetic Has Quantifier Elimination. | Alessio Mansutti, Mikhail R. Starchak |
| 2024 | CiE | Existential Definability of Unary Predicates in Bchi Arithmetic. | Mikhail R. Starchak |
| 2024 | ICALP | Integer Linear-Exponential Programming in NP by Quantifier Elimination. | Dmitry Chistikov, Alessio Mansutti, Mikhail R. Starchak |
| 2023 | FOSSACS | On the Existential Arithmetics with Addition and Bitwise Minimum. | Mikhail R. Starchak |
| 2021 | ISSAC | Positive Existential Definability with Unit, Addition and Coprimeness. | Mikhail R. Starchak |