Streaming Verification of Graph Properties.

Amirali Abdullah, Samira Daruki, Chitradeep Dutta Roy, Suresh Venkatasubramanian

Browse the full ISAAC paper archive.