Constraint-Based Partial Evaluation for Imperative Languages. - Jin Ying; Chengzhi Jin (J. Comput. Sci. Technol., 2002)

Applying Active Networks to Networked Control Systems. - Xiaojuan Zheng; Chengzhi Jin; Jiubin Ju (Applied Informatics, 2003)

Operational semantics of ambient calculus. - Jing Zhang 005; Ying Jin 002; Degui Guo; Lei Liu 040; Chengzhi Jin (SOSE, 2005)

Ontology Definition Metamodel based Consistency Checking of UML Models. - Sheng-Jun Wang; Longfei Jin; Chengzhi Jin (CSCWD, 2006)

User-Extensible Compiler Front-End Generator. - Sheng-Jun Wang; Longfei Jin; Chengzhi Jin; Lei Liu (IASTED Conf. on Software Engineering, 2006)