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