Keyi Shen

According to our database, Keyi Shen authored at least 4 papers between 2013 and 2024.

Collaborative distances:

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

2024

Association rule mining of air quality through an improved Apriori algorithm: A case study in 244 Chinese cities.

Keyi Shen, Ye Tian, Bisong Hu, Jin Luo, Shuhua Qi, Songli Chen, Hui Lin

Trans. GIS, June, 2024

2023

Verse: A Python Library for Reasoning About Multi-agent Hybrid System Scenarios.

Yangge Li, Haoqing Zhu, Katherine Braught, Keyi Shen, Sayan Mitra

Proceedings of the Computer Aided Verification - 35th International Conference, 2023

Parallel and Incremental Verification of Hybrid Automata with Ray and Verse.

Haoqing Zhu, Yangge Li, Keyi Shen, Sayan Mitra

Proceedings of the Automated Technology for Verification and Analysis, 2023

2013

Reorder user's tweets.

Keyi Shen, Jianmin Wu, Ya Zhang, Yiping Han, Xiaokang Yang, Li Song, Xiao Gu

ACM Trans. Intell. Syst. Technol., 2013