A Bigraphical Model of WSBPEL. - Min Zhang 007; Ling Shi 002; Longfei Zhu; Yifei Wang; Libo Feng; Geguang Pu (TASE, 2008)

Formal Modeling and Analyzing Kerberos Protocol. - Qin Li 002; Fan Yang; Huibiao Zhu; Longfei Zhu (CSIE (7), 2009)

Testing the validity of the purchasing power parity hypothesis: a study based on the RMB/USD exchange rate. - Chunjiao Yu; Longfei Zhu (Int. J. Netw. Virtual Organisations, 2010)

Modeling and Verifying the Code-Level OSEK/VDX Operating System with CSP. - Yanhong Huang; Yongxin Zhao; Longfei Zhu; Qin Li 002; Huibiao Zhu; Jianqi Shi (TASE, 2011)

Formalizing Application Programming Interfaces of the OSEK/VDX Operating System Specification. - Longfei Zhu; Min Zhang 002; Yanhong Huang; Jianqi Shi; Huibiao Zhu (TASE, 2011)

xBIL - A Hardware Resource Oriented Binary Intermediate Language. - Jianqi Shi; Longfei Zhu; Huixing Fang; Jian Guo 005; Huibiao Zhu; Xin Ye (ICECCS, 2012)

A Denotational Model for Instantaneous Signal Calculus. - Yongxin Zhao; Longfei Zhu; Huibiao Zhu; Jifeng He 001 (SEFM, 2012)

Binary Code Level Verification for Interrupt Safety Properties of Real-Time Operating System. - Jianqi Shi; Longfei Zhu; Yanhong Huang; Jian Guo 005; Huibiao Zhu; Huixing Fang; Xin Ye (TASE, 2012)

Towards a Modeling Language for Cyber-Physical Systems. - Longfei Zhu; Yongxin Zhao; Huibiao Zhu; Qiwen Xu (Theories of Programming and Formal Methods, 2013)

A Timing Verification Framework for AUTOSAR OS Component Development Based on Real-Time Maude. - Longfei Zhu; Peng Liu; Jianqi Shi; Zheng Wang 005; Huibiao Zhu (TASE, 2013)

Modeling and Verification of CAN Bus with Application Layer using UPPAAL. - Can Pan; Jian Guo 005; Longfei Zhu; Jianqi Shi; Huibiao Zhu; Xinyun Zhou (TTSS, 2013)

A Formal Model for a Hybrid Programming Language. - Longfei Zhu; Qiwen Xu; Jifeng He 001; Huibiao Zhu (UTP, 2014)

Assertional Reasoning for Concurrent and Communicating BPEL-like Programs. - Longfei Zhu; Qiwen Xu; Huibiao Zhu (FedCSIS (Communication Papers), 2018)

Transcriptomic Analysis of Flower Development in the Bamboo Phyllostachys violascens (Poaceae: Bambusoideae). - Yulian Jiao; Qiutao Hu; Yan Zhu; Longfei Zhu; Tengfei Ma 007; Haiyong Zeng; Qiaolu Zang; Xinchun Lin; Xuan Li (ICIC (1), 2018)

Maximizing multicast lifetime in unreliable wireless ad hoc network. - Ting Lu 001; Jie Zhu; Shan Chang; Longfei Zhu (Wirel. Networks, 2018)

Comparative transcriptomic analysis of the flower induction and development of the Lei bamboo (Phyllostachys violascens). - Yulian Jiao; Qiutao Hu; Yan Zhu; Longfei Zhu; Tengfei Ma 007; Haiyong Zeng; Qiaolu Zang; Xuan Li; Xinchun Lin (BMC Bioinform., 2019)

Coarse-to-fine feature representation based on deformable partition attention for melanoma identification. - Dong Zhang; Jing Yang 014; Shaoyi Du; Hongcheng Han; Yuyan Ge; Longfei Zhu; Ce Li 001; Meifeng Xu; Nanning Zheng 001 (Pattern Recognit., 2023)

Negative-Definite Domain Approach for Nonlinear Dynamic Output Feedback Stabilization With DOA Estimation. - Yongqiang Li 003; Longfei Zhu; Chaolun Lu; Yu Feng 002; Zhongsheng Hou; Yuanjing Feng (IEEE Trans. Autom. Control., 2025)