Search results - ORA - Oxford University Research Archive

« Previous | 11 - 20 of 21 | Next »

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

TO TOP