Dmitry Chistikov

66 papers A* 16A 3B 8C 1Journal 33Unranked 5
YearRankTypeTitle / Venue / Authors
2025 A* conf
Pushdown Model Checking above the Cubic Bottleneck.
LICS
A. R. Balasubramanian, Dmitry Chistikov, Rupak Majumdar
2024 — conf
An Introduction to the Theory of Linear Integer Arithmetic (Invited Paper).
FSTTCS
Dmitry Chistikov
2024 A* conf
Integer Linear-Exponential Programming in NP by Quantifier Elimination.
ICALP
Dmitry Chistikov, Alessio Mansutti, Mikhail R. Starchak
2024 J jnl
Integer Linear-Exponential Programming in NP by Quantifier Elimination.
CoRR
Dmitry Chistikov, Alessio Mansutti, Mikhail R. Starchak
2024 B conf
Invariants for One-Counter Automata with Disequality Tests.
CONCUR
Dmitry Chistikov, Jérôme Leroux, Henry Sinclair-Banks, Nicolas Waldburger
2024 J jnl
Invariants for One-Counter Automata with Disequality Tests.
CoRR
Dmitry Chistikov, Jérôme Leroux, Henry Sinclair-Banks, Nicolas Waldburger
2024 A conf
Learning a Social Network by Influencing Opinions.
AAMAS
Dmitry Chistikov, Luisa Estrada, Mike Paterson, Paolo Turrini
2024 A* conf
The Tractability Border of Reachability in Simple Vector Addition Systems with States.
FOCS
Dmitry Chistikov, Wojciech Czerwinski, Filip Mazowiecki, Lukasz Orlikowski, Henry Sinclair-Banks, Karol Wegrzycki
2024 J jnl
The Tractability Border of Reachability in Simple Vector Addition Systems with States.
CoRR
Dmitry Chistikov, Wojciech Czerwinski, Filip Mazowiecki, Lukasz Orlikowski, Henry Sinclair-Banks, Karol Wegrzycki
2023 — conf
Acyclic Petri and Workflow Nets with Resets.
FSTTCS
Dmitry Chistikov, Wojciech Czerwinski, Piotr Hofman, Filip Mazowiecki, Henry Sinclair-Banks
2023 J jnl
Acyclic Petri and Workflow Nets with Resets.
CoRR
Dmitry Chistikov, Wojciech Czerwinski, Piotr Hofman, Filip Mazowiecki, Henry Sinclair-Banks
2023 A* conf
Learning a Neuron by a Shallow ReLU Network: Dynamics and Implicit Bias for Correlated Inputs.
NeurIPS
Dmitry Chistikov, Matthias Englert, Ranko Lazic
2023 J jnl
Learning a Neuron by a Shallow ReLU Network: Dynamics and Implicit Bias for Correlated Inputs.
CoRR
Dmitry Chistikov, Matthias Englert, Ranko Lazic
2023 A* conf
The Complexity of Presburger Arithmetic with Power or Powers.
ICALP
Michael Benedikt, Dmitry Chistikov, Alessio Mansutti
2023 J jnl
The complexity of Presburger arithmetic with power or powers.
CoRR
Michael Benedikt, Dmitry Chistikov, Alessio Mansutti
2022 A* conf
Geometric decision procedures and the VC dimension of linear arithmetic theories.
LICS
Dmitry Chistikov, Christoph Haase, Alessio Mansutti
2022 B conf
Higher-Order Quantified Boolean Satisfiability.
MFCS
Dmitry Chistikov, Christoph Haase, Zahra Hadizadeh, Alessio Mansutti
2022 J jnl
O-Minimal Invariants for Discrete-Time Dynamical Systems.
ACM Trans. Comput. Log.
Shaull Almagor, Dmitry Chistikov, Joël Ouaknine, James Worrell
2022 B conf
Quantifier elimination for counting extensions of Presburger arithmetic.
FoSSaCS
Dmitry Chistikov, Christoph Haase, Alessio Mansutti
2022 J jnl
Subcubic certificates for CFL reachability.
Proc. ACM Program. Lang.
Dmitry Chistikov, Rupak Majumdar, Philipp Schepper
2022 J jnl
The Big-O Problem.
Log. Methods Comput. Sci.
Dmitry Chistikov, Stefan Kiefer, Andrzej S. Murawski, David Purser
2021 J jnl
Presburger arithmetic with threshold counting quantifiers is easy.
CoRR
Dmitry Chistikov, Christoph Haase, Alessio Mansutti
2021 J jnl
Subcubic Certificates for CFL Reachability.
CoRR
Dmitry Chistikov, Rupak Majumdar, Philipp Schepper
2020 A* conf
Convergence of Opinion Diffusion is PSPACE-Complete.
AAAI
Dmitry Chistikov, Grzegorz Lisowski, Mike Paterson, Paolo Turrini
2020 J jnl
Globe-hopping.
CoRR
Dmitry Chistikov, Olga Goulko, Adrian Kent, Mike Paterson
2020 A* conf
On the Power of Ordering in Linear Arithmetic Theories.
ICALP
Dmitry Chistikov, Christoph Haase
2020 A* conf
Rational Subsets of Baumslag-Solitar Groups.
ICALP
Michaël Cadilhac, Dmitry Chistikov, Georg Zetzsche
2020 J jnl
Rational subsets of Baumslag-Solitar groups.
CoRR
Michaël Cadilhac, Dmitry Chistikov, Georg Zetzsche
2020 A* conf
Re-pairing brackets.
LICS
Dmitry Chistikov, Mikhail N. Vyalyi
2020 B conf
The Big-O Problem for Labelled Markov Chains and Weighted Automata.
CONCUR
Dmitry Chistikov, Stefan Kiefer, Andrzej S. Murawski, David Purser
2020 J jnl
The Big-O Problem for Labelled Markov Chains and Weighted Automata.
CoRR
Dmitry Chistikov, Stefan Kiefer, Andrzej S. Murawski, David Purser
2019 B conf
Asymmetric Distances for Approximate Differential Privacy.
CONCUR
Dmitry Chistikov, Andrzej S. Murawski, David Purser
2019 J jnl
Convergence of Opinion Diffusion is PSPACE-complete.
CoRR
Dmitry Chistikov, Grzegorz Lisowski, Mike Paterson, Paolo Turrini
2019 J jnl
Re-pairing brackets.
CoRR
Dmitry Chistikov, Mikhail N. Vyalyi
2019 J jnl
Shortest paths in one-counter systems.
Log. Methods Comput. Sci.
Dmitry Chistikov, Wojciech Czerwinski, Piotr Hofman, Michal Pilipczuk, Michael Wehar
2019 J jnl
Synchronizing Automata over Nested Words.
J. Autom. Lang. Comb.
Dmitry Chistikov, Pavel Martyugin, Mahsa Shirmohammadi
2018 B conf
Bisimilarity Distances for Approximate Differential Privacy.
ATVA
Dmitry Chistikov, Andrzej S. Murawski, David Purser
2018 J jnl
Bisimilarity Distances for Approximate Differential Privacy.
CoRR
Dmitry Chistikov, Andrzej S. Murawski, David Purser
2018 J jnl
Context-free commutative grammars with integer counters and resets.
Theor. Comput. Sci.
Dmitry Chistikov, Christoph Haase, Simon Halfon
2018 A* conf
O-Minimal Invariants for Linear Loops.
ICALP
Shaull Almagor, Dmitry Chistikov, Joël Ouaknine, James Worrell
2018 J jnl
O-Minimal Invariants for Linear Loops.
CoRR
Shaull Almagor, Dmitry Chistikov, Joël Ouaknine, James Worrell
2017 J jnl
Approximate counting in SMT and value estimation for probabilistic programs.
Acta Informatica
Dmitry Chistikov, Rayna Dimitrova, Rupak Majumdar
2017 A conf
Fractional Coverings, Greedy Coverings, and Rectifier Networks.
STACS
Dmitry Chistikov, Szabolcs Iván, Anna Lubiw, Jeffrey O. Shallit
2017 J jnl
Nonnegative Matrix Factorization Requires Irrationality.
SIAM J. Appl. Algebra Geom.
Dmitry Chistikov, Stefan Kiefer, Ines Marusic, Mahsa Shirmohammadi, James Worrell
2017 A* conf
On Rationality of Nonnegative Matrix Factorization.
SODA
Dmitry Chistikov, Stefan Kiefer, Ines Marusic, Mahsa Shirmohammadi, James Worrell
2017 A* conf
On the Complexity of Quantified Integer Programming.
ICALP
Dmitry Chistikov, Christoph Haase
2016 J jnl
Complexity of regular abstractions of one-counter languages.
CoRR
Mohamed Faouzi Atig, Dmitry Chistikov, Piotr Hofman, K. Narayan Kumar, Prakash Saivasan, Georg Zetzsche
2016 — conf
Hitting Families of Schedules for Asynchronous Programs.
CAV (2)
Dmitry Chistikov, Rupak Majumdar, Filip Niksic
2016 J jnl
Hitting Families of Schedules for Asynchronous Programs.
CoRR
Dmitry Chistikov, Rupak Majumdar, Filip Niksic
2016 J jnl
Nonnegative Matrix Factorization Requires Irrationality.
CoRR
Dmitry Chistikov, Stefan Kiefer, Ines Marusic, Mahsa Shirmohammadi, James Worrell
2016 A* conf
On Restricted Nonnegative Matrix Factorization.
ICALP
Dmitry Chistikov, Stefan Kiefer, Ines Marusic, Mahsa Shirmohammadi, James Worrell
2016 J jnl
On Restricted Nonnegative Matrix Factorization.
CoRR
Dmitry Chistikov, Stefan Kiefer, Ines Marusic, Mahsa Shirmohammadi, James Worrell
2016 B conf
Shortest Paths in One-Counter Systems.
FoSSaCS
Dmitry Chistikov, Wojciech Czerwinski, Piotr Hofman, Michal Pilipczuk, Michael Wehar
2016 B conf
Synchronizing Automata over Nested Words.
FoSSaCS
Dmitry Chistikov, Pavel Martyugin, Mahsa Shirmohammadi
2016 A* conf
The Taming of the Semi-Linear Set.
ICALP
Dmitry Chistikov, Christoph Haase
2016 A* conf
The complexity of regular abstractions of one-counter languages.
LICS
Mohamed Faouzi Atig, Dmitry Chistikov, Piotr Hofman, K. Narayan Kumar, Prakash Saivasan, Georg Zetzsche
2015 A conf
Approximate Counting in SMT and Value Estimation for Probabilistic Programs.
TACAS
Dmitry Chistikov, Rayna Dimitrova, Rupak Majumdar
2015 J jnl
Context-Free Commutative Grammars with Integer Counters and Resets.
CoRR
Dmitry Chistikov, Christoph Haase, Simon Halfon
2015 J jnl
Fractional coverings, greedy coverings, and rectifier networks.
CoRR
Dmitry Chistikov, Szabolcs Iván, Anna Lubiw, Jeffrey O. Shallit
2015 J jnl
Shortest paths in one-counter systems.
CoRR
Dmitry Chistikov, Wojciech Czerwinski, Piotr Hofman, Michal Pilipczuk, Michael Wehar
2014 J jnl
Approximate Counting in SMT and Value Estimation for Probabilistic Programs.
CoRR
Dmitry Chistikov, Rayna Dimitrova, Rupak Majumdar
2014 J jnl
Certificates of Non-Membership for Classes of Read-Once Functions.
Fundam. Informaticae
Dmitry Chistikov, Valentina Fedorova, Andrey A. Voronenko
2014 — conf
Notes on Counting with Finite Machines.
FSTTCS
Dmitry Chistikov
2014 — conf
Unary Pushdown Automata and Straight-Line Programs.
ICALP (2)
Dmitry Chistikov, Rupak Majumdar
2014 J jnl
Unary Pushdown Automata and Straight-Line Programs.
CoRR
Dmitry Chistikov, Rupak Majumdar
2013 C conf
A Uniformization Theorem for Nested Word to Word Transductions.
CIAA
Dmitry Chistikov, Rupak Majumdar