Probabilistic Modal Kleene Algebra and Hoare-Style Logic. - Rui Qiao 003; Jinzhao Wu; Xinyan Gao (ICNC (3), 2008)

Theory framework for event structure slicing. - Xinyan Gao; Jinzhao Wu; Rui Qiao 003; Jianfeng Chen (ISCC, 2008)

Operational semantics of probabilistic Kleene algebra with tests. - Rui Qiao 003; Yuan Wang; Xinyan Gao; Jinzhao Wu (ISCC, 2008)

Wu's Characteristic Set Method for SystemVerilog Assertions Verification. - Xinyan Gao; Ning Zhou; Jinzhao Wu; Dakui Li (J. Appl. Math., 2013)

Algebraic Verification Method for SEREs Properties via Groebner Bases Approaches. - Ning Zhou; Jinzhao Wu; Xinyan Gao (J. Appl. Math., 2013)

Unified Mathematical Framework for Slicing and Symmetry Reduction over Event Structures. - Xinyan Gao; Yingcai Ding; Wenbo Liu; Kaidi Zheng; Siyu Huang; Ning Zhou; Dakui Li (J. Appl. Math., 2014)

Groebner Bases Based Verification Solution for SystemVerilog Concurrent Assertions. - Ning Zhou; Xinyan Gao; Jinzhao Wu; Jianchao Wei; Dakui Li (J. Appl. Math., 2014)

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

Adaptive Contour Feature and Color Feature Fusion for Monocular Textureless 3D Object Tracking. - Chenglong Li 004; Xinyan Gao (IEEE Access, 2018)

HiddenDetect: Detecting Jailbreak Attacks against Multimodal Large Language Models via Monitoring Hidden States. - Yilei Jiang; Xinyan Gao; Tianshuo Peng; Yingshui Tan; Xiaoyong Zhu; Bo Zheng 007; Xiangyu Yue 001 (ACL (1), 2025)

GRAMSSAT: An efficient label inference attack against two-party split learning based on gradient matching and semi-supervised learning. - Lixin Zhang; Xinyan Gao; Bihe Zhao; Zhenyu Guan; Song Bian 001 (J. Inf. Secur. Appl., 2025)

FlowBench: Benchmarking Optical Flow Estimation Methods for Reliability and Generalization. - Shashank Agnihotri; Julian Yuya Caspary; Luca Schwarz; Xinyan Gao; Jenny Schmalfuss; Andrés Bruhn; Margret Keuper (Trans. Mach. Learn. Res., 2025)

HiddenDetect: Detecting Jailbreak Attacks against Large Vision-Language Models via Monitoring Hidden States. - Yilei Jiang; Xinyan Gao; Tianshuo Peng; Yingshui Tan; Xiaoyong Zhu; Bo Zheng 007; Xiangyu Yue 001 (CoRR, 2025)