New approach to 3-D registration of multimodality medical images by surface matching. - Hongjian Jiang; Richard A. Robb; Kerrie S. Holton-Tainter (VBC, 1992)

A target-oriented and multi-patch-based framework for image quality assessment on carotid artery MRI. - Hongjian Jiang; Li Chen 020; Dongxiang Xu; Huilin Zhao; Hiroko Watase; Xihai Zhao; Chun Yuan (Image Processing, 2020)

HHML: A Hierarchical Hybrid Modeling Language for Mode-based Periodic Controllers. - Zhiming Hu; Zheng Wang; Hongjian Jiang; Yuyuan Zhang; Yongxin Zhao (SEKE, 2021)

AnB2Murphi: A Translator for Converting AliceBob Specifications to Murphi. - Yongxin Zhao; Hongjian Jiang; Jin Lv; Sijun Tan; Yongjian Li (SEKE, 2021)

Encoding Induction Proof in Dafny. - Hongjian Jiang; Yongjian Li; Sijun Tan; Yongxin Zhao (TASE, 2021)

Conditional Disturbance Negation Based Control for an Omnidirectional Mobile Robot: An Energy Perspective. - Chao Ren 003; Hongjian Jiang; Chaoxu Mu; Shugen Ma (IEEE Robotics Autom. Lett., 2022)

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 (ICIRA (4), 2023)

Lightweight Design and Property Analysis of Humanoid Robot Thigh Integrated Structure with Appearance. - Daming Nie; Jason Gu; Yu Zhang; Hongjian Jiang (ICIRA (5), 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 (ICIRA (4), 2023)

Optimized Design and Experimental Study of Shank Structure of Biped Robot *. - Meijuan Qin; Lingyu Kong; Daming Nie; Hongjian Jiang; Yu Zhang; Yili Fu (ROBIO, 2023)

A Formally Verified Scheme for Security Protocols with the Operational Semantics of Strand Space. - Yongjian Li; Hongjian Jiang; Yongxin Zhao (TASE, 2024)

sfHornStr: Invariant Synthesis for Regular Model Checking as Constrained Horn Clauses. - Hongjian Jiang; Anthony W. Lin; Oliver Markgraf; Philipp Rümmer; Daniel Stan (CAV (1), 2025)

HornStr: Invariant Synthesis for Regular Model Checking as Constrained Horn Clauses(Technical Report). - Hongjian Jiang; Anthony W. Lin; Oliver Markgraf; Philipp Rümmer; Daniel Stan (CoRR, 2025)