On a simple method for detecting synchronization errors in coded messages. - Stavros Konstantinidis; Steven Perron; L. Amber Wilcox-O'Hearn (IEEE Trans. Inf. Theory, 2003)

A Propositional Proof System for Log Space. - Steven Perron (CSL, 2005)

Quantified Propositional Logspace Reasoning - Steven Perron (CoRR, 2008)

Examining fragments of the quantified propositional calculus. - Steven Perron (J. Symb. Log., 2008)

Power of Non-uniformity in Proof Complexity. - Steven Perron (2009)

6th Workshop on Challenges for Parallel Computing. - Kit Barton; Steven Perron; Guansong Zhang (CASCON, 2010)

Challenges for parallel computing. - Kit Barton; Amy Wang; Steven Perron; Priya Unnikrishnan (CASCON, 2011)