1. Separations in Proof Complexity and TFNP;Journal of the ACM;2024-08
2. Separations in Proof Complexity and TFNP;2022 IEEE 63rd Annual Symposium on Foundations of Computer Science (FOCS);2022-10
3. Characterising the intersection of QMA and coQMA;Quantum Information Processing;2021-11-23
4. The classes PPA-k: Existence from arguments modulo k;Theoretical Computer Science;2021-09
5. Total functions in QMA;Quantum Information Processing;2021-01