publication venue for
- Circuit Complexity, Proof Complexity, and Polynomial Identity Testing: The Ideal Proof System 2018
- On the Bias of Traceroute Sampling: or, Power-Law Degree Distributions in Regular Graphs 2009
- A MORPHIC REPRESENTATION OF COMPLEMENTS OF RECURSIVELY-ENUMERABLE SETS 1981
- THE SEQUENCE EQUIVALENCE PROBLEM IS DECIDABLE FOR 0S SYSTEMS 1980