1. Improved Hardness of Approximating k-Clique under ETH;2023 IEEE 64th Annual Symposium on Foundations of Computer Science (FOCS);2023-11-06
2. Quantified Derandomization: How to Find Water in the Ocean;Foundations and Trends® in Theoretical Computer Science;2022
3. Quadratic Simulations of Merlin–Arthur Games;ACM Transactions on Computation Theory;2020-05-14
4. Quadratic Simulations of Merlin–Arthur Games;LATIN 2018: Theoretical Informatics;2018
5. Local Expanders;computational complexity;2017-06-20