Chi Calculus with Mismatch. - Yuxi Fu; Zhenrong Yang (CONCUR, 2000)

The Ground Congruence for Chi Calculus. - Yuxi Fu; Zhenrong Yang (FSTTCS, 2000)

MPEG4 Compatible Video Browsing and Retrieval over Low Bitrate Channel. - Chunxi Chen; Zhenrong Yang (IEEE Pacific Rim Conference on Multimedia, 2002)

Understanding the mismatch combinator in chi calculus. - Yuxi Fu; Zhenrong Yang (Theor. Comput. Sci., 2003)

Tau laws for pi calculus. - Yuxi Fu; Zhenrong Yang (Theor. Comput. Sci., 2003)

AOP Extension for Security Testing of Programs. - Nadia Belblidia; Mourad Debbabi; Aiman Hanna; Zhenrong Yang (CCECE, 2006)

Team Edit Automata for Testing Security Property. - Zhenrong Yang; Aiman Hanna; Mourad Debbabi (IAS, 2007)

A Hybrid Approach for Safe Memory Management in C. - Syrine Tlili; Zhenrong Yang; Hai Zhou Ling; Mourad Debbabi (AMAST, 2008)

Targeting Security Vulnerabilities: From Specification to Detection (Short Paper). - Aiman Hanna; Hai Zhou Ling; Jason Furlong; Zhenrong Yang; Mourad Debbabi (QSIC, 2008)

Security Evaluation and Hardening of Free and Open Source Software (FOSS). - Robert Charpentier; Mourad Debbabi; Dima Alhadidi; Azzam Mourad; Nadia Belblidia; Amine Boukhtouta; Aiman Hanna; Rachid Hadjidj; Hakim Idrissi Kaitouni; Marc-André Laverdière; Hai Zhou Ling; Syrine Tlili; et al. (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2010)

Analyzing and Enhancing Clarification Strategies for Ambiguous References in Consumer Service Interactions. - Changling Li; Yujian Gan; Zhenrong Yang; Youyang Chen; Xinxuan Qiu; Yanni Lin; Matthew Purver; Massimo Poesio (SIGDIAL, 2024)