Search results for: Jinzhao Wu
Journal of Shanghai Jiaotong University (Science) > 2019 > 24 > 3 > 372-380
Cluster Computing > 2019 > 22 > 3 > 953-964
Cluster Computing > 2019 > 22 > 3 > 7491-7506
Formal Aspects of Computing > 2018 > 30 > 2 > 219-237
IEEE Access > 2017 > 5 > 27777 - 27785
Information Sciences > 2016 > 373 > C > 308-320
Cluster Computing > 2016 > 19 > 4 > 2189-2199
Lecture Notes in Computer Science > Applying Formal Methods: Testing, Performance, and M/E-Commerce > EPEW > 156-169
Lecture Notes in Computer Science > Theoretical Aspects of Computing – ICTAC 2005 > Computer Science Logics > 136-150
Lecture Notes in Computer Science > SOFSEM 2006: Theory and Practice of Computer Science > Regular Papers > 207-217
Lecture Notes in Computer Science > Advances in Natural Computation > Evolutionary Computation: Theory and Algorithms > 893-902
Lecture Notes in Computer Science > Process Algebra and Probabilistic Methods: Performance Modeling and Verification > Selected Papers > 77-94
Transactions of Tianjin University > 2016 > 22 > 1 > 19-23