Jingyuan Cao

According to our database, Jingyuan Cao authored at least 2 papers between 2015 and 2019.

Collaborative distances:

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

2019

An Integrated Classification Algorithm Using Forecasting Probability Strategies for Mobile App Statistics.

Jingyuan Cao, Hong Wang, Mo Pang

Proceedings of the Intelligent Computing Methodologies - 15th International Conference, 2019

2015

Practical Tactics for Verifying C Programs in Coq.

Jingyuan Cao, Ming Fu, Xinyu Feng

Proceedings of the 2015 Conference on Certified Programs and Proofs, 2015