Hongjian Jiang

17 papers B 1C 2Misc 2Journal 6Unranked 6
YearRankTypeTitle / Venue / Authors
2026 J jnl
Synthesis and Verification of Transformer Programs.
CoRR
Hongjian Jiang, Matthew Hague, Philipp Rümmer, Anthony Widjaja Lin
2026 J jnl
Why Are Linear RNNs More Parallelizable?
CoRR
William Merrill, Hongjian Jiang, Yanhong Li, Anthony W. Lin, Ashish Sabharwal
2025 J jnl
Extracting Robust Register Automata from Neural Networks over Data Sequences.
CoRR
Chih-Duo Hong, Hongjian Jiang, Anthony W. Lin, Oliver Markgraf, Julian Parsert, Tony Tan
2025 J jnl
HornStr: Invariant Synthesis for Regular Model Checking as Constrained Horn Clauses(Technical Report).
CoRR
Hongjian Jiang, Anthony W. Lin, Oliver Markgraf, Philipp Rümmer, Daniel Stan
2025 J jnl
Softmax Transformers are Turing-Complete.
CoRR
Hongjian Jiang, Michael Hahn, Georg Zetzsche, Anthony Widjaja Lin
2025 — conf
sfHornStr: Invariant Synthesis for Regular Model Checking as Constrained Horn Clauses.
CAV (1)
Hongjian Jiang, Anthony W. Lin, Oliver Markgraf, Philipp Rümmer, Daniel Stan
2024 Misc conf
A Formally Verified Scheme for Security Protocols with the Operational Semantics of Strand Space.
TASE
Yongjian Li, Hongjian Jiang, Yongxin Zhao
2023 — conf
A Humanoid Robot Foot with a Lattice Structure for Absorbing Ground Impact Forces.
ICIRA (4)
Lan Zhang, Lingyu Kong, Guanyu Huang, Weigang Zhou, Hongjian Jiang, Pengyu Zhao, Bingshan Jiang, Anhuan Xie, Shiqiang Zhu, Yuanjie Chen
2023 — conf
Design and Implementation of Lightweight Thigh Structures for Biped Robots Based on Spatial Lattice Structure and Additive Manufacturing Technology.
ICIRA (4)
Hongjian Jiang, Lingyu Kong, Yu Zhang, Yuanjie Chen, Daming Nie, Anhuan Xie, Lintao Shao, Shiqiang Zhu
2023 — conf
Lightweight Design and Property Analysis of Humanoid Robot Thigh Integrated Structure with Appearance.
ICIRA (5)
Daming Nie, Jason Gu, Yu Zhang, Hongjian Jiang
2023 — conf
Optimized Design and Experimental Study of Shank Structure of Biped Robot
ROBIO
Meijuan Qin, Lingyu Kong, Daming Nie, Hongjian Jiang, Yu Zhang, Yili Fu
2022 J jnl
Conditional Disturbance Negation Based Control for an Omnidirectional Mobile Robot: An Energy Perspective.
IEEE Robotics Autom. Lett.
Chao Ren, Hongjian Jiang, Chaoxu Mu, Shugen Ma
2021 C conf
AnB2Murphi: A Translator for Converting AliceBob Specifications to Murphi.
SEKE
Yongxin Zhao, Hongjian Jiang, Jin Lv, Sijun Tan, Yongjian Li
2021 Misc conf
Encoding Induction Proof in Dafny.
TASE
Hongjian Jiang, Yongjian Li, Sijun Tan, Yongxin Zhao
2021 C conf
HHML: A Hierarchical Hybrid Modeling Language for Mode-based Periodic Controllers.
SEKE
Zhiming Hu, Zheng Wang, Hongjian Jiang, Yuyuan Zhang, Yongxin Zhao
2020 B conf
A target-oriented and multi-patch-based framework for image quality assessment on carotid artery MRI.
Image Processing
Hongjian Jiang, Li Chen, Dongxiang Xu, Huilin Zhao, Hiroko Watase, Xihai Zhao, Chun Yuan
1992 — conf
New approach to 3-D registration of multimodality medical images by surface matching.
VBC
Hongjian Jiang, Richard A. Robb, Kerrie S. Holton-Tainter