Enhancing program verification with lemmas

由 Nguyen, H.H., Chin, W.-N.
出版 2013

Vietnamese high school teacher's conception of mathematics

由 Nguyen, H. H., Thuy Van, N., Said, H., Mohd. Rameli, M. R., Habilhabil, H.
出版 2020

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

由 Nguyen, H.-H., Gurusamy, M., Zhou, L.
出版 2014

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

由 Nguyen, H.-H., Gurusamy, M., Zhou, L.
出版 2014

Scheduling network and computing resources for sliding demands in optical grids

由 Nguyen, H.-H., Gurusamy, M., Zhou, L.
出版 2014

Runtime checking for separation logic

由 Nguyen, H.H., Kuncak, V., Chin, W.-N.
出版 2013

Enhancing modular OO verification with separation logic

由 Chin, W.-N., David, C., Nguyen, H.H., Qin, S.
出版 2013

Enhancing modular OO verification with separation logic

由 Chin, W.-N., David, C., Nguyen, H.H., Qin, S.
出版 2013

Automated verification of shape, size and bag properties

由 Chin, W.-N., David, C., Nguyen, H.H., Qin, S.
出版 2013

Multiple pre/post specifications for heap-manipulating methods

由 Chin, W.-N., David, C., Nguyen, H.H., Qin, S.
出版 2013

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

由 Chin, W.-N., David, C., Nguyen, H.H., Qin, S.
出版 2013

Memory usage verification for OO programs

由 Chin, W.-N., Nguyen, H.H., Qin, S., Rinard, M.
出版 2013

Automated verification of shape and size properties via separation logic

由 Nguyen, H.H., David, C., Qin, S., Chin, W.-N.
出版 2013

Verifying safety policies with size properties and alias controls

由 Chin, W.-N., Khoo, S.-C., Qin, S., Popeea, C., Nguyen, H.H.
出版 2013

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

由 Kim S.-H., Kim J.Y., Choi Y., Nguyen H.H., Song M.K., Chang J.
出版 2019

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

由 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.
出版 2023

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

由 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.
出版 2021

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

由 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.
出版 2021

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

由 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
出版 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...

由 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
出版 2020