Harumichi Nishimura
Orcid: 0000-0002-2219-3320Affiliations:
- Nagoya University, Japan
According to our database1,
Harumichi Nishimura
authored at least 66 papers
between 2000 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2024
Electron. Colloquium Comput. Complex., 2024
Proceedings of the 43rd ACM Symposium on Principles of Distributed Computing, 2024
Proceedings of the 28th International Conference on Principles of Distributed Systems, 2024
2023
Proceedings of the 40th International Symposium on Theoretical Aspects of Computer Science, 2023
Proceedings of the 48th International Symposium on Mathematical Foundations of Computer Science, 2023
2022
Proceedings of the 36th International Symposium on Distributed Computing, 2022
2021
IACR Cryptol. ePrint Arch., 2021
Proceedings of the 16th Conference on the Theory of Quantum Computation, 2021
Proceedings of the 12th Innovations in Theoretical Computer Science Conference, 2021
2020
Proceedings of the 34th International Symposium on Distributed Computing, 2020
2019
Quantum Inf. Comput., 2019
Proceedings of the 36th International Symposium on Theoretical Aspects of Computer Science, 2019
2018
Interactive Proofs with Polynomial-Time Quantum Prover for Computing the Order of Solvable Groups.
Proceedings of the 43rd International Symposium on Mathematical Foundations of Computer Science, 2018
2017
Quantum Inf. Comput., 2017
Merlin-Arthur with efficient quantum Merlin and quantum supremacy for the second level of the Fourier hierarchy.
CoRR, 2017
Chic. J. Theor. Comput. Sci., 2017
2016
Theor. Comput. Sci., 2016
Comput. Complex., 2016
Proceedings of the 43rd International Colloquium on Automata, Languages, and Programming, 2016
Proceedings of the 43rd International Colloquium on Automata, Languages, and Programming, 2016
2015
SIAM J. Comput., 2015
2014
Proceedings of the International Symposium on Information Theory and its Applications, 2014
2013
Int. J. Found. Comput. Sci., 2013
Quantum Algorithms for Finding Constant-sized Sub-hypergraphs over 3-uniform Hypergraphs.
CoRR, 2013
Proceedings of the International Symposium on Network Coding, 2013
2012
Achieving perfect completeness in classical-witness quantum merlin-arthur proof systems.
Quantum Inf. Comput., 2012
Computational Indistinguishability Between Quantum States and Its Cryptographic Application.
J. Cryptol., 2012
Proceedings of the Algorithm Theory - SWAT 2012, 2012
2011
Proceedings of the 2011 IEEE International Symposium on Information Theory Proceedings, 2011
2010
Proceedings of the IEEE International Symposium on Information Theory, 2010
2009
Perfect computational equivalence between quantum Turing machines and finitely generated uniform quantum circuit families.
Quantum Inf. Process., 2009
J. Comput. Syst. Sci., 2009
IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2009
Proceedings of the Automata, Languages and Programming, 36th International Colloquium, 2009
2008
Proceedings of the Algorithms and Computation, 19th International Symposium, 2008
Proceedings of the Automata, Languages and Programming, 35th International Colloquium, 2008
2007
Proceedings of the Algorithms and Computation, 18th International Symposium, 2007
Proceedings of the Automata, Languages and Programming, 34th International Colloquium, 2007
2006
Proceedings of the Proceedings 2006 IEEE International Symposium on Information Theory, 2006
2005
Theor. Comput. Sci., 2005
Quantum Minimal One Way Information: Relative Hardness and Quantum Advantage of Combinatorial Tasks
CoRR, 2005
2004
An Algorithmic Argument for Nonadaptive Query Complexity Lower Bounds on Advised Quantum Computation (Extended Abstract).
Proceedings of the Mathematical Foundations of Computer Science 2004, 2004
2003
An Algorithmic Argument for Query Complexity Lower Bounds of Advised Quantum Computation
CoRR, 2003
2002
Computational complexity of uniform quantum circuit families and quantum Turing machines.
Theor. Comput. Sci., 2002
Proceedings of the STACS 2002, 19th Annual Symposium on Theoretical Aspects of Computer Science, Antibes, 2002
2000
RAIRO Theor. Informatics Appl., 2000