Forcing in Nonstandard Analysis. - Masanao Ozawa (Ann. Pure Appl. Log., 1994)

Scott Incomplete Boolean Ultrapowers of the Real Line. - Masanao Ozawa (J. Symb. Log., 1995)

Local transition functions of quantum Turing machines. - Masanao Ozawa; Harumichi Nishimura (RAIRO Theor. Informatics Appl., 2000)

Halting of Quantum Turing Machines. - Masanao Ozawa (UMC, 2002)

Computational complexity of uniform quantum circuit families and quantum Turing machines. - Harumichi Nishimura; Masanao Ozawa (Theor. Comput. Sci., 2002)

Existence of the Exact CNOT on a Quantum Computer with the Exchange Interaction. - Yasuhito Kawano; Kinji Kimura; Hiroshi Sekigawa; Masayuki Noro; Kiyoshi Shirayanagi; Masahiro Kitagawa; Masanao Ozawa (Quantum Inf. Process., 2005)

Uniformity of quantum circuit families for error-free algorithms. - Harumichi Nishimura; Masanao Ozawa (Theor. Comput. Sci., 2005)

Transfer principle in quantum set theory. - Masanao Ozawa (J. Symb. Log., 2007)

Perfect computational equivalence between quantum Turing machines and finitely generated uniform quantum circuit families. - Harumichi Nishimura; Masanao Ozawa (Quantum Inf. Process., 2009)

Quantum Set Theory Extending the Standard Probabilistic Interpretation of Quantum Theory (Extended Abstract). - Masanao Ozawa (QPL, 2014)

Operational Meanings of Orders of Observables Defined through Quantum Set Theories with Different Conditionals. - Masanao Ozawa (QPL, 2016)

Quantum Set Theory Extending the Standard Probabilistic Interpretation of Quantum Theory. - Masanao Ozawa (New Gener. Comput., 2016)

Orthomodular-Valued Models for quantum Set Theory. - Masanao Ozawa (Rev. Symb. Log., 2017)

Application of Theory of Quantum Instruments to Psychology: Combination of Question Order Effect with Response Replicability Effect. - Masanao Ozawa; Andrei Yu. Khrennikov (Entropy, 2020)

Quantum set theory: Transfer Principle and De Morgan's Laws. - Masanao Ozawa (Ann. Pure Appl. Log., 2021)

Quantum-like modeling in biology with open quantum systems and instruments. - Irina Basieva; Andrei Yu. Khrennikov; Masanao Ozawa (Biosyst., 2021)

A Bridge between Q-Worlds. - Andreas Döring; Benjamin Eva; Masanao Ozawa (Rev. Symb. Log., 2021)

Logical Characterization of Contextual Hidden-Variable Theories based on Quantum Set Theory. - Masanao Ozawa (QPL, 2022)

Coupling quantum-like cognition with the neuronal networks within generalized probability theory. - Andrei Yu. Khrennikov; Masanao Ozawa; Felix Benninger; Oded Shor (CoRR, 2024)

Quantum-like cognition and decision making in the light of quantum measurement theory. - Miho Fuyama; Andrei Yu. Khrennikov; Masanao Ozawa (CoRR, 2025)