Steven Perron

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

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2011
Challenges for parallel computing.
Proceedings of the Center for Advanced Studies on Collaborative Research, 2011

2010
6th Workshop on Challenges for Parallel Computing.
Proceedings of the 2010 conference of the Centre for Advanced Studies on Collaborative Research, 2010

2009
Power of Non-uniformity in Proof Complexity.
PhD thesis, 2009

2008
Examining fragments of the quantified propositional calculus.
J. Symb. Log., 2008

Quantified Propositional Logspace Reasoning
CoRR, 2008

2005
A Propositional Proof System for Log Space.
Proceedings of the Computer Science Logic, 19th International Workshop, 2005

2003
On a simple method for detecting synchronization errors in coded messages.
IEEE Trans. Inf. Theory, 2003


  Loading...