Search results for: Yongxin Zhao
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
Frontiers of Computer Science > 2015 > 9 > 3 > 331-345
Frontiers of Computer Science > 2014 > 8 > 5 > 709-725
Frontiers of Computer Science > 2013 > 7 > 2 > 214-235
Service Oriented Computing and Applications > 2010 > 4 > 4 > 291-305
Chromatographia > 2008 > 68 > 5-6 > 467-470
The Chinese-German Journal of Clinical Oncology > 2006 > 5 > 2 > 101-103
Chromatographia > 2006 > 63 > 3-4 > 161-166