In silico genome mining of potential novel biosynthetic gene clusters for drug discovery from Burkholderia bacteria. - Khorshed Alam; Md. Mahmudul Islam; Kai Gong; Muhammad Nazeer Abbasi; Ruijuan Li; Youming Zhang; Aiying Li (Comput. Biol. Medicine, 2022)

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 (ITSC, 2024)