Java Program Verification via a JVM Deep Embedding in ACL2. - Hanbing Liu; J Strother Moore (TPHOLs, 2004)

Executable JVM model for analytical reasoning: A study. - Hanbing Liu; J Strother Moore (Sci. Comput. Program., 2005)

An Association Rule Mining Algorithm Based on a Boolean Matrix. - Hanbing Liu; Baisheng Wang (Data Sci. J., 2007)

Study on model resource semantic-based dynamic discovery in military oriented simulation grid. - Hanbing Liu; Hongyi Su; Shouyi Zhan (CSCWD, 2008)

Resource scheduling based on dynamic dependence injection in virtualization-based simulation grid. - Hanbing Liu; Hongyi Su; Shouyi Zhan; Xudong Chai; Yabin Zhang; Baocun Hou; Linqin Guo; Shuai Fan 004 (CSCWD, 2010)

A fuzzy logic-based damage identification method for simply-supported bridge using modal shape ratios. - Hanbing Liu; Yubo Jiao; Yafeng Gong (Int. J. Comput. Intell. Syst., 2012)

Reduction of Uncertainties for Damage Identification of Bridge Based on Fuzzy Nearness and Modal Data. - Hanbing Liu; Yubo Jiao; Yongchun Cheng; Yafeng Gong (J. Appl. Math., 2012)

Boundary Optimal Control of Time-Periodic Stokes-Oseen Flows. - Hanbing Liu (J. Optim. Theory Appl., 2012)

An Optimization Algorithm for the Design of an Irregularly-Shaped Bridge Based on the Orthogonal Test and Analytic Hierarchy Process. - Hanbing Liu; Xin He; Xianqiang Wang; Yubo Jiao; Gang Song (Algorithms, 2016)

Boundary feedback stabilization of Fisher's equation. - Hanbing Liu; Peng Hu; Ionut Munteanu (Syst. Control. Lett., 2016)

Influence Factors Analysis on the Modal Characteristics of Irregularly-Shaped Bridges Based on a Free-Interface Mode Synthesis Algorithm. - Hanbing Liu; Mengsu Zhang; Xianqiang Wang; Shuai Tian; Yubo Jiao (Algorithms, 2017)

Multi-stage method to identify structural damage using multiple damage location assurance criterion and an improved differential evolution algorithm. - Chunli Wu; Hanbing Liu; Xuxi Qin; Guojin Tan; Zhengwei Gu (Int. J. Comput. Intell. Syst., 2017)

Impulse output feedback stabilization of Fisher's equation. - Hanbing Liu (Syst. Control. Lett., 2017)

Damage Identification Algorithm of Hinged Joints for Simply Supported Slab Bridges Based on Modified Hinge Plate Method and Artificial Bee Colony Algorithms. - Hanbing Liu; Xin He; Yubo Jiao (Algorithms, 2018)

Reliability Assessment of Deflection Limit State of a Simply Supported Bridge using vibration data and Dynamic Bayesian Network Inference. - Hanbing Liu; Xin He; Yubo Jiao; Xirui Wang (Sensors, 2019)

Weaving K-fusion frames in hilbert spaces. - Hanbing Liu; Yongdong Huang; Chong-Jun Li (Math. Found. Comput., 2020)

Boundary sampled-data feedback stabilization for parabolic equations. - Hanbing Liu; Peng Hu (Syst. Control. Lett., 2020)

Mechanical Properties and Fracture Behavior of Crumb Rubber Basalt Fiber Concrete Based on Acoustic Emission Technology. - Hanbing Liu; Wenjun Li; Guobao Luo; Shiqi Liu; Xiang Lyu (Sensors, 2020)

Steel Corrosion Evaluation of Basalt Fiber RPC Affected by Crack and Steel-Concrete Interface Damage Using Electrochemical Methods. - Hanbing Liu; Xiang Lyu; Yuwei Zhang 006; Guobao Luo; Wenjun Li (Sensors, 2020)

Fracture Behavior of Permeable Asphalt Mixtures with Steel Slag under Low Temperature Based on Acoustic Emission Technique. - Bing Zhu; Hanbing Liu; Wenjun Li; Chunli Wu; Chao Chai (Sensors, 2020)

Controlled g-fusion frame in Hilbert space. - Hanbing Liu; Yongdong Huang; Fengjuan Zhu (Int. J. Wavelets Multiresolution Inf. Process., 2021)

Single Sensor to Estimate DOA With Programmable Metasurface. - Mingtuan Lin; Ming Xu 019; Xiang Wan; Hanbing Liu; Zhaofeng Wu; Jibin Liu; Bowen Deng; Dongfang Guan; Song Zha (IEEE Internet Things J., 2021)

Analysis and decision of cloud vehicle engineering based on genetic algorithm. - Hanbing Liu; Zhaofan Duan; ZiShuai Zu; Jinbin Wang; Mingrui Han (WAC, 2022)

Characterizations of Complete Stabilizability. - Hanbing Liu; Gengsheng Wang; Yashan Xu; Huaiqiang Yu (SIAM J. Control. Optim., 2022)

SDG-L: A Semiparametric Deep Gaussian Process based Framework for Battery Capacity Prediction. - Hanbing Liu; Yanru Wu; Yang Liu 003; Ercan E. Kuruoglu; Xuan Zhang (ICASSP, 2023)

HDFormer: High-order Directed Transformer for 3D Human Pose Estimation. - Han-Yuan Chen; Jun-Yan He; Wangmeng Xiang; Zhi-Qi Cheng; Wei Liu 015; Hanbing Liu; Bin Luo 008; Yifeng Geng; Xuansong Xie (IJCAI, 2023)

