Steven Perron

According to our database, Steven Perron authored at least 7 papers between 2003 and 2011.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2011

Challenges for parallel computing.

Kit Barton, Amy Wang, Steven Perron, Priya Unnikrishnan

Proceedings of the Center for Advanced Studies on Collaborative Research, 2011

2010

6th Workshop on Challenges for Parallel Computing.

Kit Barton, Steven Perron, Guansong Zhang

Proceedings of the 2010 conference of the Centre for Advanced Studies on Collaborative Research, 2010

2009

Power of Non-uniformity in Proof Complexity.

Steven Perron

PhD thesis, 2009

2008

Examining fragments of the quantified propositional calculus.

Steven Perron

J. Symb. Log., 2008

Quantified Propositional Logspace Reasoning

Steven Perron

CoRR, 2008

2005

A Propositional Proof System for Log Space.

Steven Perron

Proceedings of the Computer Science Logic, 19th International Workshop, 2005

2003

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