PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Zhao, Jianhua"

Author of the publication

copydeleteadd this publication to your clipboard
A MDE Based Approach for Bridging Formal Models.

, , , and . TASE, page 113-116. IEEE Computer Society, (2008)

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.

Jiachen Zhao University of Stuttgart

Jianyu Zhao University of Stuttgart

Zhibin Zhao University of Stuttgart

 

Other publications of authors with the same name

Supporting Automatic Code Review via Design., , and . SERE (Companion), page 211-218. IEEE, (2013)Compatibility Between Shared Variable Valuations in Timed Automaton Network Model-Checking., , , and . IPDPS, IEEE Computer Society, (2005)The International Comparison of Professionalization of University Administrators and the Related Apocalypse., , and . ETT, page 154-158. IEEE Computer Society, (2009)Verifying Compositional Designs for Scenario-Based Timing Specifications., , , , and . ISORC, page 253-256. IEEE Computer Society, (2004)Influence of changes of underlying surface on the output of sand-dust model., , , , , , and . IGARSS, page 720-723. IEEE, (2011)A MDE Based Approach for Bridging Formal Models., , , and . TASE, page 113-116. IEEE Computer Society, (2008)Coupling effects of nutrients and temperature for the hazard degree dynamic assessment of Karenia mikimotoi red tide disasters in the Wenzhou coastal waters., , , , , and . IGARSS, page 4203-4206. IEEE, (2016)Geomorphic zones mapping and development status monitoring of coral reefs in Xisha, China., , , and . IGARSS, page 4588-4591. IEEE, (2016)Safe semi-supervised classification algorithm combined with active learning sampling strategy., , and . Journal of Intelligent and Fuzzy Systems, 35 (4): 4001-4010 (2018)Efficient Model Selection for Mixtures of Probabilistic PCA Via Hierarchical BIC.. IEEE Trans. Cybernetics, 44 (10): 1871-1883 (2014)