On the Hardness of Disentanglers and Quantum de Finetti Theorems
Classical Probabilistic Checkable Proof and Multi-Prover Quantum Merlin-Arthur
On the Quantum-Classical Separation of Marking and Multi-Head Automata
IC Technical Reports 2014
Arnaldo Vieira Moura