Verification of Real Time Controllers Against Timing Diagram Specifications Using Constraint Logic Programming. - Eduard Cerny; Fen Jin (EUROMICRO, 1998)

Maximum Time Separation of Events in Cyclic Systems with Linear and Latest Timing Constraints. - Fen Jin; Henrik Hulgaard; Eduard Cerny (FMCAD, 1998)

A Novel Fluorescent Sensor Based on Aptamer and qPCR for Determination of Glyphosate in Tap Water. - Yong Shao; Run Tian; Jiaqi Duan; Miao Wang; Jing Cao; Zhen Cao; Guangyue Li; Fen Jin; A. M. Abd El-Aty; Yongxin She (Sensors, 2023)