Search results for: Weiwen Xu
Lecture Notes in Computer Science > Formal Modeling and Analysis of Timed Systems > Contributed Papers > 113-127
International Journal of Heat and Mass Transfer > 2016 > 92 > C > 490-496
Science China Life Sciences > 2013 > 56 > 3 > 234-239
Electrochimica Acta > 2012 > 85 > Complete > 377-383
Journal of Power Sources > 2012 > 198 > Complete > 423-427
Hepatology > 53 > 6 > 1932 - 1942
Formal Methods in System Design > 2009 > 34 > 1 > 59-81
Electronic Notes in Theoretical Computer Science > 2006 > 153 > 1 > 35-53
International Journal of Biochemistry and Cell Biology > 2003 > 35 > 2 > 226-234