Xinyan Gao

Publication Activity (10 Years)

Years Active: 2008-2018
Publications (10 Years): 2

Top Topics

Mathematical Framework

Point Distribution

Top Venues

Publications

Xu Han, Ning Zhou, Xinyan Gao, Anping He
A High Precision and Realtime Physics-Based Hand Interaction for Virtual Instrument Experiment. ICPCSEE (2) (2018)
Chenglong Li, Xinyan Gao
Adaptive Contour Feature and Color Feature Fusion for Monocular Textureless 3D Object Tracking. IEEE Access 6 (2018)
Xinyan Gao, Yingcai Ding, Wenbo Liu, Kaidi Zheng, Siyu Huang, Ning Zhou, Dakui Li
Unified Mathematical Framework for Slicing and Symmetry Reduction over Event Structures. J. Appl. Math. 2014 (2014)
Ning Zhou, Xinyan Gao, Jinzhao Wu, Jianchao Wei, Dakui Li
Groebner Bases Based Verification Solution for SystemVerilog Concurrent Assertions. J. Appl. Math. 2014 (2014)
Xinyan Gao, Ning Zhou, Jinzhao Wu, Dakui Li
Wu's Characteristic Set Method for SystemVerilog Assertions Verification. J. Appl. Math. 2013 (2013)
Ning Zhou, Jinzhao Wu, Xinyan Gao
Algebraic Verification Method for SEREs Properties via Groebner Bases Approaches. J. Appl. Math. 2013 (2013)
Rui Qiao, Yuan Wang, Xinyan Gao, Jinzhao Wu
Operational semantics of probabilistic Kleene algebra with tests. ISCC (2008)
Xinyan Gao, Jinzhao Wu, Rui Qiao, Jianfeng Chen
Theory framework for event structure slicing. ISCC (2008)
Rui Qiao, Jinzhao Wu, Xinyan Gao
Probabilistic Modal Kleene Algebra and Hoare-Style Logic. ICNC (3) (2008)