Wei Ngan Chin

Collaboration Map View Statistics Email Alert RSS Feed

Full Name

Wei Ngan Chin

Variants

Chin, W.-N.
Chin, W.N.
Chin, Wei-Ngan

Main Affiliation

DEAN'S OFFICE (SCHOOL OF COMPUTING)
DEPARTMENT OF COMPUTER SCIENCE

Faculty

SCHOOL OF COMPUTING

dcscwn@nus.edu.sg

Results 81-87 of 87 (Search time: 0.006 seconds).

Refman EndNote Bibtex RefWorks Excel CSV PDF Send via email

	Issue Date	Title	Author(s)
81	2013	Towards complete specifications with an error calculus	Le, Q.L.; Sharma, A.; Craciun, F.; Chin, W.-N.
82	2009	Translation and optimization for a core calculus with exceptions	David, C.; Gherghina, C.; Chin, W.N.
83	2012	Variable permissions for concurrency verification	Le, D.-K.; Chin, W.-N. ; Teo, Y.-M.
84	2013	Verification of static and dynamic barrier synchronization using bounded permissions	Le, D.-K.; Chin, W.-N. ; Teo, Y.-M.
85	2010	Verifying heap-manipulating programs with unknown procedure calls	Qin, S.; Luo, C.; He, G.; Craciun, F.; Chin, W.-N.
86	2010	Verifying pointer safety for programs with unknown calls	Luo, C.; Craciun, F.; Qin, S.; He, G.; Chin, W.-N.
87	2005	Verifying safety policies with size properties and alias controls	Chin, W.-N. ; Khoo, S.-C.; Qin, S.; Popeea, C.; Nguyen, H.H.