Enhancing program verification with lemmas

بواسطة Nguyen, H.H., Chin, W.-N.
منشور في 2013

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

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