On the complexity of quantified integer programming by Chistikov, D, Haase, C

The taming of the semi-linear set by Chistikov, D, Haase, C

Context-free commutative grammars with integer counters and resets by Chistikov, D, Haase, C, Halfon, S

Hitting families of schedules for asynchronous programs by Chistikov, D, Majumdar, R, Niksic, F

Quantifier elimination for counting extensions of Presburger arithmetic by Chistikov, D, Haase, C, Mansutti, A

The complexity of Presburger arithmetic with power or powers by Benedikt, M, Chistikov, D, Mansutti, A

Bisimilarity distances for approximate differential privacy by Chistikov, D, Murawski, A, Purser, D

Approximate counting in SMT and value estimation for probabilistic programs by Chistikov, D, Dimitrova, R, Majumdar, R

Asymmetric distances for approximate differential privacy by Chistikov, D, Murawski, A, Purser, D

Geometric decision procedures and the VC dimension of linear arithmetic theories by Chistikov, D, Haase, C, Mansutti, A

The Big-O problem for labelled Markov chains and weighted automata by Chistikov, D, Kiefer, S, Murawski, A, Purser, D

The big-O problem by Chistikov, D, Kiefer, SM, Murawski, AS, Purser, D

O-minimal invariants for linear loops by Almagor, S, Chistikov, D, Ouaknine, J, Worrell, J

Fractional coverings, greedy coverings, and rectifier networks by Chistikov, D, Iván, S, Lubiw, A, Shallit, J

O-minimal invariants for discrete-time dynamical systems by Almagor, S, Chistikov, D, Ouaknine, J, Worrell, J

Higher-order quantified boolean satisfiability by Chistikov, D, Haase, C, Hadizadeh, Z, Mansutti, A

Nonnegative matrix factorization requires irrationality by Chistikov, D, Kiefer, S, Marusic, I, Shirmohammadi, M, Worrell, J

On Rationality of Nonnegative Matrix Factorization by Chistikov, D, Kiefer, S, Marusic, I, Shirmohammadi, M, Worrell, J

On restricted nonnegative matrix factorization by Kiefer, S, Chistikov, D, Marusic, I, Shirmohammadi, M, Worrell, J

On restricted nonnegative matrix factorization by Kiefer, S, Chistikov, D, Marusic, I, Shirmohammadi, M, Worrell, J