A meta-model for large-scale software system. - Yinxing Wei; Shensheng Zhang; Farong Zhong (SMC, 2003)

The Early and Late Congruences for Asymmetric chi!=-Calculus. - Farong Zhong (CIS, 2004)

A Generic Model for Analyzing Security Protocols. - Yonggen Gu; Yuxi Fu; Farong Zhong; Han Zhu 008 (MMM-ACNS, 2005)

Bisimulation Congruence for Asymmetric chi ^ e -Calculus. - Farong Zhong; Yuxi Fu; Xiaoju Dong (ISPDC, 2006)

A Study ofWeb Services Transactions Based on Real-time pi Calculus. - Huaiguang Wu; Farong Zhong (SKG, 2006)

A Tree-Based Method of Web Service Composition. - Haiming Tang; Farong Zhong; Chang Yang (ICWS, 2008)

A Dynamic Compensation Mechanism for Web Transactions. - Jiajie Wu; Farong Zhong; Yufang Qiu (IEEE SCC, 2009)

A Visual Modeling Framework of Workflow Systems Based on CCS. - Li Zhao; Qing Li 001; Farong Zhong (SKG, 2009)

Actor Petri net Model: toward Suitable and Flexible Level Representation of Scientific Workflows. - Nanshan Du; Qing Li 001; Yiwen Liang; Farong Zhong (ISCIS, 2010)

Filling Scaffolds with Gene Repetitions: Maximizing the Number of Adjacencies. - Haitao Jiang; Farong Zhong; Binhai Zhu (CPM, 2011)

A Web Services Selection Approach Based on Personalized QoS Prediction. - Huan Liu; Farong Zhong; Bang OuYang (ISPDC, 2011)

A QoS-aware Computation Model for Dynamic Web Service Selection. - Jinfang Zhang; Farong Zhong; Zhenguo Yang; Huan Liu (CIT, 2012)

On Action Permutation and Progress for Partially Commutative Asynchronous Binary Sessions. - Zhenguo Yang; Farong Zhong; Jinfang Zhang; Tiantian Song (IDCS, 2012)

On Projections of Global Types in Partially Commutative Multiparty Asynchronous Sessions. - Zhenguo Yang; Farong Zhong; Jinfang Zhang (PDCAT, 2012)

A Polymorphic Type System with Progress for Binary Sessions. - Zhenguo Yang; Farong Zhong; Jinfang Zhang (WISM, 2012)

Dominance-Based Service Selection Scheme with Concurrent Requests. - Chaogang Tang; Qing Li 001; Yan Xiong 001; Shiting Wen; An Liu 002; Farong Zhong (J. Comput. Sci. Eng., 2012)

CRP: context-based reputation propagation in services composition. - Shiting Wen; Qing Li 001; Lihua Yue; An Liu 002; Chaogang Tang; Farong Zhong (Serv. Oriented Comput. Appl., 2012)

Expected Computations on Color Spanning Sets. - Chenglin Fan; Jun Luo 008; Farong Zhong; Binhai Zhu (FAW-AAIM, 2013)

On Some Proximity Problems of Colored Sets. - Chenglin Fan; Jun Luo 008; Farong Zhong (COCOA, 2013)

A Bounded Polymorphic Session Type System with Delegation. - Tiantian Song; Farong Zhong (DASC, 2013)

The Buffered π-Calculus: A Model for Concurrent Languages. - Xiaojie Deng; Yu Zhang; Yuxin Deng; Farong Zhong (LATA, 2013)

Efficient approach to top-k dominating queries on service selection. - Jinfang Zhang; Farong Zhong; Zhenguo Yang (WMNC, 2013)

Efficient Ordering Heuristics in Binary Decision Diagram-based Fault Tree Analysis. - Yuchang Mo; Farong Zhong; Huawen Liu; Quansheng Yang; Gang Cui (Qual. Reliab. Eng. Int., 2013)

On the Exact Block Cover Problem. - Haitao Jiang; Bing Su 002; Mingyu Xiao 001; Yinfeng Xu; Farong Zhong; Binhai Zhu (AAIM, 2014)

A New Edge Ordering Heuristic in Network Reliability Analysis. - Huan Wu; Xuan Liu; Zhusheng Pan; Farong Zhong; Yuchang Mo (CSE, 2014)

On Some Proximity Problems of Colored Sets. - Chenglin Fan; Jun Luo 008; Wencheng Wang 001; Farong Zhong; Binhai Zhu (J. Comput. Sci. Technol., 2014)

Approximate Reliability Evaluation of Large-Scale Distributed Systems. - Yuchang Mo; Jianmin Han; Zhizheng Zhang 002; Zhusheng Pan; Farong Zhong (J. Inf. Sci. Eng., 2014)

Choosing a heuristic and root node for edge ordering in BDD-based network reliability analysis. - Yuchang Mo; Liudong Xing; Farong Zhong; Zhusheng Pan; Zhongyu Chen (Reliab. Eng. Syst. Saf., 2014)

On action permutation and progress for a type system with partially commutative asynchronous binary sessions. - Zhenguo Yang; Farong Zhong; Jinfang Zhang; Tiantian Song (Int. J. Comput. Sci. Eng., 2015)

Expected computations on color spanning sets. - Chao Li 022; Chenglin Fan; Jun Luo 008; Farong Zhong; Binhai Zhu (J. Comb. Optim., 2015)

基于截断边扩展图的网络可靠度近似分析 (Computing Approximate Network Reliability Based on Truncated Edge Expansion Diagram). - Yun Sun; Farong Zhong; Yuchang Mo; Zhusheng Pan (计算机科学, 2015)

Fast Searching on Complete k-partite Graphs. - Yuan Xue; Boting Yang; Farong Zhong; Sandra Zilles (COCOA, 2016)

Genomic Scaffold Filling Revisited. - Haitao Jiang; Chenglin Fan; Boting Yang; Farong Zhong; Daming Zhu; Binhai Zhu (CPM, 2016)

Filling a Protein Scaffold with a Reference. - Letu Qingge; Xiaowen Liu; Farong Zhong; Binhai Zhu (ISBRA, 2016)

Reliability Evaluation of Network Systems with Dependent Propagated Failures Using Decision Diagrams. - Yuchang Mo; Liudong Xing; Farong Zhong; Zhao Zhang 002 (IEEE Trans. Dependable Secur. Comput., 2016)

Simplified Successive Cancellation Decoding of Polar Codes With Medium-Dimensional Binary Kernels. - Zhiliang Huang; Shiyi Zhang; Feiyan Zhang; Chunjiang Duanmu; Farong Zhong; Ming Chen 001 (IEEE Access, 2018)

The Fast Search Number of a Complete k-Partite Graph. - Yuan Xue; Boting Yang; Farong Zhong; Sandra Zilles (Algorithmica, 2018)

A Partition Approach to Lower Bounds for Zero-Visibility Cops and Robber. - Yuan Xue; Boting Yang; Farong Zhong; Sandra Zilles (IWOCA, 2019)

Search Numbers in Networks with Special Topologies. - Boting Yang; Runtao Zhang; Yi Cao; Farong Zhong (J. Interconnect. Networks, 2019)

Zero-Visibility Cops and Robber Game on Cage Graph. - Xiaoli Sun; Farong Zhong; Boting Yang (COCOA (2), 2023)