| |
| 2006 | ||
|---|---|---|
| 6 | EE | Lei Zhang, Shunsuke Akifuji, Katsumi Kawai, Tsuyoshi Morioka: Comparison Between Test Driven Development and Waterfall Development in a Small-Scale Project. XP 2006: 211-212 |
| 2005 | ||
| 5 | EE | Stephen Cook, Tsuyoshi Morioka: Quantified propositional calculus and a second-order theory for NC1. Arch. Math. Log. 44(6): 711-749 (2005) |
| 2004 | ||
| 4 | EE | Josh Buresh-Oppenheim, Tsuyoshi Morioka: Relativized NP Search Problems and Propositional Proof Systems. IEEE Conference on Computational Complexity 2004: 54-67 |
| 2003 | ||
| 3 | EE | Tsuyoshi Morioka: The Relative Complexity of Local Search Heuristics and the Iteration Principle Electronic Colloquium on Computational Complexity (ECCC)(051): (2003) |
| 2 | EE | Josh Buresh-Oppenheim, Tsuyoshi Morioka: Relativized NP Search Problems and Propositional Proof Systems Electronic Colloquium on Computational Complexity (ECCC)(084): (2003) |
| 2001 | ||
| 1 | EE | Tsuyoshi Morioka: Classification of Search Problems and Their Definability in Bounded Arithmetic Electronic Colloquium on Computational Complexity (ECCC)(082): (2001) |
| 1 | Shunsuke Akifuji | [6] |
| 2 | Joshua Buresh-Oppenheim (Josh Buresh-Oppenheim) | [2] [4] |
| 3 | Stephen Cook | [5] |
| 4 | Katsumi Kawai | [6] |
| 5 | Lei Zhang | [6] |