( en | de | ru )

 

Disambiguation of "Vinh, Phan Cong"

Author of the publication

copydeleteadd this publication to your clipboard
Formal Analysis of the PKMv3 Protocol.

, , , , , and . Mob. Networks Appl., 23 (1): 44-56 (2018)

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.

Phan vinh Gioi

Chinh Phan Cong

Phan Vinh Phuc

Phan Vinh Can

Thanh-Vinh Phan

 

Other publications of authors with the same name

Products and Coproducts of Autonomic Systems.. ICCASA, volume 165 of Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, page 1-9. Springer, (2015)Ultrasound Images Denoising Based Context Awareness in Bandelet Domain., , and . ICCASA, volume 128 of Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, page 115-124. Springer, (2013)Formally specifying and coinductive approach to verifying synthesis of stream calculus-based computing big data in livestream., , and . Internet Things, (October 2023)Question matrix method according to divided dimensions of infographics evaluation., and . Pers. Ubiquitous Comput., 21 (2): 219-233 (2017)Toward Combining Fuzzy Graphs Based on Hedge Algebra., , and . EAI Endorsed Trans. Context-aware Syst. & Appl., 6 (18): e5 (2019)Homomorphism between AOMRC and Hoare Model of Deterministic Reconfiguration Processes in Reconfigurable Computing Systems.. Sci. Ann. Comput. Sci., (2007)Continuity aspects of embedded reconfigurable computing., and . Innov. Syst. Softw. Eng., 1 (1): 41-53 (2005)Categorical Approaches to Models and Behaviors of Autonomic Agent Systems.. Int. J. Cogn. Informatics Nat. Intell., 3 (1): 17-33 (2009)Formal Verification of mCWQ Using Extended Hoare Logic., , , and . Mob. Networks Appl., 24 (1): 134-144 (2019)Book Titled Nature-Inspired Networking: Theory and Applications: An Introduction.. EAI Endorsed Trans. Context-aware Syst. & Appl., 4 (14): e3 (2018)