Number of items: 4.
Conference Item
Hickey, Christopher J. A. and Cormode, Graham
(2019)
Efficient interactive proofs for linear algebra.
In: ISAAC 2019: The 30th International Symposium on Algorithms and Computation, Shanghai, China, 8-11 Dec 2019. Published in: 30th International Symposium on Algorithms and Computation (ISAAC 2019), 149
48:1-48:19.
ISBN 9783959771306.
doi:10.4230/LIPIcs.ISAAC.2019.48
Cormode, Graham and Hickey, Christopher J. A.
(2018)
You can check others' work more quickly than doing it yourself.
In: 2018 International Conference on Data Engineering (ICDE), Paris, France, 16-18 Apr 2018. Published in: 2018 IEEE 34th International Conference on Data Engineering (ICDE)
ISBN 9781538655207.
doi:10.1109/ICDE.2018.00213
ISSN 2375-026X .
Cormode, Graham and Hickey, Christopher J. A.
(2018)
Cheap checking for cloud computing : statistical analysis via annotated data streams.
In: The 21st International Conference on Artificial Intelligence and Statistics, Playa Blanca, Lanzarote, Canary Islands, 9-11 Apr 2018. Published in: Proceedings of the 21st International Conference on Artificial Intelligence and Statistics, 84
Thesis
Hickey, Christopher J. A.
(2021)
Streaming interactive proofs.
PhD thesis, University of Warwick.
This list was generated on Thu Apr 25 00:31:48 2024 BST.