Wu, Shangru
69  Ergebnisse:
Personensuche X
?
2

Research on Energy Management Optimization of Range-Extende..:

Chen, Yong ; Wei, Changyin ; Wu, Shangru.
Transportation Research Procedia.  70 (2023)  - p. 433-441 , 2023
 
?
5

RegionTrack : A Trace-Based Sound and Complete Checker t..:

Ma, Xiaoxue ; Wu, Shangru ; Pobee, Ernest...
ACM Transactions on Software Engineering and Methodology (TOSEM).  30 (2020)  1 - p. 1-49 , 2020
 
?
7

RegionTrack: A Trace-Based Sound and Complete Checker to De..:

Ma, Xiaoxue ; Wu, Shangru ; Pobee, Ernest...
ACM Transactions on Software Engineering and Methodology.  30 (2020)  1 - p. 1-49 , 2020
 
?
10

HAI-2 as a novel inhibitor of plasmin represses lung cancer..:

Wu, Shang-Ru ; Lin, Chia-Hao ; Shih, Han-Po...
British Journal of Cancer.  120 (2019)  5 - p. 499-511 , 2019
 
?
13

ASP: Abstraction Subspace Partitioning for Detection of Ato..:

Wu, Shangru ; Yang, Chunbai ; Jia, Changjiang.
IEEE Transactions on Parallel and Distributed Systems.  27 (2016)  3 - p. 724-734 , 2016
 
?
14

Hierarchical Program Paths:

Yang, Chunbai ; Wu, Shangru ; Chan, W. K.
ACM Transactions on Software Engineering and Methodology (TOSEM).  25 (2016)  3 - p. 1-44 , 2016
 
?
15

Hierarchical Program Paths:

Yang, Chunbai ; Wu, Shangru ; Chan, W. K.
ACM Transactions on Software Engineering and Methodology.  25 (2016)  3 - p. 1-44 , 2016
 
1-15