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 New Approach of Partial Order Reduction Technique for Parallel Timed Automata Model Checking.

, , and . SERE (Companion), page 158-167. IEEE, (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.

Jiachen Zhao University of Stuttgart

Jianyu Zhao University of Stuttgart

Zhibin Zhao University of Stuttgart

 

Other publications of authors with the same name

Case deletion diagnostics for GMM estimation., , , and . Computational Statistics & Data Analysis, (2016)Improve Model Checking Efficiency Using Specific Knowledge about the System., , , and . ISoLA, page 392-396. IEEE, (2006)Influence of changes of underlying surface on the output of sand-dust model., , , , , , and . IGARSS, page 720-723. IEEE, (2011)A Research on the Training Mode of University Administer., and . SKG, page 310-313. IEEE Computer Society, (2009)Verifying Compositional Designs for Scenario-Based Timing Specifications., , , , and . ISORC, page 253-256. IEEE Computer Society, (2004)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)A MDE Based Approach for Bridging Formal Models., , , and . TASE, page 113-116. IEEE Computer Society, (2008)Supporting Automatic Code Review via Design., , and . SERE (Companion), page 211-218. IEEE, (2013)The International Comparison of Professionalization of University Administrators and the Related Apocalypse., , and . ETT, page 154-158. IEEE Computer Society, (2009)Compatibility Between Shared Variable Valuations in Timed Automaton Network Model-Checking., , , and . IPDPS, IEEE Computer Society, (2005)