Farong Zhong

Orcid: 0000-0001-5111-7258

According to our database1, Farong Zhong authored at least 40 papers between 2003 and 2023.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2023
Zero-Visibility Cops and Robber Game on Cage Graph.
Proceedings of the Combinatorial Optimization and Applications, 2023

2019
Search Numbers in Networks with Special Topologies.
J. Interconnect. Networks, 2019

A Partition Approach to Lower Bounds for Zero-Visibility Cops and Robber.
Proceedings of the Combinatorial Algorithms - 30th International Workshop, 2019

2018
The Fast Search Number of a Complete k-Partite Graph.
Algorithmica, 2018

Simplified Successive Cancellation Decoding of Polar Codes With Medium-Dimensional Binary Kernels.
IEEE Access, 2018

2016
Reliability Evaluation of Network Systems with Dependent Propagated Failures Using Decision Diagrams.
IEEE Trans. Dependable Secur. Comput., 2016

Filling a Protein Scaffold with a Reference.
Proceedings of the Bioinformatics Research and Applications - 12th International Symposium, 2016

Genomic Scaffold Filling Revisited.
Proceedings of the 27th Annual Symposium on Combinatorial Pattern Matching, 2016

Fast Searching on Complete k-partite Graphs.
Proceedings of the Combinatorial Optimization and Applications, 2016

2015
基于截断边扩展图的网络可靠度近似分析 (Computing Approximate Network Reliability Based on Truncated Edge Expansion Diagram).
计算机科学, 2015

Expected computations on color spanning sets.
J. Comb. Optim., 2015

On action permutation and progress for a type system with partially commutative asynchronous binary sessions.
Int. J. Comput. Sci. Eng., 2015

2014
Choosing a heuristic and root node for edge ordering in BDD-based network reliability analysis.
Reliab. Eng. Syst. Saf., 2014

Approximate Reliability Evaluation of Large-Scale Distributed Systems.
J. Inf. Sci. Eng., 2014

On Some Proximity Problems of Colored Sets.
J. Comput. Sci. Technol., 2014

A New Edge Ordering Heuristic in Network Reliability Analysis.
Proceedings of the 17th IEEE International Conference on Computational Science and Engineering, 2014

On the Exact Block Cover Problem.
Proceedings of the Algorithmic Aspects in Information and Management, 2014

2013
Efficient Ordering Heuristics in Binary Decision Diagram-based Fault Tree Analysis.
Qual. Reliab. Eng. Int., 2013

Efficient approach to top-k dominating queries on service selection.
Proceedings of the 6th Joint IFIP Wireless and Mobile Networking Conference, 2013

The Buffered π-Calculus: A Model for Concurrent Languages.
Proceedings of the Language and Automata Theory and Applications, 2013

A Bounded Polymorphic Session Type System with Delegation.
Proceedings of the IEEE 11th International Conference on Dependable, 2013

On Some Proximity Problems of Colored Sets.
Proceedings of the Combinatorial Optimization and Applications, 2013

Expected Computations on Color Spanning Sets.
Proceedings of the Frontiers in Algorithmics <i>and</i> Algorithmic Aspects in Information and Management, 2013

2012
CRP: context-based reputation propagation in services composition.
Serv. Oriented Comput. Appl., 2012

Dominance-Based Service Selection Scheme with Concurrent Requests.
J. Comput. Sci. Eng., 2012

A Polymorphic Type System with Progress for Binary Sessions.
Proceedings of the Web Information Systems and Mining - International Conference, 2012

On Projections of Global Types in Partially Commutative Multiparty Asynchronous Sessions.
Proceedings of the 13th International Conference on Parallel and Distributed Computing, 2012

On Action Permutation and Progress for Partially Commutative Asynchronous Binary Sessions.
Proceedings of the Internet and Distributed Computing Systems, 2012

A QoS-aware Computation Model for Dynamic Web Service Selection.
Proceedings of the 12th IEEE International Conference on Computer and Information Technology, 2012

2011
A Web Services Selection Approach Based on Personalized QoS Prediction.
Proceedings of the 10th International Symposium on Parallel and Distributed Computing, 2011

Filling Scaffolds with Gene Repetitions: Maximizing the Number of Adjacencies.
Proceedings of the Combinatorial Pattern Matching - 22nd Annual Symposium, 2011

2010
Actor Petri net Model: toward Suitable and Flexible Level Representation of Scientific Workflows.
Proceedings of the Computer and Information Sciences, 2010

2009
A Visual Modeling Framework of Workflow Systems Based on CCS.
Proceedings of the Fifth International Conference on Semantics, Knowledge and Grid, 2009

A Dynamic Compensation Mechanism for Web Transactions.
Proceedings of the 2009 IEEE International Conference on Services Computing (SCC 2009), 2009

2008
A Tree-Based Method of Web Service Composition.
Proceedings of the 2008 IEEE International Conference on Web Services (ICWS 2008), 2008

2006
A Study ofWeb Services Transactions Based on Real-time pi Calculus.
Proceedings of the 2006 International Conference on Semantics, 2006

Bisimulation Congruence for Asymmetric chi ^ e -Calculus.
Proceedings of the 5th International Symposium on Parallel and Distributed Computing (ISPDC 2006), 2006

2005
A Generic Model for Analyzing Security Protocols.
Proceedings of the Computer Network Security, 2005

2004
The Early and Late Congruences for Asymmetric <i>chi</i><sup>!=</sup>-Calculus.
Proceedings of the Computational and Information Science, First International Symposium, 2004

2003
A meta-model for large-scale software system.
Proceedings of the IEEE International Conference on Systems, 2003


  Loading...