Masanao Ozawa

According to our database, Masanao Ozawa authored at least 18 papers between 1994 and 2022.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2022

Logical Characterization of Contextual Hidden-Variable Theories based on Quantum Set Theory.

Masanao Ozawa

Proceedings of the Proceedings 19th International Conference on Quantum Physics and Logic, 2022

2021

A Bridge between Q-Worlds.

Andreas Döring, Benjamin Eva, Masanao Ozawa

Rev. Symb. Log., 2021

Quantum-like modeling in biology with open quantum systems and instruments.

Irina Basieva, Andrei Yu. Khrennikov, Masanao Ozawa

Biosyst., 2021

Quantum set theory: Transfer Principle and De Morgan's Laws.

Masanao Ozawa

Ann. Pure Appl. Log., 2021

2020

Application of Theory of Quantum Instruments to Psychology: Combination of Question Order Effect with Response Replicability Effect.

Masanao Ozawa, Andrei Yu. Khrennikov

Entropy, 2020

2017

Orthomodular-Valued Models for quantum Set Theory.

Masanao Ozawa

Rev. Symb. Log., 2017

2016

Quantum Set Theory Extending the Standard Probabilistic Interpretation of Quantum Theory.

Masanao Ozawa

New Gener. Comput., 2016

Operational Meanings of Orders of Observables Defined through Quantum Set Theories with Different Conditionals.

Masanao Ozawa

Proceedings of the Proceedings 13th International Conference on Quantum Physics and Logic, 2016

2014

Quantum Set Theory Extending the Standard Probabilistic Interpretation of Quantum Theory (Extended Abstract).

Masanao Ozawa

Proceedings of the 11th workshop on Quantum Physics and Logic, 2014

2009

Perfect computational equivalence between quantum Turing machines and finitely generated uniform quantum circuit families.

Harumichi Nishimura, Masanao Ozawa

Quantum Inf. Process., 2009

2007

Transfer principle in quantum set theory.

Masanao Ozawa

J. Symb. Log., 2007

2005

Uniformity of quantum circuit families for error-free algorithms.

Harumichi Nishimura, Masanao Ozawa

Theor. Comput. Sci., 2005

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

2002

Computational complexity of uniform quantum circuit families and quantum Turing machines.

Harumichi Nishimura, Masanao Ozawa

Theor. Comput. Sci., 2002

Halting of Quantum Turing Machines.

Masanao Ozawa

Proceedings of the Unconventional Models of Computation, Third International Conference, 2002

2000

Local transition functions of quantum Turing machines.

Masanao Ozawa, Harumichi Nishimura

RAIRO Theor. Informatics Appl., 2000

1995

Scott Incomplete Boolean Ultrapowers of the Real Line.

Masanao Ozawa

J. Symb. Log., 1995

1994

Forcing in Nonstandard Analysis.

Masanao Ozawa

Ann. Pure Appl. Log., 1994