Skip navigation
IVLE
Email
Library
Map
Calendar
Home
Research Outputs
View research outputs
Deposit publication / dataset
Researchers
Help
FAQs
Contact us
Guidelines
Log in
ScholarBank@NUS
Research Outputs
Browsing by Author
CHIN WEI NGAN
Enter a last name
Select a letter below to browse by last name or type
0-9
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
X
Y
Z
Or
Results/Page
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
Showing results 32 to 51 of 88
< previous
next >
Refman
EndNote
Bibtex
RefWorks
Excel
CSV
PDF
Send via email
Issue Date
Title
Author(s)
2001
Calculating sized types
Chin, W.-N.
;
Khoo, S.-C.
2000
Calculating sized types
Chin, Wei-Ngan
;
Khoo, Siau-Cheng
2001
Charting patterns on price history
Anand, S.
;
Chin, W.-N.
;
Khoo, S.-C.
2001
Charting patterns on price history
Anand, S.
;
Chin, W.-N.
;
Khoo, S.-C.
2009
Completeness of Pointer Program Verification by Separation Logic
Tatsuta, M.
;
Chin, W.-N.
;
Al Ameen, M.F.
2009
Completeness of pointer program verification by separation logic
Tatsuta, M.
;
Chin, W.-N.
;
Al Ameen, M.F.
2006
Core-Java: An expression-oriented Java
Craciun, F.
;
Goh, H.Y.
;
Popeea, C.
;
Chin, W.-N.
1997
Deriving efficient parallel programs for complex recurrences
Chin, W.N.
;
Tan, S.H.
;
Teo, Y.M.
2001
Deriving pre-conditions for array bound check elimination
Chin, W.-N.
;
Khoo, S.-C.
;
Xu, D.N.
2010
Dual analysis for proving safety and finding bugs
Popeea, C.
;
Chin, W.-N.
2013
Dual analysis for proving safety and finding bugs
Popeea, C.
;
Chin, W.-N.
2008
Enhancing modular OO verification with separation logic
Chin, W.-N.
;
David, C.
;
Nguyen, H.H.
;
Qin, S.
2008
Enhancing modular OO verification with separation logic
Chin, W.-N.
;
David, C.
;
Nguyen, H.H.
;
Qin, S.
2008
Enhancing program verification with lemmas
Nguyen, H.H.
;
Chin, W.-N.
2003
Extending sized type with collection analysis
Chin, W.-N.
;
Khoo, S.-C.
;
Xu, D.N.
2003
Extending sized type with collection analysis
Chin, W.-N.
;
Khoo, S.-C.
;
Xu, D.N.
2011
FixBag: A fixpoint calculator for quantified bag constraints
Pham, T.-H.
;
Trinh, M.-T.
;
Truong, A.-H.
;
Chin, W.-N.
2014
Foreword
Chin, W.-N.
;
Hage, J.
2006
From Statecharts to Verilog: A formal approach to hardware/software co-specification
Qin, S.
;
Chin, W.-N.
;
He, J.
;
Qiu, Z.
2012
From verification to specification inference
Chin, W.-N.
;
David, C.
