Wanling Qu

According to our database1, Wanling Qu authored at least 10 papers between 2007 and 2012.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2012
Value-passing CCS with noisy channels.
Theor. Comput. Sci., 2012

2010
A Petri Net-Based Method for Data Validation of Web Services Composition.
Proceedings of the 34th Annual IEEE International Computer Software and Applications Conference, 2010

A Petri Net-Based Algorithm for RFID Event Detection.
Proceedings of the 34th Annual IEEE International Computer Software and Applications Conference, 2010

A Game Perspective of Refinement of Component Models.
Proceedings of the 34th Annual IEEE International Computer Software and Applications Conference, 2010

2009
A New Method to Model and Analyze the WS-BPEL Process under the Dead-Path-Elimination Semantics.
Proceedings of the Third IEEE International Conference on Secure Software Integration and Reliability Improvement, 2009

2008
A Bayesian approach to support vector machines for the binary classification.
Neurocomputing, 2008

Modeling and verifying BPEL using synchronized net.
Proceedings of the 2008 ACM Symposium on Applied Computing (SAC), 2008

2007
Queuing analysis and performance evaluation of workflow through WFQN.
Proceedings of the First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering, 2007

Approximation Algorithms for Maximum Edge Coloring Problem.
Proceedings of the Theory and Applications of Models of Computation, 2007

Lower bounds on the cardinality of maximum matchings in graphs with bounded degrees.
Proceedings of the 2007 International Conference on Foundations of Computer Science, 2007


  Loading...