ORA - Oxford University Research Archive

« Previous | 1 - 10 of 81 | Next »

1

Conference item

Counterexample guided inductive synthesis modulo theories

Abate, A, David, C, Kesseli, P, et al.
2018-07-18

2

Conference item

Sound numerical computations in abstract acceleration

Cattaruzza, D, Abate, A, Schrammel, P, et al.
2017-07-12

3

Journal article

Superconductivity, incoherence and Anderson localization in the crystalline organic conductor (BEDT-TTF)(3)Cl-2 center dot 2H(2)O at high pressures

Goddard, P, Tozer, SW, Singleton, J, et al.
2002-08-12

4

Journal article

Enhanced photoluminescence and solar cell performance via Lewis base passivation of organic-inorganic lead halide perovskites

Noel, N, Abate, A, Stranks, S, et al.
2014-08-29

5

Journal article

The effect of selective interactions at the interface of polymer-oxide hybrid solar cells

Canesi, EV, Binda, M, Abate, A, et al.
2012-10-05

6

Journal article

Tetrahedral oxyanions in halogen-bonded coordination networks

Abate, A, Martí-Rujas, J, Metrangolo, P, et al.
2011-09-07

7

Journal article

Anomalous hysteresis in perovskite solar cells

Snaith, HJ, Abate, A, Ball, JM, et al.
2014

8

Conference item

Benchmarks for cyber-physical systems: A modular model library for building automation systems

Cauchi, NM, Abate, A
2018-08-31

9

Journal article

Enhanced photoluminescence and solar cell performance via Lewis base passivation of organic-inorganic lead halide perovskites.

Noel, NK, Abate, A, Stranks, SD, et al.
2014-10-05

10

Conference

Data-efficient Bayesian verification of parametric Markov chains

Polgreen, EE, Wijesuriya, V, Haesaert, S, et al.
2016

« Previous
Next »
1
2
3
4
5
…
8
9

TO TOP