| |
| 2005 | ||
|---|---|---|
| 6 | EE | Harumichi Nishimura, Masanao Ozawa: Uniformity of quantum circuit families for error-free algorithms. Theor. Comput. Sci. 332(1-3): 487-496 (2005) |
| 2002 | ||
| 5 | EE | Masanao Ozawa: Halting of Quantum Turing Machines. UMC 2002: 58-65 |
| 4 | EE | Harumichi Nishimura, Masanao Ozawa: Computational complexity of uniform quantum circuit families and quantum Turing machines. Theor. Comput. Sci. 276(1-2): 147-181 (2002) |
| 2000 | ||
| 3 | EE | Masanao Ozawa, Harumichi Nishimura: Local transition functions of quantum Turing machines. ITA 34(5): 379-402 (2000) |
| 1995 | ||
| 2 | Masanao Ozawa: Scott Incomplete Boolean Ultrapowers of the Real Line. J. Symb. Log. 60(1): 160-171 (1995) | |
| 1994 | ||
| 1 | Masanao Ozawa: Forcing in Nonstandard Analysis. Ann. Pure Appl. Logic 68(3): 263-297 (1994) | |
| 1 | Harumichi Nishimura | [3] [4] [6] |