Browsing by Author CHIN WEI NGAN

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


Showing results 32 to 51 of 88 < previous   next >
Issue DateTitleAuthor(s)
2001Calculating sized typesChin, W.-N. ; Khoo, S.-C. 
2000Calculating sized typesChin, Wei-Ngan ; Khoo, Siau-Cheng 
2001Charting patterns on price historyAnand, S.; Chin, W.-N. ; Khoo, S.-C. 
2001Charting patterns on price historyAnand, S.; Chin, W.-N. ; Khoo, S.-C. 
2009Completeness of Pointer Program Verification by Separation LogicTatsuta, M.; Chin, W.-N. ; Al Ameen, M.F.
2009Completeness of pointer program verification by separation logicTatsuta, M.; Chin, W.-N. ; Al Ameen, M.F.
2006Core-Java: An expression-oriented JavaCraciun, F. ; Goh, H.Y.; Popeea, C. ; Chin, W.-N. 
1997Deriving efficient parallel programs for complex recurrencesChin, W.N. ; Tan, S.H. ; Teo, Y.M. 
2001Deriving pre-conditions for array bound check eliminationChin, W.-N. ; Khoo, S.-C. ; Xu, D.N. 
2010Dual analysis for proving safety and finding bugsPopeea, C.; Chin, W.-N. 
2013Dual analysis for proving safety and finding bugsPopeea, C.; Chin, W.-N. 
2008Enhancing modular OO verification with separation logicChin, W.-N. ; David, C.; Nguyen, H.H. ; Qin, S.
2008Enhancing modular OO verification with separation logicChin, W.-N. ; David, C.; Nguyen, H.H. ; Qin, S.
2008Enhancing program verification with lemmasNguyen, H.H. ; Chin, W.-N. 
2003Extending sized type with collection analysisChin, W.-N. ; Khoo, S.-C. ; Xu, D.N. 
2003Extending sized type with collection analysisChin, W.-N. ; Khoo, S.-C. ; Xu, D.N. 
2011FixBag: A fixpoint calculator for quantified bag constraintsPham, T.-H.; Trinh, M.-T.; Truong, A.-H.; Chin, W.-N. 
2014ForewordChin, W.-N. ; Hage, J.
2006From Statecharts to Verilog: A formal approach to hardware/software co-specificationQin, S.; Chin, W.-N. ; He, J.; Qiu, Z.
2012From verification to specification inferenceChin, W.-N. ; David, C.