Search results - ORA - Oxford University Research Archive

1 - 5 of 5

1

Journal article

O-minimal invariants for discrete-time dynamical systems

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

2

Journal article

The big-O problem

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

3

Journal article

Approximate counting in SMT and value estimation for probabilistic programs

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

4

Journal article

Nonnegative matrix factorization requires irrationality

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

5

Journal article

Context-free commutative grammars with integer counters and resets

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

TO TOP