Hongjian Jiang

According to our database, Hongjian Jiang authored at least 11 papers between 1992 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

A Formally Verified Scheme for Security Protocols with the Operational Semantics of Strand Space.

Yongjian Li, Hongjian Jiang, Yongxin Zhao

Proceedings of the Theoretical Aspects of Software Engineering, 2024

2023

Optimized Design and Experimental Study of Shank Structure of Biped Robot ^*.

Meijuan Qin, Lingyu Kong, Daming Nie, Hongjian Jiang, Yu Zhang, Yili Fu

Proceedings of the IEEE International Conference on Robotics and Biomimetics, 2023

A Humanoid Robot Foot with a Lattice Structure for Absorbing Ground Impact Forces.

Lan Zhang, Lingyu Kong, Guanyu Huang, Weigang Zhou, Hongjian Jiang, Pengyu Zhao, Bingshan Jiang, Anhuan Xie, Shiqiang Zhu, Yuanjie Chen

Proceedings of the Intelligent Robotics and Applications - 16th International Conference, 2023

Lightweight Design and Property Analysis of Humanoid Robot Thigh Integrated Structure with Appearance.

Daming Nie, Jason Gu, Yu Zhang, Hongjian Jiang

Proceedings of the Intelligent Robotics and Applications - 16th International Conference, 2023

Design and Implementation of Lightweight Thigh Structures for Biped Robots Based on Spatial Lattice Structure and Additive Manufacturing Technology.

Hongjian Jiang, Lingyu Kong, Yu Zhang, Yuanjie Chen, Daming Nie, Anhuan Xie, Lintao Shao, Shiqiang Zhu

Proceedings of the Intelligent Robotics and Applications - 16th International Conference, 2023

2022

Conditional Disturbance Negation Based Control for an Omnidirectional Mobile Robot: An Energy Perspective.

Chao Ren, Hongjian Jiang, Chaoxu Mu, Shugen Ma

IEEE Robotics Autom. Lett., 2022

2021

Encoding Induction Proof in Dafny.

Hongjian Jiang, Yongjian Li, Sijun Tan, Yongxin Zhao

Proceedings of the International Symposium on Theoretical Aspects of Software Engineering, 2021

AnB2Murphi: A Translator for Converting AliceBob Specifications to Murphi.

Yongxin Zhao, Hongjian Jiang, Jin Lv, Sijun Tan, Yongjian Li

Proceedings of the 33rd International Conference on Software Engineering and Knowledge Engineering, 2021

HHML: A Hierarchical Hybrid Modeling Language for Mode-based Periodic Controllers.

Zhiming Hu, Zheng Wang, Hongjian Jiang, Yuyuan Zhang, Yongxin Zhao

Proceedings of the 33rd International Conference on Software Engineering and Knowledge Engineering, 2021

2020

A target-oriented and multi-patch-based framework for image quality assessment on carotid artery MRI.

Hongjian Jiang, Li Chen, Dongxiang Xu, Huilin Zhao, Hiroko Watase, Xihai Zhao, Chun Yuan

Proceedings of the Medical Imaging 2020: Image Processing, 2020

1992

New approach to 3-D registration of multimodality medical images by surface matching.

Hongjian Jiang, Richard A. Robb, Kerrie S. Holton-Tainter

Proceedings of the Visualization in Biomedical Computing '92, 1992