Towards complete specifications with an error calculus

by Le, Q.L., Sharma, A., Craciun, F., Chin, W.-N.
Published 2014

A specialization calculus for pruning disjunctive predicates to support verification

by Chin, W.-N., Gherghina, C., Voicu, R., Le, Q.L., Craciun, F., Qin, S.
Published 2013

Microstructural evolution during spark plasma sintering of TiC�AlN�graphene ceramics

by Nguyen, V.-H., Shahedi Asl, M., Delbari, S.A., Le, Q.V., Sabahi Namini, A., Cha, J.H., Lee, S.-H., Jang, H.W., Mustapha, M., Mohammadi, M., Shokouhimehr, M.
Published 2021

CO2 Reforming of CH4 on Mesoporous Alumina-Supported Cobalt Catalyst: Optimization of Lanthana Promoter Loading

by Tran N.T., Kumar P.S., Van Le Q., Van Cuong N., Phuong P.T.T., Jalil A.A., Sharma G., Kumar A., Sharma A., Ayodele B.V., Abidin S.Z., Vo D.-V.N.
Published 2023

Valorization of biomass waste to engineered activated biochar by microwave pyrolysis: Progress, challenges, and future directions

by Foong, S.Y., Liew, R.K., Yang, Y., Cheng, Y.W., Yek, P.N.Y., Wan Mahari, W.A., Lee, X.Y., Han, C.S., Vo, D.-V.N., Van Le, Q., Aghbashlo, M., Tabatabaei, M., Sonne, C., Peng, W., Lam, S.S.
Published 2020

Customers’ perceptions of compliance with a tobacco control law in restaurants in hanoi, Vietnam: A cross-sectional study

by Dang A.K., Tran B.X., Nguyen L.H., Do H.T., Nguyen C.T., Fleming M., Le H.T., Le Q.N.H., Latkin C.A., Zhang M.W.B., Ho R.C.M.
Published 2019

Feasibility of e-health interventions on smoking cessation among vietnamese active internet users

by Tran, B.X, Thi Le, X.T, Nguyen, P.N, Hoang Le, Q.N, Mai, H.T, Nguyen, H.L.T, Thi Le, H, Tran, T.T, Latkin, C.A, Zhang, M.W.B, Ho, R.C.M
Published 2020

Do intracerebral cytokine responses explain the harmful effects of dexamethasone in human immunodeficiency virus–associated cryptococcal meningitis?

by Justin Beardsley, Nhat L.T. Hoang, Freddie M. Kibengo, Nguyen L.N. Tung, Tran Q. Binh, Le Q. Hung, Wirongrong Chierakul, Guy E. Thwaites, Nguyen V.V. Chau, Thuong T.T. Nguyen, Ronald B. Geskus, Jeremy N. Day
Published 2020

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

Symptom prevalence, bother, and treatment satisfaction in men with lower urinary tract symptoms in Southeast Asia: a multinational, cross-sectional survey

by Ho L.-Y., Chu P.S.-K., Consigliere D.T., Zainuddin Z.M., Bolong D., Chan C.-K., Eng M., Huynh D.N., Kochakarn W., Lapitan M.C.M., Le D.K., Le Q.D., Lee F., Lojanapiwat B., Nguyen B.-N., Ong T.-A., Reyes B.J., Santingamkun A., Tsang W.-C., Abrams P.
Published 2018

Imputation-Based Meta-Analysis of Severe Malaria in Three African Populations

by Band, G., Le, Q.S., Jostins, L., Pirinen, M., Kivinen, K., Jallow, M., Sisay-Joof, F., Bojang, K., Pinder, M., Sirugo, G., Conway, D.J., Nyirongo, V., Kachala, D., Molyneux, M., Taylor, T., Ndila, C., Peshu, N., Marsh, K., Williams, T.N., Alcock, D., Andrews, R., Edkins, S., Gray, E., Hubbart, C., Jeffreys, A., Rowlands, K., Schuldt, K., Clark, T.G., Small, K.S., Teo, Y.Y., Kwiatkowski, D.P., Rockett, K.A., Barrett, J.C., Spencer, C.C.A.
Published 2014

Insights into malaria susceptibility using genome-wide data on 17,000 individuals from Africa, Asia and Oceania

by Band, G., Le, Q.S., Clarke, G.M., Kivinen, K., Hubbart, C., Jeffreys, A.E., Rowlands, K., Leffler, E.M., Jallow, M., Conway, D.J., Sisay-Joof, F., Sirugo, G., d’Alessandro, U., Toure, O.B., Thera, M.A., Konate, S., Sissoko, S., Mangano, V.D., Bougouma, E.C., Sirima, S.B., Amenga-Etego, L.N., Ghansah, A.K., Hodgson, A.V.O., Wilson, M.D., Enimil, A., Ansong, D., Evans, J., Ademola, S.A., Apinjoh, T.O., Ndila, C.M., Manjurano, A., Drakeley, C., Reyburn, H., Phu, N.H., Quyen, N.T.N., Thai, C.Q., Hien, T.T., Teo, Y.Y., Manning, L., Laman, M., Michon, P., Karunajeewa, H., Siba, P., Allen, S., Allen, A., Bahlo, M., Davis, T.M.E., Simpson, V., Shelton, J., Spencer, C.C.A., Busby, G.B.J., Kerasidou, A., Drury, E., Stalker, J., Dilthey, A., Mentzer, A.J., McVean, G., Bojang, K.A., Doumbo, O., Modiano, D., Koram, K.A., Agbenyega, T., Amodu, O.K., Achidi, E., Williams, T.N., Marsh, K., Riley, E.M., Molyneux, M., Taylor, T., Dunstan, S.J., Farrar, J., Mueller, I., Rockett, K.A., Kwiatkowski, D.P., Malaria Genomic Epidemiology Network.
Published 2021