Amit Chakrabarti, Graham Cormode, Andrew McGregor, Justin Thaler, Suresh Venkatasubramanian. Verifiable Stream Computation and Arthur-Merlin Communication. Electronic Colloquium on Computational Complexity (ECCC), 21:86, 2014. [doi]
@article{ChakrabartiCMTV14,
title = {Verifiable Stream Computation and Arthur-Merlin Communication},
author = {Amit Chakrabarti and Graham Cormode and Andrew McGregor and Justin Thaler and Suresh Venkatasubramanian},
year = {2014},
url = {http://eccc.hpi-web.de/report/2014/086},
researchr = {https://researchr.org/publication/ChakrabartiCMTV14},
cites = {0},
citedby = {0},
journal = {Electronic Colloquium on Computational Complexity (ECCC)},
volume = {21},
pages = {86},
}