- Quantum Proofsfttcs, 11(1-2):1-215, 2016. [doi]

- Limitations on Separable Measurements by Convex OptimizationTIT, 61(6):3593-3604, 2015. [doi]

- Quantum Interactive Proofs with Short Messagestoc, 7(1):101-117, 2011. [doi]
- QIP = PSPACEJACM, 58(6):30, 2011. [doi]

- QIP = PSPACECACM, 53(12):102-109, 2010. [doi]
- QIP = PSPACEstoc 2010: 573-582 [doi]

- Zero-Knowledge against Quantum AttacksSIAMCOMP, 39(1):25-58, 2009. [doi]
- Semidefinite Programs for Completely Bounded Normstoc, 5(1):217-238, 2009. [doi]

- Distinguishing quantum operations having few Kraus operatorsqic, 8(8):819-833, 2008. [doi]

- Quantum Arthur-Merlin gamescc, 14(2):122-152, 2005. [doi]
- Notes on super-operator norms induced by schatten normsqic, 5(1):58-68, 2005. [doi]

- One-dimensional quantum walks with absorbing boundariesjcss, 69(4):562-592, 2004. [doi]

- PSPACE has constant-round quantum interactive proof systemsTCS, 292(3):575-588, 2003.
- On the complexity of simulating space-bounded quantum computationscc, 12(1-2):48-84, 2003. [doi]

- Two-way finite automata with quantum and classical stateTCS, 287(1):299-311, 2002.
- Sharp Quantum versus Classical Query Complexity Separationsalgorithmica, 34(4):449-461, 2002. [doi]

- Quantum Simulations of Classical Random Walks and Undirected Graph Connectivityjcss, 62(2):376-391, 2001.