Search results - ORA - Oxford University Research Archive

1 - 13 of 13

1

Journal article

On fixpoint logics and equivalences for processes with restricted nondeterminism

Gutierrez, J
2015-06-08

2

Journal article

On the complexity of Hilbert refutations for partition

Margulies, S, Onn, S, Pasechnik, D
2014-02-14

3

Thesis

Combined experimental and computational investigation into inter-subject variability in cardiac electrophysiology

Britton, O
2015

4

Thesis

PAGOdA: Pay-as-you-go ontology query answering using a datalog reasoner

Zhou, Y
2015

5

Thesis

Security test and evaluation of cross domain systems

Loughry, J
2014

6

Journal article

A parallel implementation of an off-lattice individual-based model of multicellular populations

Pitt-Francis, J, Fletcher, A, Harvey, D, et al.
2015-04-07

7

Journal article

Model-checking games for fixpoint logics with partial order models

Gutierrez, J, Bradfield, J
2010-12-15

8

Journal article

Guiding the folding pathway of DNA origami

Dunn, KE, Dannenberg, F, Ouldridge, TE, et al.
2015-08-19

9

Thesis

Evaluating conjunctive and graph queries over the EL profile of OWL 2

Stefanoni, G
2015

10

Dataset

Journal of Theoretical Biology, Leonard et al

Whiteley, J
2015

11

Thesis

The impact of disjunction on reasoning under existential rules

Morak, M
2014

12

Journal article

Sandpile groups of generalized de Bruijn and Kautz graphs and circulant matrices over finite fields

Chan, SH, Hollmann, HDL, Pasechnik, DV
2014-09-12

13

Conference item

Safety verification and refutation by k-invariants and k-induction

Brain, M, Joshi, S, Kroening, D, et al.
2015-09-02

TO TOP