Process Algebra with Chaos Executing Policy for Unhealthy Systems. - Guang Zheng; Lian Li; Wenbo Chen 009; Anping He; Jinzhao Wu (J. Comput., 2009)

Mathematical analysis of stage-based programmable logic controller. - Anping He; William N. N. Hung; Guowu Yang; Jinzhao Wu; Lian Li (Comput. Math. Appl., 2011)

Approximate Completed Trace Equivalence of Linear Algebra Transition Systems. - Hao Yang 051; Anping He; Zhiwei Zhang; Shihan Yang; Yang Liu (BIC-TA, 2013)

Automata-Based Analysis of Stage Suspended Boom Systems. - Anping He; Jinzhao Wu; Shihan Yang; Yongquan Zhou; Juan Wang (J. Appl. Math., 2013)

Derivation of OWL Ontology from XML Documents by Formal Semantic Modeling. - Shihan Yang; Jinzhao Wu; Anping He; Yunbo Rao (J. Comput., 2013)

Approximate Equivalence of the Hybrid Automata with Taylor Theory. - Anping He; Jinzhao Wu; Shihan Yang; Hongyan Tan (J. Appl. Math., 2014)

A Bio-Inspired QoS-Oriented Handover Model in Heterogeneous Wireless Networks. - Daxin Tian; Jianshan Zhou; Honggang Qi; Yingrong Lu; Yunpeng Wang; Jian Wang 034; Anping He (J. Appl. Math., 2014)

Formal Proof of a Machine Closed Theorem in Coq. - Hai Wan; Anping He; Zhiyang You; Xibin Zhao (J. Appl. Math., 2014)

An Efficient Multitask Scheduling Model for Wireless Sensor Networks. - Hongsheng Yin 001; Honggang Qi; Jingwen Xu; Xin Huang; Anping He (J. Appl. Math., 2014)

A discrete invasive weed optimization algorithm for solving traveling salesman problem. - Yongquan Zhou; Qifang Luo; Huan Chen; Anping He; Jinzhao Wu (Neurocomputing, 2015)

Modular Timing Constraints for Delay-Insensitive Systems. - Hoon Park; Anping He; Marly Roncken; Xiaoyu Song; Ivan E. Sutherland (J. Comput. Sci. Technol., 2016)

How to think about self-timed systems. - Marly Roncken; Ivan E. Sutherland; Chris Chen; Yong Hei; Warren A. Hunt Jr.; Cuong K. Chau; Swetha Mettala Gilla; Hoon Park; Xiaoyu Song; Anping He; Hong Chen 002 (ACSSC, 2017)

Study of 64-bit booth asynchronous multiplier based on FPGA. - Xiaoqing Liu; Anping He; Caihong Li; Guangbo Feng; Jilin Zhang (ASICON, 2017)

Modeling and Verification of Circuit with Stable-Event. - Tingting Jia; Caihong Li; Anping He (CyberC, 2017)

A Hybrid Model Equipped with the Minimum Cycle Decomposition Concept for Short-Term Forecasting of Electrical Load Time Series. - Zhaoshuang He; Caihong Li; Yulin Shen; Anping He (Neural Process. Lett., 2017)

An Asynchronous Energy-Efficient CNN Accelerator with Reconfigurable Architecture. - Weijia Chen; Hui Wu; Shaojun Wei; Anping He; Hong Chen 002 (A-SSCC, 2018)

Click-Based Asynchronous Mesh Network with Bounded Bundled Data. - Anping He; Guangbo Feng; Jilin Zhang; Pengfei Li; Yong Hei; Hong Chen 002 (ICPP, 2018)

A High Precision and Realtime Physics-Based Hand Interaction for Virtual Instrument Experiment. - Xu Han; Ning Zhou; Xinyan Gao; Anping He (ICPCSEE (2), 2018)

A FPGA Based SAT Solver with High Random and Concurrent Strategies. - Anping He; Lvying Yu; Haitao Zhang; Lian Li; Jinzhao Wu (QRS Companion, 2018)

How to Accelerate FPGA Application in an Asynchronous Way? - Anping He; Jinlin Zhang; Lvying Yu; Pengfei Li; Lian Li (FPGA, 2019)

An asynchronous mesh NoC based booth multiplication. - Anping He; Guangbo Feng; Jilin Zhang; Jinzhao Wu (IET Circuits Devices Syst., 2019)

An FPGA based Method of Polynomial Multiplication. - Xiaoyang Xiao; Wenqi Diao; Anping He; Jinzhao Wu (CACML, 2022)

Research on High-Efficiency Asynchronous Superscalar Processors: (PhD Forum Paper). - Kangli Zhao; Anping He; Di Zhao (ASAP, 2024)

An Asynchronous Matrix Multiplication Accelerator. - Lingzhuang Zhang; Rongqing Hu; Hongrui Zhang; Anping He (Euro-Par Workshops (2), 2024)

Asynchronous Architecture Design and Implementation of Physical Memory Protection for RISC-V. - Anping He; Yunpeng Xing; Jingye Zhong; Weimin Wang; Yinglong Li; Jun Ma (ISCAS, 2025)