Farong Zhong

41 papers A 1B 3C 11Journal 14Unranked 12
YearRankTypeTitle / Venue / Authors
2023 — conf
Zero-Visibility Cops and Robber Game on Cage Graph.
COCOA (2)
Xiaoli Sun, Farong Zhong, Boting Yang
2019 C conf
A Partition Approach to Lower Bounds for Zero-Visibility Cops and Robber.
IWOCA
Yuan Xue, Boting Yang, Farong Zhong, Sandra Zilles
2019 J jnl
Search Numbers in Networks with Special Topologies.
J. Interconnect. Networks
Boting Yang, Runtao Zhang, Yi Cao, Farong Zhong
2018 J jnl
Simplified Successive Cancellation Decoding of Polar Codes With Medium-Dimensional Binary Kernels.
IEEE Access
Zhiliang Huang, Shiyi Zhang, Feiyan Zhang, Chunjiang Duanmu, Farong Zhong, Ming Chen
2018 J jnl
The Fast Search Number of a Complete k-Partite Graph.
Algorithmica
Yuan Xue, Boting Yang, Farong Zhong, Sandra Zilles
2016 C conf
Fast Searching on Complete k-partite Graphs.
COCOA
Yuan Xue, Boting Yang, Farong Zhong, Sandra Zilles
2016 — conf
Filling a Protein Scaffold with a Reference.
ISBRA
Letu Qingge, Xiaowen Liu, Farong Zhong, Binhai Zhu
2016 B conf
Genomic Scaffold Filling Revisited.
CPM
Haitao Jiang, Chenglin Fan, Boting Yang, Farong Zhong, Daming Zhu, Binhai Zhu
2016 J jnl
Reliability Evaluation of Network Systems with Dependent Propagated Failures Using Decision Diagrams.
IEEE Trans. Dependable Secur. Comput.
Yuchang Mo, Liudong Xing, Farong Zhong, Zhao Zhang
2015 J jnl
Expected computations on color spanning sets.
J. Comb. Optim.
Chao Li, Chenglin Fan, Jun Luo, Farong Zhong, Binhai Zhu
2015 J jnl
On action permutation and progress for a type system with partially commutative asynchronous binary sessions.
Int. J. Comput. Sci. Eng.
Zhenguo Yang, Farong Zhong, Jinfang Zhang, Tiantian Song
2015 J jnl
基于截断边扩展图的网络可靠度近似分析 (Computing Approximate Network Reliability Based on Truncated Edge Expansion Diagram).
计算机科学
Yun Sun, Farong Zhong, Yuchang Mo, Zhusheng Pan
2014 — conf
A New Edge Ordering Heuristic in Network Reliability Analysis.
CSE
Huan Wu, Xuan Liu, Zhusheng Pan, Farong Zhong, Yuchang Mo
2014 J jnl
Approximate Reliability Evaluation of Large-Scale Distributed Systems.
J. Inf. Sci. Eng.
Yuchang Mo, Jianmin Han, Zhizheng Zhang, Zhusheng Pan, Farong Zhong
2014 J jnl
Choosing a heuristic and root node for edge ordering in BDD-based network reliability analysis.
Reliab. Eng. Syst. Saf.
Yuchang Mo, Liudong Xing, Farong Zhong, Zhusheng Pan, Zhongyu Chen
2014 J jnl
On Some Proximity Problems of Colored Sets.
J. Comput. Sci. Technol.
Chenglin Fan, Jun Luo, Wencheng Wang, Farong Zhong, Binhai Zhu
2014 C conf
On the Exact Block Cover Problem.
AAIM
Haitao Jiang, Bing Su, Mingyu Xiao, Yinfeng Xu, Farong Zhong, Binhai Zhu
2013 C conf
A Bounded Polymorphic Session Type System with Delegation.
DASC
Tiantian Song, Farong Zhong
2013 J jnl
Efficient Ordering Heuristics in Binary Decision Diagram-based Fault Tree Analysis.
Qual. Reliab. Eng. Int.
Yuchang Mo, Farong Zhong, Huawen Liu, Quansheng Yang, Gang Cui
2013 — conf
Efficient approach to top-k dominating queries on service selection.
WMNC
Jinfang Zhang, Farong Zhong, Zhenguo Yang
2013 — conf
Expected Computations on Color Spanning Sets.
FAW-AAIM
Chenglin Fan, Jun Luo, Farong Zhong, Binhai Zhu
2013 C conf
On Some Proximity Problems of Colored Sets.
COCOA
Chenglin Fan, Jun Luo, Farong Zhong
2013 C conf
The Buffered π-Calculus: A Model for Concurrent Languages.
LATA
Xiaojie Deng, Yu Zhang, Yuxin Deng, Farong Zhong
2012 — conf
A Polymorphic Type System with Progress for Binary Sessions.
WISM
Zhenguo Yang, Farong Zhong, Jinfang Zhang
2012 C conf
A QoS-aware Computation Model for Dynamic Web Service Selection.
CIT
Jinfang Zhang, Farong Zhong, Zhenguo Yang, Huan Liu
2012 J jnl
CRP: context-based reputation propagation in services composition.
Serv. Oriented Comput. Appl.
Shiting Wen, Qing Li, Lihua Yue, An Liu, Chaogang Tang, Farong Zhong
2012 J jnl
Dominance-Based Service Selection Scheme with Concurrent Requests.
J. Comput. Sci. Eng.
Chaogang Tang, Qing Li, Yan Xiong, Shiting Wen, An Liu, Farong Zhong
2012 — conf
On Action Permutation and Progress for Partially Commutative Asynchronous Binary Sessions.
IDCS
Zhenguo Yang, Farong Zhong, Jinfang Zhang, Tiantian Song
2012 C conf
On Projections of Global Types in Partially Commutative Multiparty Asynchronous Sessions.
PDCAT
Zhenguo Yang, Farong Zhong, Jinfang Zhang
2012 J jnl
The Buffered π-Calculus: A Model for Concurrent Languages
CoRR
Xiaojie Deng, Yu Zhang, Yuxin Deng, Farong Zhong
2011 C conf
A Web Services Selection Approach Based on Personalized QoS Prediction.
ISPDC
Huan Liu, Farong Zhong, Bang OuYang
2011 B conf
Filling Scaffolds with Gene Repetitions: Maximizing the Number of Adjacencies.
CPM
Haitao Jiang, Farong Zhong, Binhai Zhu
2010 — conf
Actor Petri net Model: toward Suitable and Flexible Level Representation of Scientific Workflows.
ISCIS
Nanshan Du, Qing Li, Yiwen Liang, Farong Zhong
2009 — conf
A Dynamic Compensation Mechanism for Web Transactions.
IEEE SCC
Jiajie Wu, Farong Zhong, Yufang Qiu
2009 — conf
A Visual Modeling Framework of Workflow Systems Based on CCS.
SKG
Li Zhao, Qing Li, Farong Zhong
2008 A conf
A Tree-Based Method of Web Service Composition.
ICWS
Haiming Tang, Farong Zhong, Chang Yang
2006 — conf
A Study ofWeb Services Transactions Based on Real-time pi Calculus.
SKG
Huaiguang Wu, Farong Zhong
2006 C conf
Bisimulation Congruence for Asymmetric chi ^ e -Calculus.
ISPDC
Farong Zhong, Yuxi Fu, Xiaoju Dong
2005 — conf
A Generic Model for Analyzing Security Protocols.
MMM-ACNS
Yonggen Gu, Yuxi Fu, Farong Zhong, Han Zhu
2004 C conf
The Early and Late Congruences for Asymmetric
CIS
Farong Zhong
2003 B conf
A meta-model for large-scale software system.
SMC
Yinxing Wei, Shensheng Zhang, Farong Zhong