KeyPosS: Plug-and-Play Facial Landmark Detection through GPS-Inspired True-Range Multilateration. - Xu Bao; Zhi-Qi Cheng; Jun-Yan He; Wangmeng Xiang; Chenyang Li 007; Jingdong Sun; Hanbing Liu; Wei Liu 015; Bin Luo 008; Yifeng Geng; Xuansong Xie (ACM Multimedia, 2023)

PoSynDA: Multi-Hypothesis Pose Synthesis Domain Adaptation for Robust 3D Human Pose Estimation. - Hanbing Liu; Jun-Yan He; Zhi-Qi Cheng; Wangmeng Xiang; Qize Yang; Wenhao Chai; Gaoang Wang; Xu Bao; Bin Luo 008; Yifeng Geng; Xuansong Xie (ACM Multimedia, 2023)

ChatPipe: Orchestrating Data Preparation Program by Optimizing Human-ChatGPT Interactions. - Sibei Chen; Hanbing Liu; Waiting Jin; Xiangyu Sun; Xiaoyao Feng; Ju Fan; Xiaoyong Du 001; Nan Tang 001 (CoRR, 2023)

Refined Temporal Pyramidal Compression-and-Amplification Transformer for 3D Human Pose Estimation. - Hanbing Liu; Wangmeng Xiang; Jun-Yan He; Zhi-Qi Cheng; Bin Luo 008; Yifeng Geng; Xuansong Xie (CoRR, 2023)

Stabilizability of Linear Systems with Discrete Observation Mode. - Hanbing Liu; Gengsheng Wang; Huaiqiang Yu (SIAM J. Control. Optim., 2023)

Enhancing Continuous Domain Adaptation with Multi-path Transfer Curriculum. - Hanbing Liu; Jingge Wang; Xuan Zhang 004; Ye Guo; Yang Li 104 (PAKDD (2), 2024)

ChatPipe: Orchestrating Data Preparation Pipelines by Optimizing Human-ChatGPT Interactions. - Sibei Chen; Hanbing Liu; Waiting Jin; Xiangyu Sun; Xiaoyao Feng; Ju Fan; Xiaoyong Du 001; Nan Tang 001 (SIGMOD Conference Companion, 2024)

Malicious traffic detection for cloud-edge-end networks: A deep learning approach. - Hanbing Liu; Fang Han; Yajuan Zhang (Comput. Commun., 2024)

CodeS: Towards Building Open-source Language Models for Text-to-SQL. - Haoyang Li; Jing Zhang 001; Hanbing Liu; Ju Fan; Xiaokang Zhang; Jun Zhu; Renjie Wei; Hongyan Pan; Cuiping Li 001; Hong Chen 001 (Proc. ACM Manag. Data, 2024)

The Diurnal Cooling Effect of Green Space Structure on the Summer Urban Thermal Environment From a High-Resolution Perspective. - Shihao Wang; Chaoyang Sun; Lin Huang; Huading Shi; Xinliang Xu; Dongrui Han; Qingbao Gu; Hanbing Liu (IEEE J. Sel. Top. Appl. Earth Obs. Remote. Sens., 2024)

Uncovering the Impact of Chain-of-Thought Reasoning for Direct Preference Optimization: Lessons from Text-to-SQL. - Hanbing Liu; Haoyang Li; Xiaokang Zhang; Ruotong Chen; Haiyong Xu; Tian Tian; Qi Qi; Jing Zhang (ACL (1), 2025)

Reinforced Domain Selection for Continuous Domain Adaptation. - Hanbing Liu; Huaze Tang; Yanru Wu; Yang Li 104; Xiao-Ping Zhang 002 (ICASSP, 2025)

Time series model for predicting the disturbance of lychee canopy by wind field in unmanned aerial spraying system. - Yubin Lan; Hanbing Liu; Pengchao Chen; Guangchao Ma; Jiapei Wu; Jianhong Liao; Haoran Ma; Jinyi Qiu; Yingdong Qin (Comput. Electron. Agric., 2025)

Recovery conditions for generalized orthogonal matching pursuit based coherence. - Hanbing Liu; Chongjun Li; Yijun Zhong (J. Comput. Appl. Math., 2025)

Optimal Contest Design with Entry Restriction. - Hanbing Liu; Ningyuan Li 001; Weian Li; Qi Qi 003; Changyuan Yu (CoRR, 2025)

Exploiting Task Relationships for Continual Learning Using Transferability-Aware Task Embeddings. - Yanru Wu; Xiangyu Chen; Jianning Wang; Enming Zhang; Hanbing Liu; Yang Li (CoRR, 2025)

TwT: Thinking without Tokens by Habitual Reasoning Distillation with Multi-Teachers' Guidance. - Jingxian Xu; Mengyu Zhou; Weichang Liu; Hanbing Liu; Shi Han; Dongmei Zhang 001 (CoRR, 2025)

Fortune: Formula-Driven Reinforcement Learning for Symbolic Table Reasoning in Language Models. - Lang Cao; Jingxian Xu; Hanbing Liu; Jinyu Wang; Mengyu Zhou; Haoyu Dong 001; Shi Han; Dongmei Zhang 001 (CoRR, 2025)

Bingo: Boosting Efficient Reasoning of LLMs via Dynamic and Significance-based Reinforcement Learning. - Hanbing Liu; Lang Cao; Yuanyi Ren; Mengyu Zhou; Haoyu Dong 001; Xiaojun Ma; Shi Han; Dongmei Zhang 001 (CoRR, 2025)

Understanding Knowledge Transferability for Transfer Learning: A Survey. - Haohua Wang; Jingge Wang; Zijie Zhao; Yang Tan; Yanru Wu; Hanbing Liu; Jingyun Yang; Enming Zhang; Xiangyu Chen; Zhengze Rong; Shanxin Guo; Yang Li (CoRR, 2025)