dblp.uni-trier.dewww.uni-trier.de

Tsuyoshi Morioka

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2006
6EELei 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
5EEStephen Cook, Tsuyoshi Morioka: Quantified propositional calculus and a second-order theory for NC1. Arch. Math. Log. 44(6): 711-749 (2005)
2004
4EEJosh Buresh-Oppenheim, Tsuyoshi Morioka: Relativized NP Search Problems and Propositional Proof Systems. IEEE Conference on Computational Complexity 2004: 54-67
2003
3EETsuyoshi Morioka: The Relative Complexity of Local Search Heuristics and the Iteration Principle Electronic Colloquium on Computational Complexity (ECCC)(051): (2003)
2EEJosh Buresh-Oppenheim, Tsuyoshi Morioka: Relativized NP Search Problems and Propositional Proof Systems Electronic Colloquium on Computational Complexity (ECCC)(084): (2003)
2001
1EETsuyoshi Morioka: Classification of Search Problems and Their Definability in Bounded Arithmetic Electronic Colloquium on Computational Complexity (ECCC)(082): (2001)

Coauthor Index

1Shunsuke Akifuji [6]
2Joshua Buresh-Oppenheim (Josh Buresh-Oppenheim) [2] [4]
3Stephen Cook [5]
4Katsumi Kawai [6]
5Lei Zhang [6]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)