Design and prototyping of real-time systems using CSP and CML. - Hans Rischel; Hongyan Sun (RTS, 1997)

Code Synthesis for Timed Automata. - Tobias Amnell; Elena Fersman; Paul Pettersson; Hongyan Sun; Wang Yi 001 (Nord. J. Comput., 2002)

The Succinct Solver Suite. - Flemming Nielson; Hanne Riis Nielson; Hongyan Sun; Mikael Buchholtz; René Rydhof Hansen; Henrik Pilegaard; Helmut Seidl (TACAS, 2004)

An investigation into the use of scattered photons to improve 2D Position Emission Tomography (PET) functional imaging quality. - Hongyan Sun (2012)

3D ear recognition using local salience and principal manifold. - Xiaopeng Sun; Guan Wang; Lu Wang; Hongyan Sun; Xiaopeng Wei (Graph. Model., 2014)

Comparisons of three BCIs which do not rely on the visual modality. - Zhaoyang Qiu; Jing Jin 001; Yu Zhang 009; Hongyan Sun; Xingyu Wang 004 (ICSAI, 2016)

A Geometric Model to Characterize Annihilation Positions Associated With Scattered Coincidences in PET: A Simulation-Based Study. - Hongyan Sun; Stephen Pistorius (IEEE Trans. Computational Imaging, 2016)

A Parallel Algorithm for Mining Time Relaxed Gradual Clustering Pattern Based on Spatio-Temporal Trajectories. - Hongyan Sun; Genlin Ji; Bin Zhao 002; Xintao Liu (CBD, 2017)

An Improved Visual-Tactile P300 Brain Computer Interface. - Hongyan Sun; Jing Jin 001; Yu Zhang 009; Bei Wang 003; Xingyu Wang 004 (ICONIP (2), 2017)

Robust Query Execution Time Prediction for Concurrent Workloads on Massive Parallel Processing Databases. - Zhihao Zheng; Yuanzhe Bei; Hongyan Sun; Pengyu Hong (IEA/AIE, 2019)

Precise Control of Magnetized Macrophage Cell Robot for Targeted Drug Delivery. - Luyao Wang; Yuguo Dai; Hongyan Sun; Li Song; Lina Jia; Chiju Jiang; Fumihito Arai; Lin Feng 002 (IROS, 2021)

Bond Default Prediction Based on Deep Learning and Knowledge Graph Technology. - Chi Ma; Hongyan Sun; Shaofan Wang; Shengliang Lu; Jingyan Li (IEEE Access, 2021)

Acoustic and magnetic hybrid actuated immune cell robot for target and kill cancer cells. - Xue Bai; Wei Zhang 049; Yuguo Dai; Yueying Wang; Hongyan Sun; Lin Feng 002 (ICRA, 2022)

Analysis of Amplitude and Angle of Crosstalk in Frequency Domain of Three-Core Twisted Wires. - Hongyan Sun; Wentao Xu; Wu Zhang; Mengxia Zhou; Wei Yan (IEEE Access, 2022)

A Transaction Cardinality Estimation Approach for QoS-Adjustable Intelligent Blockchain Systems. - Hao Xu 025; Xiulong Liu; Zhelin Liang; Hongyan Sun; Weilian Xue; Jianrong Wang; Keqiu Li (IEEE J. Sel. Areas Commun., 2022)

Biocompatible Ferrofluid Robot With Photothermal Property for Targeted Tumor Therapy. - Yiming Ji; Xue Bai; Hongyan Sun; Luyao Wang; Junjie Xu; Chunyuan Gan; Yuguo Dai; Hui Hui; Lin Feng 002 (IEEE Robotics Autom. Lett., 2022)

Multi-Mode Motion Control of Reconfigurable Vortex-Shaped Microrobot Swarms for Targeted Tumor Therapy. - Luyao Wang; Li Song; Hongyan Sun; Yiming Ji; Yuguo Dai; Lin Feng 002 (IEEE Robotics Autom. Lett., 2022)

Magnetically Controlled Cell Robots with Immune-Enhancing Potential. - Hongyan Sun; Yuguo Dai; Jiaying Zhang; Junjie Xu; Lina Jia; Chutian Wang; Luyao Wang; Chan Li; Xue Bai; Bo Chen; Lin Feng 002 (IROS, 2023)

Fixed-time bounded H infinity tracking control of a single-joint manipulator system with input saturation. - Ming Chen 020; Siyu An; Kaixiang Peng; Hongyan Sun (Int. J. Control, 2023)

Sperm Manipulation and Selection Platform Using Optoelectronic Tweezers. - Shunxiao Huang; Jiawei Zhao; Chunyuan Gan; Hongyi Xiong; Jingwen Ye; Hongyan Sun; Wenyan Niu; Ao Wang; Bo Chen; Zijin Zeng; Chan Li; Lin Feng (ROBIO, 2024)

TransPTM: a transformer-based model for non-histone acetylation site prediction. - Lingkuan Meng; Xingjian Chen; Ke Cheng; Nanjun Chen; Zetian Zheng; Fuzhou Wang; Hongyan Sun; Ka-Chun Wong (Briefings Bioinform., 2024)

A cascaded linear active disturbance rejection control-based multi-stage model predictive control for permanent magnet synchronous motor. - Mingxiang Zhu; Hongjun Ni; Hongyan Sun; Jue Wang (IEICE Electron. Express, 2024)

Regeneration of branching processes with immigration in varying environments. - Hongyan Sun; Hua-Ming Wang; Bao-Zhi Li; Hui Yang (J. Appl. Probab., 2025)

Regeneration of branching processes with immigration in varying environments - Erratum. - Hongyan Sun; Hua-Ming Wang; Bao-Zhi Li; Hui Yang (J. Appl. Probab., 2025)