Xinyan Gao

According to our database, Xinyan Gao authored at least 9 papers between 2008 and 2018.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2018

Adaptive Contour Feature and Color Feature Fusion for Monocular Textureless 3D Object Tracking.

Chenglong Li, Xinyan Gao

IEEE Access, 2018

A High Precision and Realtime Physics-Based Hand Interaction for Virtual Instrument Experiment.

Xu Han, Ning Zhou, Xinyan Gao, Anping He

Proceedings of the Data Science, 2018

2014

Groebner Bases Based Verification Solution for SystemVerilog Concurrent Assertions.

Ning Zhou, Xinyan Gao, Jinzhao Wu, Jianchao Wei, Dakui Li

J. Appl. Math., 2014

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

2013

Algebraic Verification Method for SEREs Properties via Groebner Bases Approaches.

Ning Zhou, Jinzhao Wu, Xinyan Gao

J. Appl. Math., 2013

Wu's Characteristic Set Method for SystemVerilog Assertions Verification.

Xinyan Gao, Ning Zhou, Jinzhao Wu, Dakui Li

J. Appl. Math., 2013

2008

Operational semantics of probabilistic Kleene algebra with tests.

Rui Qiao, Yuan Wang, Xinyan Gao, Jinzhao Wu

Proceedings of the 13th IEEE Symposium on Computers and Communications (ISCC 2008), 2008

Theory framework for event structure slicing.

Xinyan Gao, Jinzhao Wu, Rui Qiao, Jianfeng Chen

Proceedings of the 13th IEEE Symposium on Computers and Communications (ISCC 2008), 2008

Probabilistic Modal Kleene Algebra and Hoare-Style Logic.

Rui Qiao, Jinzhao Wu, Xinyan Gao

Proceedings of the Fourth International Conference on Natural Computation, 2008