Hongjian Jiang

Publication Activity (10 Years)

Years Active: 1992-2024
Publications (10 Years): 10

Top Topics

Lattice Structure

Modeling Language

Image Quality Assessment

Top Venues

IEEE Robotics Autom. Lett.

Publications

Yongjian Li, Hongjian Jiang, Yongxin Zhao
A Formally Verified Scheme for Security Protocols with the Operational Semantics of Strand Space. TASE (2024)
Hongjian Jiang, Lingyu Kong, Yu Zhang, Yuanjie Chen, Daming Nie, Anhuan Xie, Lintao Shao, Shiqiang Zhu
Design and Implementation of Lightweight Thigh Structures for Biped Robots Based on Spatial Lattice Structure and Additive Manufacturing Technology. ICIRA (4) (2023)
Meijuan Qin, Lingyu Kong, Daming Nie, Hongjian Jiang, Yu Zhang, Yili Fu
. ROBIO (2023)
Daming Nie, Jason Gu, Yu Zhang, Hongjian Jiang
Lightweight Design and Property Analysis of Humanoid Robot Thigh Integrated Structure with Appearance. ICIRA (5) (2023)
Lan Zhang, Lingyu Kong, Guanyu Huang, Weigang Zhou, Hongjian Jiang, Pengyu Zhao, Bingshan Jiang, Anhuan Xie, Shiqiang Zhu, Yuanjie Chen
A Humanoid Robot Foot with a Lattice Structure for Absorbing Ground Impact Forces. ICIRA (4) (2023)
Chao Ren, Hongjian Jiang, Chaoxu Mu, Shugen Ma
Conditional Disturbance Negation Based Control for an Omnidirectional Mobile Robot: An Energy Perspective. IEEE Robotics Autom. Lett. 7 (4) (2022)
Hongjian Jiang, Yongjian Li, Sijun Tan, Yongxin Zhao
Encoding Induction Proof in Dafny. TASE (2021)
Zhiming Hu, Zheng Wang, Hongjian Jiang, Yuyuan Zhang, Yongxin Zhao
HHML: A Hierarchical Hybrid Modeling Language for Mode-based Periodic Controllers. SEKE (2021)
Yongxin Zhao, Hongjian Jiang, Jin Lv, Sijun Tan, Yongjian Li
AnB2Murphi: A Translator for Converting AliceBob Specifications to Murphi. SEKE (2021)
Hongjian Jiang, Li Chen, Dongxiang Xu, Huilin Zhao, Hiroko Watase, Xihai Zhao, Chun Yuan
A target-oriented and multi-patch-based framework for image quality assessment on carotid artery MRI. Medical Imaging: Image Processing (2020)
Hongjian Jiang, Richard A. Robb, Kerrie S. Holton-Tainter
New approach to 3-D registration of multimodality medical images by surface matching. VBC (1992)