Search results for: Yanhong A. Liu
Lecture Notes in Computer Science > Programming Languages and Systems > Regular Contributions > 288-305
Lecture Notes in Computer Science > Verification, Model Checking, and Abstract Interpretation > Static Analysis > 70-85
Lecture Notes in Computer Science > Correct Hardware Design and Verification Methods > Posters > 334-337
Lecture Notes in Computer Science > Mathematics of Program Construction > Contributed Papers > 195-208
Lecture Notes in Computer Science > Verification, Model Checking, and Abstract Interpretation > 190-206
Lecture Notes in Computer Science > Static Analysis > Data Structures > 213-233
Lecture Notes in Computer Science > Static Analysis > Optimizations > 211-231
Lecture Notes in Computer Science > Model Checking Software > Transformations for model checking distributed java programs > 192-199
IEEE Transactions on Software Engineering > 2013 > 39 > 7 > 1018 - 1039
Science of Computer Programming > 2003 > 47 > 2-3 > 221-242
Higher-Order and Symbolic Computation > 2003 > 16 > 1-2 > 37-62
International Journal on Software Tools for Technology Transfer > 2003 > 4 > 2 > 211-223
Science of Computer Programming > 2001 > 41 > 2 > 139-172
Higher-Order and Symbolic Computation > 2000 > 13 > 4 > 289-313