Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Huaping Gong
Modeling and Formal Analysis of Communication Protocols Based on Game
Information Technology Journal
Related publications
Formal Analysis of SET and NSL Protocols Using the Interpretation Functions-Based Method
Journal of Computer Networks and Communications
Computer Networks
Information Systems
Communications
Automated Logic-Based Technique for Formal Verification of Security Protocols
Journal of Advances in Computer Networks
Modeling and Formal Analysis of Human-Machine Interaction
Formal Modeling and Analysis of Collaborative Humanoid Robotics
International Journal of Robotics Applications and Technologies
Formal Verification of Netlog Protocols
Formal Modeling and Analysis of Cognitive Agent Behavior
Cognitive Processing
Medicine
Cognitive Psychology
Experimental
Artificial Intelligence
Cognitive Neuroscience
Component-Based Formal Modeling of PLC Systems
Journal of Applied Mathematics
Applied Mathematics
Development of Molecular Based Communication Protocols for Nanomachines
Formal Modeling Self-Adaptive Intelligent Service Component Based on Extenics
International Journal of Online Engineering
Engineering
E-learning
