Search results - ORA - Oxford University Research Archive

1 - 5 of 5

1

Conference item

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

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

2

Conference item

Polynomial automata: zeroness and applications

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

3

Journal article

Complexity of two-variable logic on finite trees

Benaim, S, Benedikt, M, Charatonik, W, et al.
2016-11-01

4

Conference item

The automatic detection of token structures and invariants using SAT checking

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

5

Journal article

High resolution structural evidence suggests the Sarcoplasmic Reticulum forms microdomains with Acidic Stores (lysosomes) in the heart.

Aston, D, Capel, R, Ford, K, et al.
2017-01-01

TO TOP