Dmitry Chistikov

Publication Activity (10 Years)

Years Active: 2013-2024
Publications (10 Years): 51

Top Topics

Nonnegative Matrix

Quantifier Elimination

Top Venues

Publications

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