Search results for: Guanhua He
Plant, Cell & Environment > 46 > 6 > 1860 - 1872
New Phytologist > 233 > 3 > 1414 - 1425
New Phytologist > 230 > 3 > 988 - 1002
Journal of Integrative Plant Biology > 62 > 5 > 652 - 667
Science of Computer Programming > 2017 > 148 > C > 189-212
Lecture Notes in Computer Science > Formal Methods and Software Engineering > Program Analysis > 468-484
Lecture Notes in Computer Science > Formal Methods and Software Engineering > Verification I > 171-187
Lecture Notes in Computer Science > Programming Languages and Systems > Types for Object-Oriented Languages > 112-127
Lecture Notes in Computer Science > Automated Technology for Verification and Analysis > Medley > 166-181
Science of Computer Programming > 2014 > 82 > Complete > 56-76
International Journal on Software Tools for Technology Transfer > 2014 > 16 > 4 > 381-397
Journal of Symbolic Computation > 2013 > 50 > Complete > 386-408
Journal of Symbolic Computation > 2010 > 45 > 11 > 1163-1183