( en | de | ru )

 

Disambiguation of "Zhao, Jianhua"

Author of the publication

copydeleteadd this publication to your clipboard
Automatic Invariant Synthesis for Arrays in Simple Programs.

, , , and . QRS, page 108-119. IEEE, (2016)

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.

Jianhua Liu

Zhao Zhao

Jianhua Huang

Jianhua Zhu

Jianhua Zhang

 

Other publications of authors with the same name

Formal Verification of 'Programming to Interfaces' Programs., and . Int. J. Softw. Informatics, (2016)Supporting Automatic Code Review via Design., , and . SERE (Companion), page 211-218. IEEE, (2013)Verifying Aspect-Oriented Activity Diagrams Against Crosscutting Properties with Petri Net Analyzer., , , , , and . SEKE, page 369-374. Knowledge Systems Institute Graduate School, (2012)Separable Two-Dimensional Linear Discriminant Analysis., , and . COMPSTAT, page 597-604. Physica-Verlag, (2010)Influence of changes of underlying surface on the output of sand-dust model., , , , , , and . IGARSS, page 720-723. IEEE, (2011)Students' Understandings and Attitudes toward Group learning: An Empirical Study., and . ICCE, volume 151 of Frontiers in Artificial Intelligence and Applications, page 205-208. IOS Press, (2006)Geomorphic zones mapping and development status monitoring of coral reefs in Xisha, China., , , and . IGARSS, page 4588-4591. IEEE, (2016)Fast ML Estimation for the Mixture of Factor Analyzers via an ECM Algorithm., and . IEEE Trans. Neural Networks, 19 (11): 1956-1961 (2008)Knowledge Construction through Discussion Forum in a Blended Learning Environment., and . ICHL, volume 6248 of Lecture Notes in Computer Science, page 395-406. Springer, (2010)DStream: A Streaming-Based Highly Parallel IFDS Framework., , , and . ICSE, page 2488-2500. IEEE, (2023)