PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Gao, Honghao"

Author of the publication

copydeleteadd this publication to your clipboard
Test Suite Reduction Using Weighted Set Covering Techniques.

, , and . SNPD, page 307-312. IEEE Computer Society, (2012)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Yulong Gao University of Stuttgart

 

Other publications of authors with the same name

A requirements description language pLSC for probabilistic branches and three-stage events., , and . SNPD, page 1-6. IEEE Computer Society, (2014)A Problem-Value-Constraint Framework for Minimizing Under Design and Over Design in Web Service Based System Development., , , , , and . ICSS, page 117-124. IEEE, (2015)Fepchecker: An Automatic Model Checker for Verifying Fairness and Non-Repudiation of Security Protocols in Web Service., , , , , , and . International Journal of Software Engineering and Knowledge Engineering, 26 (4): 563-586 (2016)Applying Probabilistic Model Checking to Express Delivery Location Selection and Optimization., , , , and . ICEBE, page 32-39. IEEE Computer Society, (2016)Processing Optimization of Typed Resources with Synchronized Storage and Computation Adaptation in Fog Computing., , , , , , and . Wireless Communications and Mobile Computing, (2018)Applying improved particle swarm optimization for dynamic service composition focusing on quality of service evaluations under hybrid networks., , , , and . IJDSN, (2018)Research on Technology of Web Services Composition in Mobile Devices Based OWL-S., , and . ICEE, page 4442-4446. IEEE Computer Society, (2010)Towards Collaborative Typed Resources Manipulation in Health-Care Environments., , , , , and . CollaborateCom, volume 252 of Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, page 355-364. Springer, (2017)A Food Dish Image Generation Framework Based on Progressive Growing GANs., , , , and . CollaborateCom, volume 292 of Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, page 323-333. Springer, (2019)A Platform for Analyzing Behaviors of Service-Oriented Application Based on the Probabilistic Model Checking., , , , and . Int. J. Softw. Innov., 3 (2): 24-38 (2015)