Dmitry Chistikov
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
27
Venues
12
Active years
2014–2025
Best venue rank
A*
Where they publish
Papers
27 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | LICS | Pushdown Model Checking above the Cubic Bottleneck. | A. R. Balasubramanian, Dmitry Chistikov, Rupak Majumdar |
| 2024 | CONCUR | Invariants for One-Counter Automata with Disequality Tests. | Dmitry Chistikov, Jrme Leroux, Henry Sinclair-Banks, Nicolas Waldburger |
| 2024 | FOCS | The Tractability Border of Reachability in Simple Vector Addition Systems with States. | Dmitry Chistikov, Wojciech Czerwinski, Filip Mazowiecki, Lukasz Orlikowski, Henry Sinclair-Banks, Karol Wegrzycki |
| 2024 | ICALP | Integer Linear-Exponential Programming in NP by Quantifier Elimination. | Dmitry Chistikov, Alessio Mansutti, Mikhail R. Starchak |
| 2023 | ICALP | The Complexity of Presburger Arithmetic with Power or Powers. | Michael Benedikt, Dmitry Chistikov, Alessio Mansutti |
| 2022 | FOSSACS | Quantifier elimination for counting extensions of Presburger arithmetic. | Dmitry Chistikov, Christoph Haase, Alessio Mansutti |
| 2022 | LICS | Geometric decision procedures and the VC dimension of linear arithmetic theories. | Dmitry Chistikov, Christoph Haase, Alessio Mansutti |
| 2022 | MFCS | Higher-Order Quantified Boolean Satisfiability. | Dmitry Chistikov, Christoph Haase, Zahra Hadizadeh, Alessio Mansutti |
| 2020 | AAAI | Convergence of Opinion Diffusion is PSPACE-Complete. | Dmitry Chistikov, Grzegorz Lisowski, Mike Paterson, Paolo Turrini |
| 2020 | CONCUR | The Big-O Problem for Labelled Markov Chains and Weighted Automata. | Dmitry Chistikov, Stefan Kiefer, Andrzej S. Murawski, David Purser |
| 2020 | ICALP | Rational Subsets of Baumslag-Solitar Groups. | Michal Cadilhac, Dmitry Chistikov, Georg Zetzsche |
| 2020 | ICALP | On the Power of Ordering in Linear Arithmetic Theories. | Dmitry Chistikov, Christoph Haase |
| 2020 | LICS | Re-pairing brackets. | Dmitry Chistikov, Mikhail N. Vyalyi |
| 2019 | CONCUR | Asymmetric Distances for Approximate Differential Privacy. | Dmitry Chistikov, Andrzej S. Murawski, David Purser |
| 2018 | ATVA | Bisimilarity Distances for Approximate Differential Privacy. | Dmitry Chistikov, Andrzej S. Murawski, David Purser |
| 2018 | ICALP | O-Minimal Invariants for Linear Loops. | Shaull Almagor, Dmitry Chistikov, Jol Ouaknine, James Worrell |
| 2017 | ICALP | On the Complexity of Quantified Integer Programming. | Dmitry Chistikov, Christoph Haase |
| 2017 | SODA | On Rationality of Nonnegative Matrix Factorization. | Dmitry Chistikov, Stefan Kiefer, Ines Marusic, Mahsa Shirmohammadi, James Worrell |
| 2017 | STACS | Fractional Coverings, Greedy Coverings, and Rectifier Networks. | Dmitry Chistikov, Szabolcs Ivn, Anna Lubiw, Jeffrey O. Shallit |
| 2016 | CAV | Hitting Families of Schedules for Asynchronous Programs. | Dmitry Chistikov, Rupak Majumdar, Filip Niksic |
| 2016 | FOSSACS | Shortest Paths in One-Counter Systems. | Dmitry Chistikov, Wojciech Czerwinski, Piotr Hofman, Michal Pilipczuk, Michael Wehar |
| 2016 | FOSSACS | Synchronizing Automata over Nested Words. | Dmitry Chistikov, Pavel Martyugin, Mahsa Shirmohammadi |
| 2016 | ICALP | The Taming of the Semi-Linear Set. | Dmitry Chistikov, Christoph Haase |
| 2016 | ICALP | On Restricted Nonnegative Matrix Factorization. | Dmitry Chistikov, Stefan Kiefer, Ines Marusic, Mahsa Shirmohammadi, James Worrell |
| 2016 | LICS | The complexity of regular abstractions of one-counter languages. | Mohamed Faouzi Atig, Dmitry Chistikov, Piotr Hofman, K. Narayan Kumar, Prakash Saivasan, Georg Zetzsche |
| 2015 | TACAS | Approximate Counting in SMT and Value Estimation for Probabilistic Programs. | Dmitry Chistikov, Rayna Dimitrova, Rupak Majumdar |
| 2014 | ICALP | Unary Pushdown Automata and Straight-Line Programs. | Dmitry Chistikov, Rupak Majumdar |