Search results - ORA - Oxford University Research Archive

1

Journal article

Local abstraction refinement for probabilistic timed programs

Dräger, K, Kwiatkowska, M, Parker, D, et al.
2013-08-01

2

Conference item

Security practices for households bank customers in the kingdom of Saudi Arabia

Alghamdi, D, Flechais, I, Jirotka, M
2019-01-01

3

Conference item

The logical strength of Büchi's decidability theorem

Kolodziejczyk, L, Michalewski, H, Pradic, P, et al.
2016-08-25

4

Conference item

A Curry-Howard approach to church's synthesis

Pradic, P, Riba, C
2017-08-21

5

Conference item

From normal functors to logarithmic space queries

Nguyên, L, Pradic, P
2019-07-08

6

Conference item

A Dialectica-Like Interpretation of a Linear MSO on Infinite Words

Pradic, P, Riba, C
2019-04-05

7

Journal article

The logical strength of Büchi's decidability theorem

Kolodziejczyk, L, Michalewski, H, Pradic, P, et al.
2019-05-23

8

Conference item

Kleene Algebra with Hypotheses

Doumane, A, Kuperberg, D, Pous, D, et al.
2019-04-05

9

Conference item

LMSO: A Curry-Howard approach to Church's synthesis via linear logic

Pradic, P, Riba, C
2018-07-09

10

Conference item

A study of cyber hate on twitter with implications for social media governance strategies

Procter, R, Webb, H, Jirotka, M, et al.
2019-10-05

11

Journal article

Selective recruitment of different Ca2+-dependent transcription factors by STIM1-Orai1 channel clusters

Lin, Y, Bakowski, D, Mirams, G, et al.
2019-06-07

12

Conference item

Approximate policy iteration for Markov decision processes via quantitative adaptive aggregations

Abate, A, Češka, M, Kwiatkowska, M
2016-09-22

13

Conference item

Counting Euler Tours in Undirected Bounded Treewidth Graphs

Balaji, N, Datta, S, Ganesan, V
2015-12-18

14

Conference item

WikiCREM: A large unsupervised corpus for coreference resolution

Kocijan, V, Camburu, O, Cretu, A, et al.
2019-11-07

15

Conference item

Controllable text-to-image generation

Li, B, Qi, X, Lukasiewicz, T, et al.
2019-11-18

16

Conference item

Counting induced subgraphs: an algebraic approach to #W[1]-hardness

Dörfler, J, Roth, M, Schmitt, J, et al.
2019-08-31

17

Conference item

Counting induced subgraphs: a topological approach to #W[1]-hardness

Roth, M, Schmitt, J
2019-01-31

18

Conference item

Parameterized counting of trees, forests and matroid bases

Brand, C, Roth, M
2017-06-10

19

Conference item

Fine-grained dichotomies for the Tutte plane and Boolean #CSP

Roth, M, Brand, C, Dell, H
2017-01-01

20

Journal article

Fine-grained dichotomies for the Tutte Plane and Boolean #CSP

Brand, C, Dell, H, Roth, M
2018-06-22

21

Conference item

Counting edge-injective homomorphisms and matchings on restricted graph classes

Curticapean, R, Dell, H, Roth, M
2017-03-31

22

Journal article

Counting edge-injective homomorphisms and matchings on restricted graph classes

Curticapean, R, Dell, H, Roth, M
2018-10-31

23

Conference item

Counting restricted homomorphisms via Möbius inversion over matroid lattices

Roth, M
2017-09-30

24

Conference item

Counting and finding homomorphisms is universal for parameterized complexity theory

Roth, M, Wellnitz, P
2020-01-01

25

Conference item

Counting answers to existential questions

Roth, M, Dell, H, Wellnitz, P
2019-07-08

26

Conference item

Human-robot relationships and the development of responsible social robots

Webb, H, Jirotka, M, Winfield, A, et al.
2019-11-19

27

Conference item

Polymorphic extractors for semantic and portable pattern matching (short paper)

Shaikhha, A
2019-10-21

28

Journal article

Asymptotic existence of proportionally fair allocations

Suksompong, W
2016-03-24

29

Conference item

Compiler generation for performance-oriented embedded DSLs (short paper)

Shaikhha, A, Jovanovic, V, Koch, C
2019-10-21

30

Journal article

Verification of general Markov decision processes by approximate similarity relations and policy refinement

Haesaert, S, Soudjani, SE, Abate, A
2017-08-03

31

Report

Information security: The case for a global skills framework

Phillips, E, Jagger, P, Jagger, C
2017-01-01

32

Conference item

Peeves: Physical Event Verification in Smart Homes

Birnbach, S, Eberz, S, Martinovic, I
2019-11-06

33

Journal article

Anomaly detection using pattern-of-life visual metaphors

Happa, J, Bashford-Rogers, T, Agrafiotis, I, et al.
2019-10-21

34

Conference item

A Stochastic Hybrid Approximation for Chemical Kinetics Based on the Linear Noise Approximation

Cardelli, L, Kwiatkowska, M, Laurenti, L
2016-09-04

35

Journal article

Fractional hedonic games

Aziz, H, Brandl, F, Brandt, F, et al.
2019-08-01

36

Conference item

IONet: Learning to Cure the Curse of Drift in Inertial Odometry

Chen, C, Lu, X, Markham, A, et al.
2018-02-02

37

Journal article

The impossibility of extending random dictatorship to weak preferences

Brandl, F, Brandt, F, Suksompong, W
2016-04-01

38

Conference item

Improved hardness for H-colourings of G-colourable graphs

Wrochna, M, Zivny, S
2020-01-01

39

Conference item

Logically-constrained neural fitted Q-iteration

Hasanbeig, M, Abate, A, Kroening, D
2019-05-17

40

Journal article

Average-case lower bounds and satisfiability algorithms for small threshold circuits

Chen, R, Santhanam, R, Srinivasan, S
2018-06-05

41

Journal article

Unifying analytic and statically-typed quasiquotes

Parreaux, L, Voizard, A, Shaikhha, A, et al.
2017-12-27

42

Journal article

Monadic datalog, tree validity, and limited access containment

Benedikt, M, Bourhis, P, Gottlob, G, et al.
2019-10-04

43

Conference item

Measuring long wire leakage with ring oscillators in cloud FPGAs

Giechaskiel, I, Rasmussen, K, Szefer, J
2019-11-07

44

Journal article

Nash equilibrium and bisimulation invariance

Gutierrez, J, Harrenstein, B, Perelli, G, et al.
2019-09-20

45

Conference item

A framework for evaluating security in the presence of signal injection attacks

Giechaskiel, I, Zhang, Y, Rasmussen, K
2019-09-15

46

Conference item

Autonomous learning for face recognition in the wild via ambient wireless cues

Lu, C, Kan, X, Du, B, et al.
2019-05-13

47

Conference item

Deepauth: in-situ authentication for smartwatches via deeply learned behavioural biometrics

Lu, C, Du, B, Zhao, P, et al.
2018-10-08

48

Journal article

Semantic place understanding for human–robot coexistence—toward intelligent workplaces

Rosa, S, Patanè, A, Lu, C, et al.
2018-10-30

49

Journal article

Visual SLAM and structure from motion in dynamic environments

Saputra, M, Markham, A, Trigoni, N
2018-06-02

50

Journal article

Efficient indoor positioning with visual experiences via lifelong learning

Wen, H, Clark, R, Wang, S, et al.
2018-07-03