49 citations · 281 across the 55 of their papers we have counts for
1 paper · 2 filters
Harumichi Nishimura, Tomoyuki Yamakami
Following an early work of Dwork and Stockmeyer on interactive proof systems whose verifiers are two-way probabilistic finite automata, the authors initiated in 2004 a study on the…