Cheung, Shing Kee
696  results:
Search for persons X
?
1

Diagnosis of Seronegative Rheumatoid Arthritis by 68 Ga-FAP..:

Cheung, Shing Kee ; Chen, Sirong ; Wong, Yuet Hung..
Nuclear Medicine and Molecular Imaging.  57 (2022)  1 - p. 44-45 , 2022
 
?
2

Radioembolization with 90Y glass microspheres for hepatocel..:

Ho, Chi Lai ; Chen, Sirong ; Cheung, Shing Kee...
European Journal of Nuclear Medicine and Molecular Imaging.  45 (2018)  12 - p. 2110-2121 , 2018
 
?
3

Factors Associated with COVID-19 Vaccine Acceptance among H..:

Lee, Regina Lai Tong ; Chien, Wai Tong ; Stubbs, Michelle...
International Journal of Environmental Research and Public Health.  19 (2022)  21 - p. 14499 , 2022
 
?
10

Shortening Overlong Method Names with Abbreviations:

Jiang, Yanjie ; Liu, Hui ; Cheung, Shing Chi.
ACM Transactions on Software Engineering and Methodology.  , 2024
 
?
11

Symbolic state validation through runtime data:

, In: Proceedings of the 29th ACM/IEEE international conference on Automated software engineering,
Li, Yueqi ; Cheung, Shing Chi - p. 187-198 , 2014
 
?
12

Checking safety properties using compositional reachability..:

Cheung, Shing Chi ; Kramer, Jeff
ACM Transactions on Software Engineering and Methodology.  8 (1999)  1 - p. 49-78 , 1999
 
?
13

Checking safety properties using compositional reachability..:

Cheung, Shing Chi ; Kramer, Jeff
ACM Transactions on Software Engineering and Methodology (TOSEM).  8 (1999)  1 - p. 49-78 , 1999
 
?
14

Verification of liveness properties using compositional rea..:

, In: Proceedings of the 6th European SOFTWARE ENGINEERING conference held jointly with the 5th ACM SIGSOFT international symposium on Foundations of software engineering,
 
?
15

Context constraints for compositional reachability analysis:

Cheung, Shing Chi ; Kramer, Jeff
ACM Transactions on Software Engineering and Methodology.  5 (1996)  4 - p. 334-377 , 1996
 
1-15