Scholar
Shang-Wei LIN
Google Scholar ID: sCbkO2oAAAAJ
Associate Professor, Singapore Institute of Technology (SIT)
Formal Methods
Program Verification
Software Analysis
Quantum Computing
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
2,270
H-index
24
i10-index
41
Publications
20
Co-authors
17
list available
Co-authors
12 total
Yang Liu
Nanyang Technological University
Sun Jun
Professor of SCIS, SMU
Yi Li
Nanyang Technological University
Jin Song Dong
Professor of Computer Science, National University of Singapore
Zhenchang Xing
Senior Principal Research Scientist, CSIRO's Data61 & Australian National University
Étienne André
Université Paris 13, LIPN, CNRS, UMR 7030, F-93430, Villetaneuse, France
Alwen Tiu
School of Computing, The Australian National University
Yuan Zhou (周远)
Nanyang Technological University
