Search results - ORA - Oxford University Research Archive

1 - 5 of 5

1

Conference item

The automatic detection of token structures and invariants using SAT checking

Antonino, P, Gibson-Robinson, T, Roscoe, A
2017-01-01

2

Conference item

Querying visible and invisible information

Benedikt, M, Bourhis, P, ten Cate, B, et al.
2016-07-05

3

Conference item

The use of data protection regulatory actions as a data source for privacy economics

Ceross, A, Simpson, A
2017-09-01

4

Conference item

Polynomial automata: zeroness and applications

Benedikt, M, Duff, T, Sharad, A, et al.
2017-08-18

5

Conference item

When can we answer queries using result-bounded data interfaces?

Amarilli, A, Benedikt, MA
2018-05-27

TO TOP