| |
| 2008 | ||
|---|---|---|
| 3 | EE | Steven Perron: Quantified Propositional Logspace Reasoning CoRR abs/0801.4105: (2008) |
| 2005 | ||
| 2 | EE | Steven Perron: A Propositional Proof System for Log Space. CSL 2005: 509-524 |
| 2003 | ||
| 1 | Stavros Konstantinidis, Steven Perron, L. Amber Wilcox-O'Hearn: On a simple method for detecting synchronization errors in coded messages. IEEE Transactions on Information Theory 49(5): 1355-1363 (2003) | |
| 1 | Stavros Konstantinidis | [1] |
| 2 | L. Amber Wilcox-O'Hearn | [1] |