default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDFarong Zhong
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2023
[c27]Xiaoli Sun, Farong Zhong, Boting Yang:
Zero-Visibility Cops and Robber Game on Cage Graph. COCOA (2) 2023: 295-309
2010 – 2019
- 2019
- [j13]Boting Yang, Runtao Zhang, Yi Cao, Farong Zhong:
Search Numbers in Networks with Special Topologies. J. Interconnect. Networks 19(1): 1940004:1-1940004:34 (2019) - [c26]Yuan Xue, Boting Yang, Farong Zhong, Sandra Zilles:
A Partition Approach to Lower Bounds for Zero-Visibility Cops and Robber. IWOCA 2019: 442-454 - 2018
- [j12]Zhiliang Huang
, Shiyi Zhang, Feiyan Zhang, Chunjiang Duanmu, Farong Zhong, Ming Chen:
Simplified Successive Cancellation Decoding of Polar Codes With Medium-Dimensional Binary Kernels. IEEE Access 6: 26707-26717 (2018) - [j11]Yuan Xue, Boting Yang, Farong Zhong, Sandra Zilles:
The Fast Search Number of a Complete k-Partite Graph. Algorithmica 80(12): 3959-3981 (2018) - 2016
- [j10]Yuchang Mo, Liudong Xing, Farong Zhong, Zhao Zhang:
Reliability Evaluation of Network Systems with Dependent Propagated Failures Using Decision Diagrams. IEEE Trans. Dependable Secur. Comput. 13(6): 672-683 (2016) - [c25]Yuan Xue, Boting Yang, Farong Zhong, Sandra Zilles:
Fast Searching on Complete k-partite Graphs. COCOA 2016: 159-174 - [c24]Haitao Jiang, Chenglin Fan, Boting Yang, Farong Zhong, Daming Zhu, Binhai Zhu:
Genomic Scaffold Filling Revisited. CPM 2016: 15:1-15:13 - [c23]Letu Qingge, Xiaowen Liu, Farong Zhong, Binhai Zhu:
Filling a Protein Scaffold with a Reference. ISBRA 2016: 175-186 - 2015
- [j9]Zhenguo Yang, Farong Zhong, Jinfang Zhang, Tiantian Song:
On action permutation and progress for a type system with partially commutative asynchronous binary sessions. Int. J. Comput. Sci. Eng. 10(3): 253-262 (2015) - [j8]Chao Li, Chenglin Fan, Jun Luo, Farong Zhong, Binhai Zhu:
Expected computations on color spanning sets. J. Comb. Optim. 29(3): 589-604 (2015) - [j7]Yun Sun, Farong Zhong, Yuchang Mo, Zhusheng Pan:
基于截断边扩展图的网络可靠度近似分析 (Computing Approximate Network Reliability Based on Truncated Edge Expansion Diagram). 计算机科学 42(7): 122-124 (2015) - 2014
- [j6]Chenglin Fan, Jun Luo, Wencheng Wang, Farong Zhong, Binhai Zhu:
On Some Proximity Problems of Colored Sets. J. Comput. Sci. Technol. 29(5): 879-886 (2014) - [j5]Yuchang Mo, Jianmin Han, Zhizheng Zhang, Zhusheng Pan, Farong Zhong:
Approximate Reliability Evaluation of Large-Scale Distributed Systems. J. Inf. Sci. Eng. 30(1): 25-41 (2014) - [j4]Yuchang Mo, Liudong Xing, Farong Zhong, Zhusheng Pan, Zhongyu Chen:
Choosing a heuristic and root node for edge ordering in BDD-based network reliability analysis. Reliab. Eng. Syst. Saf. 131: 83-93 (2014) - [c22]Haitao Jiang, Bing Su, Mingyu Xiao, Yinfeng Xu, Farong Zhong, Binhai Zhu:
On the Exact Block Cover Problem. AAIM 2014: 13-22 - [c21]Huan Wu, Xuan Liu, Zhusheng Pan, Farong Zhong, Yuchang Mo:
A New Edge Ordering Heuristic in Network Reliability Analysis. CSE 2014: 513-518 - 2013
- [j3]Yuchang Mo, Farong Zhong, Huawen Liu, Quansheng Yang, Gang Cui:
Efficient Ordering Heuristics in Binary Decision Diagram-based Fault Tree Analysis. Qual. Reliab. Eng. Int. 29(3): 307-315 (2013) - [c20]Chenglin Fan, Jun Luo, Farong Zhong, Binhai Zhu:
Expected Computations on Color Spanning Sets. FAW-AAIM 2013: 130-141 - [c19]Chenglin Fan, Jun Luo, Farong Zhong:
On Some Proximity Problems of Colored Sets. COCOA 2013: 202-213 - [c18]Tiantian Song, Farong Zhong:
A Bounded Polymorphic Session Type System with Delegation. DASC 2013: 516-520 - [c17]Xiaojie Deng, Yu Zhang, Yuxin Deng, Farong Zhong:
The Buffered π-Calculus: A Model for Concurrent Languages. LATA 2013: 250-261 - [c16]Jinfang Zhang, Farong Zhong, Zhenguo Yang:
Efficient approach to top-k dominating queries on service selection. WMNC 2013: 1-8 - 2012
- [j2]Chaogang Tang, Qing Li, Yan Xiong, Shiting Wen, An Liu, Farong Zhong:
Dominance-Based Service Selection Scheme with Concurrent Requests. J. Comput. Sci. Eng. 6(2): 89-104 (2012) - [j1]Shiting Wen, Qing Li, Lihua Yue, An Liu, Chaogang Tang, Farong Zhong:
CRP: context-based reputation propagation in services composition. Serv. Oriented Comput. Appl. 6(3): 231-248 (2012) - [c15]Jinfang Zhang, Farong Zhong, Zhenguo Yang, Huan Liu:
A QoS-aware Computation Model for Dynamic Web Service Selection. CIT 2012: 230-235 - [c14]Zhenguo Yang, Farong Zhong, Jinfang Zhang, Tiantian Song:
On Action Permutation and Progress for Partially Commutative Asynchronous Binary Sessions. IDCS 2012: 120-133 - [c13]Zhenguo Yang, Farong Zhong, Jinfang Zhang:
On Projections of Global Types in Partially Commutative Multiparty Asynchronous Sessions. PDCAT 2012: 563-568 - [c12]Zhenguo Yang, Farong Zhong, Jinfang Zhang:
A Polymorphic Type System with Progress for Binary Sessions. WISM 2012: 451-461 - [i1]Xiaojie Deng, Yu Zhang, Yuxin Deng, Farong Zhong:
The Buffered π-Calculus: A Model for Concurrent Languages. CoRR abs/1212.6183 (2012) - 2011
- [c11]Haitao Jiang, Farong Zhong, Binhai Zhu:
Filling Scaffolds with Gene Repetitions: Maximizing the Number of Adjacencies. CPM 2011: 55-64 - [c10]Huan Liu, Farong Zhong, Bang OuYang:
A Web Services Selection Approach Based on Personalized QoS Prediction. ISPDC 2011: 199-206 - 2010
- [c9]Nanshan Du, Qing Li, Yiwen Liang, Farong Zhong:
Actor Petri net Model: toward Suitable and Flexible Level Representation of Scientific Workflows. ISCIS 2010: 79-84
2000 – 2009
- 2009
- [c8]Jiajie Wu, Farong Zhong, Yufang Qiu:
A Dynamic Compensation Mechanism for Web Transactions. IEEE SCC 2009: 509-512 - [c7]Li Zhao, Qing Li, Farong Zhong:
A Visual Modeling Framework of Workflow Systems Based on CCS. SKG 2009: 200-207 - 2008
- [c6]Haiming Tang, Farong Zhong, Chang Yang:
A Tree-Based Method of Web Service Composition. ICWS 2008: 768-770 - 2006
- [c5]Farong Zhong, Yuxi Fu, Xiaoju Dong:
Bisimulation Congruence for Asymmetric chi ^ e -Calculus. ISPDC 2006: 173-184 - [c4]Huaiguang Wu, Farong Zhong:
A Study ofWeb Services Transactions Based on Real-time pi Calculus. SKG 2006: 90 - 2005
- [c3]Yonggen Gu, Yuxi Fu, Farong Zhong, Han Zhu:
A Generic Model for Analyzing Security Protocols. MMM-ACNS 2005: 119-128 - 2004
- [c2]Farong Zhong:
The Early and Late Congruences for Asymmetric chi!=-Calculus. CIS 2004: 371-378 - 2003
- [c1]Yinxing Wei, Shensheng Zhang, Farong Zhong:
A meta-model for large-scale software system. SMC 2003: 3501-3505
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-11 17:29 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
