Tilings of Parallelograms with Similar Right Triangles. - Zhanjun Su; Chan Yin; Xiaobing Ma; Ying Li (Discret. Comput. Geom., 2013)

Spatio-Temporal Rule Constraint Guided Safe Reinforcement Learning for CPS. - Chan Yin; Yi Zhu 008; Jinyong Wang; Guosheng Hao (DSA, 2023)

Classification Method of Ethereum Smart Contracts Based on Statistical Model Checking. - Miaoer Li; Yi Zhu; Yali Liu; Chan Yin (QRS, 2024)

ADS Modeling and Safety Verification in Extreme Driving Scenarios. - Ying Zhao; Yi Zhu; Li Zhao; Zexin Li; Chan Yin (QRS Companion, 2024)

A Personalized Course Recommendation Model Integrating Multi-granularity Sessions and Multi-type Interests. - Yuan Liu; Yongquan Dong; Chan Yin; Cheng Chen; Rui Jia (Educ. Inf. Technol., 2024)