sfuzz: An efficient adaptive fuzzer for solidity smart contracts TD Nguyen, LH Pham, J Sun, Y Lin, QT Minh Proceedings of the ACM/IEEE 42nd International Conference on Software …, 2020 | 141 | 2020 |
Universities in Vietnam: Legacies, challenges and prospects LH Pham, GW Fry Asian universities: Historical perspectives and contemporary challenges, 301-332, 2004 | 74 | 2004 |
Ketogenic diet prevents cardiac arrest-induced cerebral ischemic neurodegeneration KK Tai, N Nguyen, L Pham, DD Truong Journal of Neural Transmission 115, 1011-1017, 2008 | 66 | 2008 |
Roles for negative cell regulator 14-3-3σ in control of MDM2 activities HY Yang, YY Wen, YL Lin, L Pham, CH Su, H Yang, J Chen, MH Lee Oncogene 26 (52), 7355-7362, 2007 | 51 | 2007 |
Dental functional status in a Southern Vietnamese adult population-an analysis by a combined quantitative and qualitative classification system TC Nguyen, DJ Witter, EM Bronkhorst, LH Pham, NHJ Creugers An epidemiological study on oral function in Southern Vietnam 53, 2011 | 43 | 2011 |
SGUARD: towards fixing vulnerable smart contracts automatically TD Nguyen, LH Pham, J Sun 2021 IEEE Symposium on Security and Privacy (SP), 1215-1229, 2021 | 29 | 2021 |
Idebenone induces apoptotic cell death in the human dopaminergic neuroblastoma SHSY-5Y cells KK Tai, L Pham, DD Truong Neurotoxicity research 20, 321-328, 2011 | 27 | 2011 |
Top management support, organizational learning, innovative behavior, employee commitment and organizational performance of manufacturing companies in Hai Phong TK Pham, CH Pham, L Pham International Journal of Financial Research 7 (3), 54-64, 2016 | 22 | 2016 |
Job stress, involvement, satisfaction and performance of employees in garment 10 corporation in Vietnam VD Than, CH Pham, L Pham International Journal of Financial Research 7 (3), 96-109, 2016 | 21 | 2016 |
Enhancing symbolic execution of heap-based programs with separation logic for test input generation LH Pham, QL Le, QS Phan, J Sun, S Qin Automated Technology for Verification and Analysis: 17th International …, 2019 | 20 | 2019 |
Total quality management and financial performance of construction companies in Ha Noi AD Nguyen, CH Pham, L Pham International Journal of Financial Research 7 (3), 41-53, 2016 | 18 | 2016 |
Tourism students’ motivational orientations: the case of Vietnam CN Buzinde, CA Vogt, KL Andereck, LH Pham, LT Ngo, HH Do Asia Pacific Journal of Tourism Research 23 (1), 68-78, 2018 | 15 | 2018 |
Assertion generation through active learning L H. Pham, LL Tran Thi, J Sun Formal Methods and Software Engineering: 19th International Conference on …, 2017 | 15 | 2017 |
Causality-based neural network repair B Sun, J Sun, LH Pham, J Shi Proceedings of the 44th International Conference on Software Engineering …, 2022 | 14 | 2022 |
Testing heap-based programs with Java StarFinder LH Pham, QL Le, QS Phan, J Sun, S Qin Proceedings of the 40th International Conference on Software Engineering …, 2018 | 14 | 2018 |
Concolic testing heap-manipulating programs LH Pham, QL Le, QS Phan, J Sun Formal Methods–The Next 30 Years: Third World Congress, FM 2019, Porto …, 2019 | 12 | 2019 |
The competitive advantages of Vietnam footwear industry: An analysis XTT Phan, CH Pham, L Pham International Journal of Financial Research 7 (3), 65-80, 2016 | 9 | 2016 |
Governance and management of protected areas in Vietnam: nature-based tourism in mountain areas HT Bui, LH Pham, TE Jones Nature-based tourism in Asia’s mountainous protected areas: a trans-regional …, 2021 | 8 | 2021 |
Intracisternal administration of glibenclamide or 5-hydroxydecanoate does not reverse the neuroprotective effect of ketogenic diet against ischemic brain injury-induced … KK Tai, L Pham, DD Truong Brain Injury 23 (13-14), 1081-1088, 2009 | 6 | 2009 |
Learning likely invariants to explain why a program fails LH Pham, J Sun, LLT Thi, J Wang, X Peng 2017 22nd International Conference on Engineering of Complex Computer …, 2017 | 5 | 2017 |