research
∙
06/15/2023
Finite state verifiers with both private and public coins
We consider the effects of allowing a finite state verifier in an intera...
share
research
∙
04/22/2023
Read-once machines and the thermodynamic complexity of Maxwell's demons
The thermodynamical costs imposed by computational resource limitations ...
research
∙
06/02/2022
Real-Time, Constant-Space, Constant-Randomness Verifiers
We study the class of languages that have membership proofs which can be...
research
∙
04/12/2022
Energy Complexity of Regular Language Recognition
The erasure of each bit of information by a computing device has an intr...
research
∙
06/22/2020