Search results - ORA - Oxford University Research Archive

1 - 4 of 4

1

Conference item

The complexity of Presburger arithmetic with power or powers

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

2

Conference item

Bisimilarity distances for approximate differential privacy

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

3

Conference item

O-minimal invariants for linear loops

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

4

Conference item

On restricted nonnegative matrix factorization

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

TO TOP