Tiwari, A.,
"Look for the Proof to Find the Program: Decorated-Component-Based Program Synthesis",
"Analysis of Software and Hardware" @ CAV 2017, Heidelberg, Germany, CAV: International Conference on Computer-Aided Verification, 2017.
Gascon, A.,
"Privacy-Preserving Distributed Linear Regression on High-Dimensional Data",
17th Privacy Enhancing Technologies Symposium, 2017.
O'Hara, K.,
Cultural Heritage Getting Social: Trust and Authority in the Crowd,
, Delft, SEALINCmedia, May, 2012.
O'Hara, K.,
Are We Getting Lost in Data?,
, London, British Computer Society, 2015.
O'Hara, K.,
Transparency, Open Data and Trust in Government,
, Evanston, IL, Web Science Conference, 2012.
O'Hara, K.,
Data, Trust and Governance,
, Oxford, Digital Research conference held at St Catherine's College, University of Oxford, 2012.
Tinati, R., and T. Tiropanis,
Introduction to the Web Observatory,
: WebObservatory.org, 2016.
Smith, D.,
INDX Personal Data Store,
, Oxford, United Kingdom, SOCIAM all-hands meeting, February, University of Oxford, 2014.
De Roure, D.,
Social Machines Stethoscopes,
, Oxford, United Kingdom, SOCIAM all-hands meeting, February, University of Oxford, 2014.
Murray-Rust, D.,
Building Parasitic Social Machines with LSC,
, Oxford, United Kingdom, SOCIAM all-hands meeting, February, University of Oxford, 2014.
