Hiroyuki Okazaki
Orcid: 0009-0000-1022-361X
According to our database1,
Hiroyuki Okazaki
authored at least 70 papers
between 1993 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
IEEE Access, 2024
Proceedings of the International Symposium on Information Theory and Its Applications, 2024
2023
Formaliz. Math., September, 2023
2022
Formaliz. Math., December, 2022
2021
Formaliz. Math., 2021
Formaliz. Math., 2021
Real Vector Space and Related NotionsThis study was supported in part by JSPS KAKENHI Grant Numbers 17K00182 and 20K19863.
Formaliz. Math., 2021
Proceedings of the Advanced Information Networking and Applications, 2021
2020
Proceedings of the International Symposium on Information Theory and Its Applications, 2020
2019
Formaliz. Math., 2019
2018
Suitable Symbolic Models for Cryptographic Verification of Secure Protocols in ProVerif.
Proceedings of the International Symposium on Information Theory and Its Applications, 2018
2016
Proceedings of the Tenth IEEE International Conference on Semantic Computing, 2016
Formalization of statistical indistinguishability of probability distribution ensembles in Mizar.
Proceedings of the 2016 International Symposium on Information Theory and Its Applications, 2016
Formalization of Polynomially Bounded and Negligible Functions Using the Computer-Aided Proof-Checking System Mizar.
Proceedings of the Joint Proceedings of the FM4M, 2016
2015
Formaliz. Math., 2015
Formaliz. Math., 2015
Proceedings of the Brain Informatics and Health - 8th International Conference, 2015
2014
Rank of Submodule, Linear Transformations and Linearly Independent Subsets of Z-module.
Formaliz. Math., 2014
2013
Formalization of Definitions and Theorems Related to an Elliptic Curve Over a Finite Prime Field by Using Mizar.
J. Autom. Reason., 2013
Formaliz. Math., 2013
Formal definition of probability on finite and discrete sample space for proving security of cryptographic systems using Mizar.
Artif. Intell. Res., 2013
2012
Formaliz. Math., 2012
Formalization of Gaussian integers, Gaussian rational numbers, and their algebraic structures with Mizar.
Proceedings of the International Symposium on Information Theory and its Applications, 2012
2011
2010
Formaliz. Math., 2010
Formalization of Probability and Random Sampling on a Finite and Discrete Sample Space Using the Mizar Proof Checker.
Proceedings of the 2010 International Conference on Foundations of Computer Science, 2010
2009
Formaliz. Math., 2009
2008
Formaliz. Math., 2008
2007
An evolutionary multiobjective approach to design highly non-linear Boolean functions.
Proceedings of the Genetic and Evolutionary Computation Conference, 2007
2005
1998
J. Netw. Syst. Manag., 1998
1996
Proceedings of the 1996 Network Operations and Management Symposium, 1996
1993