( en | de | ru )

 

Disambiguation of "Okazaki, Hiroyuki"

Author of the publication

copydeleteadd this publication to your clipboard
Cooperative Control Over Logical and Physical Networks for Multiservice Environments

, and . page 365-370. (1991)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Hiroyuki Tan

Hiroyuki Kobayashi

Hiroyuki Okamuro

Hiroyuki Takada

Hiroyuki Isobe

 

Other publications of authors with the same name

Real Vector Space and Related NotionsThis study was supported in part by JSPS KAKENHI Grant Numbers 17K00182 and 20K19863., , and . Formaliz. Math., 29 (3): 117-127 (2021)Formalization of Probability and Random Sampling on a Finite and Discrete Sample Space Using the Mizar Proof Checker., , and . FCS, page 81-86. CSREA Press, (2010)Privacy Preserving Logic Formula Calculation in Cloud., , , and . ICSC, page 329-332. IEEE Computer Society, (2016)Formal definition of probability on finite and discrete sample space for proving security of cryptographic systems using Mizar., , and . Artif. Intell. Res., 2 (4): 37-48 (2013)Cooperative Control Over Logical and Physical Networks for Multiservice Environments, and . page 365-370. (1991)Digital Telephone Junction Network Planning System Considering Logical and Physical Network Aspects, and . page 2.1-2.7. (1985)Formalization of Gaussian integers, Gaussian rational numbers, and their algebraic structures with Mizar., , and . ISITA, page 591-595. IEEE, (2012)Meta Ring Signature., , and . IACR Cryptology ePrint Archive, (2005)Distributed Self-Healing Control in SONET., , , and . J. Netw. Syst. Manag., 1 (2): 123-141 (1993)On the design and an implementation of broadband access management systems., , , , , and . NOMS, page 382-391. IEEE, (1996)