Number of items: 4.
Hickey, Christopher J. A.
(2021)
Streaming interactive proofs.
PhD thesis, University of Warwick.
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
This list was generated on Thu Apr 18 18:29:47 2024 BST.