Enhancing program verification with lemmas

by Nguyen, H.H., Chin, W.-N.
Published 2013

Vietnamese high school teacher's conception of mathematics

by Nguyen, H. H., Thuy Van, N., Said, H., Mohd. Rameli, M. R., Habilhabil, H.
Published 2020

Provisioning lightpaths and computing resources for location-transparent scheduled grid demands

by Nguyen, H.-H., Gurusamy, M., Zhou, L.
Published 2014

Provisioning lightpaths and computing resources for scheduled Grid demands with location transparancy

by Nguyen, H.-H., Gurusamy, M., Zhou, L.
Published 2014

Scheduling network and computing resources for sliding demands in optical grids

by Nguyen, H.-H., Gurusamy, M., Zhou, L.
Published 2014

Runtime checking for separation logic

by Nguyen, H.H., Kuncak, V., Chin, W.-N.
Published 2013

Enhancing modular OO verification with separation logic

by Chin, W.-N., David, C., Nguyen, H.H., Qin, S.
Published 2013

Memory usage verification for OO programs

by Chin, W.-N., Nguyen, H.H., Qin, S., Rinard, M.
Published 2013

Automated verification of shape and size properties via separation logic

by Nguyen, H.H., David, C., Qin, S., Chin, W.-N.
Published 2013

Automated verification of shape, size and bag properties via user-defined predicates in separation logic

by Chin, W.-N., David, C., Nguyen, H.H., Qin, S.
Published 2013

Automated verification of shape, size and bag properties

by Chin, W.-N., David, C., Nguyen, H.H., Qin, S.
Published 2013

Enhancing modular OO verification with separation logic

by Chin, W.-N., David, C., Nguyen, H.H., Qin, S.
Published 2013

Multiple pre/post specifications for heap-manipulating methods

by Chin, W.-N., David, C., Nguyen, H.H., Qin, S.
Published 2013

Verifying safety policies with size properties and alias controls

by Chin, W.-N., Khoo, S.-C., Qin, S., Popeea, C., Nguyen, H.H.
Published 2013

Mucosal Vaccination with Recombinant Adenovirus Encoding Nucleoprotein Provides Potent Protection against Influenza Virus Infection

by Kim S.-H., Kim J.Y., Choi Y., Nguyen H.H., Song M.K., Chang J.
Published 2019

Emerging waste-to-wealth applications of fly ash for environmental remediation: A review

by Nguyen, H.-H.T., Nguyen, H.T., Ahmed, S.F., Rajamohan, N., Yusuf, M., Sharma, A., Arunkumar, P., Deepanraj, B., Tran, H.-T., Al-Gheethi, A., Vo, D.-V.N.
Published 2023

Alcohol and tobacco use among methadone maintenance patients in Vietnamese rural mountainside areas

by Tran, B.X., Nguyen, H.L.T., Le, Q.N.H., Mai, H.T., Ngo, C., Hoang, C.D., Nguyen, H.H., Le, H.Q., Van Nguyen, H., Le, H.T., Tran, T.D., Zary, N., Latkin, C.A., Vu, T.M.T., Ho, R.C.M., Zhang, M.W.B.
Published 2021

HIV- and AIDS-related knowledge and attitude of residents in border regions of Vietnam

by Hoang, C.D., Tran, B.X., Pham, M.D., Nguyen, L.H., Do, H.N., Vuong, Q.H., Ho, M.T., Dam, V.N., Vuong, T.T., Nguyen, H.H., Nguyen, V., Pham, H.Q., Ha, G.H., Latkin, C.A., Ho, C.S.H., Ho, R.C.M.
Published 2021

HIV knowledge and risk behaviors among drug users in three Vietnamese mountainous provinces

by Nguyen, T.M.T, Tran, B.X, Fleming, M, Pham, M.D, Nguyen, L.T, Nguyen, A.L.T, Le, H.T, Nguyen, T.H, Hoang, V.H, Le, X.T.T, Vuong, Q.H, Ho, M.T, Dam, V.N, Vuong, T.T, Nguyen, V, Nguyen, H.L.T, Do, H.P, Doan, P.L, Nguyen, H.H, Latkin, C.A, Ho, C.S.H, Ho, R.C.M
Published 2020

Methadone maintenance treatment reduces the vulnerability of drug users on hiv/aids in vietnamese remote settings: Assessing the changes in hiv knowledge, perceived risk, and testi...

by Nguyen, T.M.T, Tran, B.X, Fleming, M, Pham, M.D, Nguyen, L.T, Le, H.T, Nguyen, A.L.T, Le, H.T, Nguyen, T.H, Hoang, V.H, Le, X.T.T, Vuong, Q.H, Ho, M.T, Dam, V.N, Vuong, T.T, Do, H.N, Nguyen, V, Nguyen, H.L.T, Do, H.P, Doan, P.L, Nguyen, H.H, Latkin, C.A, Ho, C.S.H, Ho, R.C.M
Published 2020