Search results - ORA - Oxford University Research Archive

1 - 21 of 21

1

Conference item

The complexity of Presburger arithmetic with power or powers

Benedikt, M, Chistikov, D, Mansutti, A
2023-07-05

2

Conference item

Geometric decision procedures and the VC dimension of linear arithmetic theories

Chistikov, D, Haase, C, Mansutti, A
2022-08-04

3

Conference item

Higher-order quantified boolean satisfiability

Chistikov, D, Haase, C, Hadizadeh, Z, et al.
2022-08-22

4

Journal article

O-minimal invariants for discrete-time dynamical systems

Almagor, S, Chistikov, D, Ouaknine, J, et al.
2022-01-14

5

Journal article

The big-O problem

Chistikov, D, Kiefer, SM, Murawski, AS, et al.
2022-03-15

6

Conference item

Quantifier elimination for counting extensions of Presburger arithmetic

Chistikov, D, Haase, C, Mansutti, A
2022-03-29

7

Conference item

The Big-O problem for labelled Markov chains and weighted automata

Chistikov, D, Kiefer, S, Murawski, A, et al.
2020-08-26

8

Conference item

Asymmetric distances for approximate differential privacy

Chistikov, D, Murawski, A, Purser, D
2019-08-26

9

Conference item

Bisimilarity distances for approximate differential privacy

Chistikov, D, Murawski, A, Purser, D
2018-09-30

10

Conference item

O-minimal invariants for linear loops

Almagor, S, Chistikov, D, Ouaknine, J, et al.
2018-06-29

11

Conference item

On the complexity of quantified integer programming

Chistikov, D, Haase, C
2017-07-06

12

Journal article

Approximate counting in SMT and value estimation for probabilistic programs

Chistikov, D, Dimitrova, R, Majumdar, R
2017-04-12

13

Journal article

Nonnegative matrix factorization requires irrationality

Chistikov, D, Kiefer, S, Marusic, I, et al.
2017-06-29

14

Conference item

Fractional coverings, greedy coverings, and rectifier networks

Chistikov, D, Iván, S, Lubiw, A, et al.
2017-02-24

15

Conference item

On Rationality of Nonnegative Matrix Factorization

Chistikov, D, Kiefer, S, Marusic, I, et al.
2017-01-01

16

Conference item

On restricted nonnegative matrix factorization

Kiefer, S, Chistikov, D, Marusic, I, et al.
2016-07-01

17

Conference item

The complexity of regular abstractions of one-counter languages

Atig, M, Chistikov, D, Hofman, P, et al.
2016-07-05

18

Conference item

On restricted nonnegative matrix factorization

Kiefer, S, Chistikov, D, Marusic, I, et al.
2016-07-01

19

Conference item

The taming of the semi-linear set

Chistikov, D, Haase, C
2016-08-17

20

Conference item

Hitting families of schedules for asynchronous programs

Chistikov, D, Majumdar, R, Niksic, F
2016-07-01

21

Journal article

Context-free commutative grammars with integer counters and resets

Chistikov, D, Haase, C, Halfon, S
2016-06-01

TO TOP