Name
Title | Citations | PageRank | Year |
|---|---|---|---|
| Erratum to: Energy-aware analysis of electrically long high speed I/O links. | 0 | 0.34 | 2014 |
| Does Advice Help to Prove Propositional Tautologies? | 2 | 0.38 | 2009 |
| Nondeterministic Instance Complexity and Proof Systems with Advice | 5 | 0.48 | 2008 |