Hiroyuki Okazaki

发表

Hiroyuki Kawakami, Hiroyuki Okazaki, 1998 .

Formal definition of probability on finite and discrete sample space for proving security of cryptographic systems using Mizar

Yuichi Futa, Yasunari Shidama, Hiroyuki Okazaki, 2013, Artif. Intell. Res..

Preliminary study on a watermarking scheme using background pattern to protect printed documents (Special section on papers awarded the student paper award at NCSP'07)

Hiroyuki Okazaki, Katsuki Kobayashi, Hernan Aguirre, 2007 .

Formalization of Gaussian integers, Gaussian rational numbers, and their algebraic structures with Mizar

Yuichi Futa, Hiroyuki Okazaki, Daichi Mizushima, 2012, 2012 International Symposium on Information Theory and its Applications.

Cartesian Products of Family of Real Linear Spaces

Yasunari Shidama, Hiroyuki Okazaki, Noboru Endou, 2011, Formaliz. Math..

FOREWORD (Special Issue on Multimedia on Demand)

Yoshiaki Tanaka, Yoshinori Sakai, Hiroyuki Okazaki, 1996 .

Constructing Binary Huffman Tree

Yuichi Futa, Yasunari Shidama, Hiroyuki Okazaki, 2013, Formaliz. Math..

Isomorphisms of Direct Products of Finite Commutative Groups

Yasunari Shidama, Hiroyuki Okazaki, Hiroshi Yamazaki, 2013, Formaliz. Math..

Operations of Points on Elliptic Curve in Affine Coordinates

Yuichi Futa, Yasunari Shidama, Hiroyuki Okazaki, 2019, Formaliz. Math..

Torsion Z-module and Torsion-free Z-module

Yuichi Futa, Yasunari Shidama, Hiroyuki Okazaki, 2014, Formaliz. Math..

Double Sequences and Limits

Yasunari Shidama, Hiroyuki Okazaki, Noboru Endou, 2013, Formaliz. Math..

Special Issue on Advanced Telecommunication Terminals

Kenji Suzuki, Hiroyuki Okazaki, Yasuhiko Yasuda, 1995 .

An evolutionary multiobjective approach to design highly non-linear Boolean functions

Yasushi Fuwa, Hiroyuki Okazaki, Hernán E. Aguirre, 2007, GECCO '07.

Rank of Submodule, Linear Transformations and Linearly Independent Subsets of Z-module

Yuichi Futa, Yasunari Shidama, Hiroyuki Okazaki, 2014, Formaliz. Math..

Conservation Rules of Direct Sum Decomposition of Groups

Yasunari Shidama, Hiroyuki Okazaki, Hiroshi Yamazaki, 2016, Formaliz. Math..

Operations of Points on Elliptic Curve in Projective Coordinates

Yuichi Futa, Yasunari Shidama, Hiroyuki Okazaki, 2012, Formaliz. Math..

The Ck Space

Yasunari Shidama, Hiroyuki Okazaki, Katuhiko Kanazashi, 2013, Formaliz. Math..

Free ℤ-module

Yuichi Futa, Yasunari Shidama, Hiroyuki Okazaki, 2012, Formaliz. Math..

Equivalent Expressions of Direct Sum Decomposition of Groups1

Yasunari Shidama, Hiroyuki Okazaki, Hiroshi Yamazaki, 2015, Formaliz. Math..

Multi-ring approach for ATM-VP networks survivability

Hiroyuki Okazaki, H. Sakauchi, M. M. Slominski, 1993, Proceedings of ICC '93 - IEEE International Conference on Communications.

Isomorphisms of Direct Products of Cyclic Groups of Prime Power Order

Yasunari Shidama, Hiroyuki Okazaki, Hiroshi Yamazaki, 2013, Formaliz. Math..

Application to Women's Healthcare of Health Management System Using a Tablet Phone

Hiroyuki Okazaki, Hiroki Matsumoto, Yoshiki Shibata, 2015, BIH.

Probability Measure on Discrete Spaces and Algebra of Real-Valued Random Variables

Yasunari Shidama, Hiroyuki Okazaki, Y. Shidama, 2010, Formaliz. Math..

Special Issue on Network Operations and Management : FOREWORD

Hiroyuki Okazaki, Tetsuya Miki, Sadao Obana, 1995 .

Banach Algebra of Bounded Complex-Valued Functionals

Yasunari Shidama, Hiroyuki Okazaki, Katuhiko Kanazashi, 2011, Formaliz. Math..

Matrix of ℤ-module1

Yuichi Futa, Yasunari Shidama, Hiroyuki Okazaki, 2015, Formaliz. Math..

Special Issue on Network Operations and Management

Kenji Suzuki, Hiroyuki Okazaki, Koso Murakami, 1997 .

Higher-Order Partial Differentiation

Yasunari Shidama, Hiroyuki Okazaki, Noboru Endou, 2012, Formaliz. Math..

Formalization of Definitions and Theorems Related to an Elliptic Curve Over a Finite Prime Field by Using Mizar

Yuichi Futa, Yasunari Shidama, Hiroyuki Okazaki, 2012, Journal of Automated Reasoning.

Isomorphisms of Direct Products of Finite Cyclic Groups

Yasunari Shidama, Hiroyuki Okazaki, Kenichi Arai, 2012, Formaliz. Math..

Special Issue on Telecommunications Network Planning and Design

Yoshiaki Tanaka, Toyofumi Takenaka, Hiroyuki Okazaki, 1997 .

Differentiable Functions into Real Normed Spaces

Yasunari Shidama, Hiroyuki Okazaki, Noboru Endou, 2011, Formaliz. Math..

Privacy Preserving Logic Formula Calculation in Cloud

Hiroshi Yamaguchi, Yasunari Shidama, Hiroyuki Okazaki, 2016, 2016 IEEE Tenth International Conference on Semantic Computing (ICSC).

Hopf Extension Theorem of Measure

Yasunari Shidama, Hiroyuki Okazaki, Noboru Endou, 2009, Formaliz. Math..

Definition and Properties of Direct Sum Decomposition of Groups1

Yasunari Shidama, Hiroyuki Okazaki, Hiroshi Yamazaki, 2015, Formaliz. Math..

Normal Subgroup of Product of Groups

Yasunari Shidama, Hiroyuki Okazaki, Kenichi Arai, 2011, Formaliz. Math..

Formalization of statistical indistinguishability of probability distribution ensembles in Mizar

Hiroyuki Okazaki, Hiroyuki Okazaki, 2016, 2016 International Symposium on Information Theory and Its Applications (ISITA).

Posterior Probability on Finite Set

Hiroyuki Okazaki, Hiroyuki Okazaki, 2012, Formaliz. Math..

More on Continuous Functions on Normed Linear Spaces

Yasunari Shidama, Hiroyuki Okazaki, Noboru Endou, 2011, Formaliz. Math..

Formalization of Polynomially Bounded and Negligible Functions Using the Computer-Aided Proof-Checking System Mizar

Yuichi Futa, Hiroyuki Okazaki, Yuichi Futa, 2016, FM4M/MathUI/ThEdu/DP/WIP@CIKM.

Formalization of Probability and Random Sampling on a Finite and Discrete Sample Space Using the Mizar Proof Checker

Hiroyuki Okazaki, Kenichi Arai, Nobuaki Kondo, 2010, FCS.

Suitable Symbolic Models for Cryptographic Verification of Secure Protocols in ProVerif

Yuichi Futa, Hiroyuki Okazaki, Kenichi Arai, 2018, 2018 International Symposium on Information Theory and Its Applications (ISITA).

Quotient Module of Z-module

Yuichi Futa, Yasunari Shidama, Hiroyuki Okazaki, 2012, Formaliz. Math..

Submodule of free Z-module

Yuichi Futa, Yasunari Shidama, Hiroyuki Okazaki, 2013, Formaliz. Math..

Probability on Finite and Discrete Set and Uniform Distribution

Hiroyuki Okazaki, 2009, Formaliz. Math..

One-step synthesis of KxFe2−ySe2 single crystal for high critical current density

Hiroyuki Okazaki, Tohru Watanabe, Yoshihiko Takano, 2012, 1202.3837.

Proceedings of the 2010 International Conference on Foundations of Computer Science, FCS 2010, July 12-15, 2010, Las Vegas, Nevada, USA

Bhupinder Singh, Yangjun Chen, Hiroyuki Okazaki, 2010, FCS.

Meta Ring Signature

Masao Kasahara, Hiroyuki Okazaki, Ryuichi Sakai, 2005, IACR Cryptol. ePrint Arch..

On the design and an implementation of broadband access management systems

Satoshi Hasegawa, Hiroyuki Okazaki, K. Tanaka, 1996, Proceedings of NOMS '96 - IEEE Network Operations and Management Symposium.

Formalization of the Advanced Encryption Standard. Part I

Hiroyuki Okazaki, Kenichi Arai, Hiroyuki Okazaki, 2013, Formaliz. Math..

Gaussian Integers

Yuichi Futa, Yasunari Shidama, Hiroyuki Okazaki, 2013, Formaliz. Math..

Banach’s Continuous Inverse Theorem and Closed Graph Theorem

Yasunari Shidama, Hiroyuki Okazaki, Hideki Sakurai, 2012, Formaliz. Math..

Uniqueness of Factoring an Integer and Multiplicative Group Z/pZ*

Yasunari Shidama, Hiroyuki Okazaki, Y. Shidama, 2008, Formaliz. Math..

Torsion Part of ℤ-module

Yuichi Futa, Yasunari Shidama, Hiroyuki Okazaki, 2015, Formaliz. Math..

Managing the New Telecommunications Paradigms: A Report on APNOMS'98

James Won-Ki Hong, Hiroyuki Okazaki, Masayoshi Ejiri, 2004, Journal of Network and Systems Management.

Set of Points on Elliptic Curve in Projective Coordinates

Yuichi Futa, Yasunari Shidama, Hiroyuki Okazaki, 2011, Formaliz. Math..

Formalization of Integral Linear Space

Yuichi Futa, Yasunari Shidama, Hiroyuki Okazaki, 2011, Formaliz. Math..

Properties of Primes and Multiplicative Group of a Field

Hiroyuki Okazaki, Kenichi Arai, 2009, Formaliz. Math..

frame system for seat

Hiroyuki Okazaki, Yukifumi Yamada, Naoaki Hoshihara, 1999 .

Polynomially Bounded Sequences and Polynomial Sequences

Yuichi Futa, Hiroyuki Okazaki, Yuichi Futa, 2015, Formaliz. Math..

Functional Space C(ω), C0(ω)

Yasunari Shidama, Hiroyuki Okazaki, Katuhiko Kanazashi, 2012, Formaliz. Math..

Formalization of the Data Encryption Standard

Yasunari Shidama, Hiroyuki Okazaki, Y. Shidama, 2012, Formaliz. Math..

Distributed self-healing control in SONET

Satoshi Hasegawa, Hiroyuki Okazaki, Hideki Sakauchi, 2005, Journal of Network and Systems Management.

Binary Representation of Natural Numbers

Hiroyuki Okazaki, 2018, Formaliz. Math..

European activities towards an all-IP mobile network

Amardeo Sarma, Hiroyuki Okazaki, Heinrich J. Stüttgen, 2005 .

Difference of Function on Vector Space over F

Hiroyuki Okazaki, Kenichi Arai, Ken Wakabayashi, 2014, Formaliz. Math..

Probability on Finite Set and Real-Valued Random Variables

Yasunari Shidama, Hiroyuki Okazaki, Y. Shidama, 2009, Formaliz. Math..

N-Dimensional Binary Vector Spaces

Hiroyuki Okazaki, Kenichi Arai, Hiroyuki Okazaki, 2013, Formaliz. Math..

Random Variables and Product of Probability Spaces

Yasunari Shidama, Hiroyuki Okazaki, 2013, Formaliz. Math..

Algebra of Polynomially Bounded Sequences and Negligible Functions

Hiroyuki Okazaki, Hiroyuki Okazaki, 2015, Formaliz. Math..

A seat for a vehicle

Hiroyuki Okazaki, Yukifumi Yamada, Satoshi Hisada, 1999 .

A Study on ATM Network Planning Based on Evaluation of Design Items

Hiroyuki Okazaki, Makiko Yoshida, 1993 .

Extended Euclidean Algorithm and CRT Algorithm

Yasunari Shidama, Hiroyuki Okazaki, Yosiki Aoki, 2012, Formaliz. Math..

Virtual Environment for Analysis and Evaluation of DDoS Attacks

Yuichi Futa, Hiroyuki Okazaki, Hikofumi Suzuki, 2021, AINA.

Inferior Limit, Superior Limit and Convergence of Sequences of Extended Real Numbers

Yasunari Shidama, Hiroyuki Okazaki, Noboru Endou, 2007 .