Search results for: Yongxin Zhao
Journal of Software: Evolution and Process > 36 > 4 > n/a - n/a
Molecular Ecology > 29 > 9 > 1642 - 1656
BMC Infectious Diseases > 2019 > 19 > 1 > 1-1
BMC Infectious Diseases > 2019 > 19 > 1 > 1-7
Formal Aspects of Computing > 2018 > 30 > 3-4 > 351-380
Lecture Notes in Computer Science > Leveraging Applications of Formal Methods, Verification, and Validation > Model Transformation and Analysis for Industrial Scale Validation > 594-608
Lecture Notes in Computer Science > Distributed Computing and Internet Technology > Section 1: Distributed Systems and Languages > 1-12
Journal of Cleaner Production > 2015 > 103 > Complete > 898-907
Chemistry – A European Journal > 21 > 17 > 6481 - 6490
Cell Calcium > 2015 > 57 > 4 > 263-274
Frontiers of Computer Science > 2015 > 9 > 3 > 331-345