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
Contact
No contact links provided.
Publications
20 items
Browse publications on Google Scholar (top-right) ↗
Resume (English only)
Co-authors
17 total
Yang Liu
Nanyang Technological University
Sun Jun
Professor of SCIS, SMU
Co-author 3
Yi Li
Nanyang Technological University
Co-author 5
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
×
Welcome back
Sign in to Agora
Welcome back! Please sign in to continue.
Email address
Password
Forgot password?
Continue
Do not have an account?
Sign up