Search results for: Chenguang Luo
Chemistry – A European Journal > 29 > 35 > n/a - n/a
Chemistry – A European Journal > 27 > 34 > 8811 - 8821
Chinese Journal of Chemistry > 37 > 9 > 883 - 886
Chinese Journal of Chemistry > 37 > 9 > 862 - 862
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 > Automated Technology for Verification and Analysis > Medley > 166-181
Science of Computer Programming > 2014 > 82 > Complete > 56-76
Journal of Symbolic Computation > 2013 > 50 > Complete > 386-408
Journal of Symbolic Computation > 2010 > 45 > 11 > 1163-1183
Electronic Notes in Theoretical Computer Science > 2008 > 212 > Complete > 27-40
Frontiers of Computer Science > 2008 > 2 > 4 > 344-356