Masanao Ozawa

	2005
6		Harumichi Nishimura, Masanao Ozawa: Uniformity of quantum circuit families for error-free algorithms. Theor. Comput. Sci. 332(1-3): 487-496 (2005)
	2002
5		Masanao Ozawa: Halting of Quantum Turing Machines. UMC 2002: 58-65
4		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		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)

Coauthor Index

1

Harumichi Nishimura

[3] [4] [6]