Aiying Li

According to our database, Aiying Li authored at least 2 papers between 2022 and 2024.

Collaborative distances:

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

2024

Formal Verification of Key Function of a New Type of Train Control System Based on Timed Automata.

Aiying Li, Yu Liu, Lei Yuan, Guodong Wei

Proceedings of the 27th IEEE International Conference on Intelligent Transportation Systems, 2024

2022

<i>In silico</i> genome mining of potential novel biosynthetic gene clusters for drug discovery from <i>Burkholderia</i> bacteria.

Khorshed Alam, Md. Mahmudul Islam, Kai Gong, Muhammad Nazeer Abbasi, Ruijuan Li, Youming Zhang, Aiying Li

Comput. Biol. Medicine, 2022