- CSB - MetaPress - Google - Bing - Yahoo
 | 2013 | |
|---|---|---|
| j2 |      | Honghao Gao, Nan Shi, Min Yan: Spherical tiling by 12 congruent pentagons. J. Comb. Theory, Ser. A 120(4): 744-776 (2013) |
| 2012 | ||
| c5 | | Dandan Sun, Huaikou Miao, Shengbo Chen, Honghao Gao: An Approach to Modeling and Verifying Router-Based Network. SNPD 2012: 283-288 |
| c4 | | Shengwei Xu, Huaikou Miao, Honghao Gao: Test Suite Reduction Using Weighted Set Covering Techniques. SNPD 2012: 307-312 |
| 2011 | ||
| c3 | | Honghao Gao, Ying Li: Generating Quantitative Test Cases for Probabilistic Timed Web Service Composition. APSCC 2011: 275-283 |
| c2 | | Honghao Gao, Huaikou Miao, Shengbo Chen, Jia Mei: Probabilistic Timed Model Checking for Atomic Web Service. SERVICES 2011: 459-466 |
| c1 | | Honghao Gao, Huaikou Miao, Hongwei Zeng: Research on Web Service Composition Using Probabilistic Abstraction Refinement. TASE 2011: 161-168 |
| 2010 | ||
| j1 | | Jia Mei, Huaikou Miao, Yihai Chen, Honghao Gao: Verifying Web Services Composition Based on Interface Automata Using SPIN. JDCTA 4(8): 23-33 (2010) |
| 1 | Shengbo Chen | |
| 2 | Yihai Chen | |
| 3 | Ying Li | |
| 4 | Jia Mei | |
| 5 | Huaikou Miao | |
| 6 | Nan Shi | |
| 7 | Dandan Sun | |
| 8 | Shengwei Xu | |
| 9 | Min Yan | |
| 10 | Hongwei Zeng |
Colors in the list of coauthors
Last update Thu May 23 05:54:27 2013 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page