Search results for: Xiaoyu Song
Lecture Notes in Computer Science > Computing and Combinatorics > Graph Drawing and Layout Design > 411-419
Journal of Food Safety > 36 > 4 > 442 - 449
IEEE Transactions on Computers > 2016 > 65 > 10 > 3217 - 3223
2016 Chinese Control and Decision Conference (CCDC) > 2048 - 2051
Lecture Notes in Computer Science > Formal Methods and Software Engineering > Model Checking and Probability > 115-130
Lecture Notes in Computer Science > Automated Technology for Verification and Analysis > Regular Papers > 154-169
Lecture Notes in Computer Science > Frontiers in Algorithmics and Algorithmic Aspects in Information and Management > Contributed Papers > 264-274
Lecture Notes in Computer Science > Algorithms and Architectures for Parallel Processing > Parallel Architectures > 193-204
Lecture Notes in Computer Science > Content Computing > Session 4: Content Aware Security (I) > 155-160
Lecture Notes in Computer Science > Implementation and Application of Automata > Poster Abstracts > 279-280
Lecture Notes in Computer Science > Theory and Applications of Models of Computation > Models of Computation > 684-693
Lecture Notes in Computer Science > Theory and Applications of Models of Computation > Computational Complexity > 365-374
Lecture Notes in Computer Science > Automated Technology for Verification and Analysis > Regular Papers > 39-50
Lecture Notes in Computer Science > High Confidence Software Reuse in Large Systems > High Confidence and Reuse > 39-51
Neurochemical Research > 2016 > 41 > 7 > 1662-1672
International Journal of Cardiology > 2016 > 205 > C > 65-71