Search results for: Ming-Hsien Tsai
Lecture Notes in Computer Science > Computer Aided Verification > Session 10. Compositional Reasoning > 511-526
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Tools – I > 346-350
Lecture Notes in Computer Science > Leveraging Applications of Formal Methods, Verification, and Validation > Learning Techniques for Software Verification and Validation > 643-657
Lecture Notes in Computer Science > Computer Aided Verification > Session 11: Tools – Security and Program Analysis > 428-432
Lecture Notes in Computer Science > Advances in Computer Science - ASIAN 2006. Secure Software and Related Issues > ASIAN’2006 > 105-119
Cancer Letters > 2016 > 371 > 2 > 205-213
Strahlentherapie und Onkologie > 2016 > 192 > 4 > 260-268
Journal of Dermatological Science > 2015 > 80 > 2 > 124-132
Hemodialysis International > 19 > 4 > E41 - E44
Hemodialysis International > 19 > 2 > 330 - 332
Journal of Dermatological Science > 2014 > 75 > 2 > 100-108
Analytical and Bioanalytical Chemistry > 2014 > 406 > 17 > 4287-4297
Experimental and Toxicologic Pathology > 2013 > 65 > 6 > 887-896