| Evaluating and predicting the stability of roadways in tunnelling and underground space using artificial neural network-based particle swarm optimization X Zhang, H Nguyen, XN Bui, HA Le, T Nguyen-Thoi, H Moayedi, ... Tunnelling and Underground Space Technology 103, 103517, 2020 | 70 | 2020 |
| Modeling and verifying ws-cdl using event-b HA Le, NT Truong Context-Aware Systems and Applications: First International Conference …, 2013 | 12 | 2013 |
| An approach to modeling and estimating power consumption of mobile applications HA Le, AT Bui, NT Truong Mobile networks and Applications 24, 124-133, 2019 | 10 | 2019 |
| Effects of enzyme types and extraction conditions on protein recovery and antioxidant properties of hydrolysed proteins derived from defatted Lemna minor HC Tran, HAT Le, TT Le Applied Science and Engineering Progress 14 (3), 360-369, 2021 | 9 | 2021 |
| A formal approach to checking consistency in software refactoring HA Le, TH Dao, NT Truong Mobile networks and Applications 22, 356-366, 2017 | 7 | 2017 |
| A Big Data framework for satellite images processing using apache hadoop and rasterframes: A case study of surface water extraction in PHU tho, Viet Nam D Nguyen, AL Hong International Journal of Advanced Computer Science and Applications 11 (12), 2020 | 6 | 2020 |
| Modeling and verifying imprecise requirements of systems using Event-B HA Le, LD Thi, NT Truong Knowledge and Systems Engineering: Proceedings of the Fifth International …, 2014 | 5 | 2014 |
| Spatial prediction of fluvial flood in high-frequency tropical cyclone area using TensorFlow 1D-convolution neural networks and geospatial data NG Trong, PN Quang, NV Cuong, HA Le, HL Nguyen, D Tien Bui Remote Sensing 15 (22), 5429, 2023 | 4 | 2023 |
| Formal Analysis of Database Trigger Systems Using Event-B AH Le, T Van Khanh, TN Thuan International Journal of Software Innovation (IJSI) 9 (4), 158-173, 2021 | 4 | 2021 |
| Verifying eventuality properties of imprecise system requirements using Event-B HA Le, NT Truong, S Nakajima Proceedings of the 30th Annual ACM Symposium on Applied Computing, 1651-1653, 2015 | 4 | 2015 |
| Formal modeling and verification of context-aware systems using event-b HA Le, NT Truong Context-Aware Systems and Applications: Second International Conference …, 2014 | 4 | 2014 |
| Land subsidence susceptibility mapping using machine learning in the Google Earth Engine platform VA Tran, TD Khuc, TK Ha, HH Tran, TN Le, TTH Pham, D Nguyen, HA Le, ... International conference on intelligence of things, 55-64, 2023 | 3 | 2023 |
| Analyzing energy leaks of android applications using event-b HA Le Mobile Networks and Applications 26 (3), 1329-1338, 2021 | 3 | 2021 |
| jFAT: An automation framework for web application testing HP Nguyen, HA Le, NT Truong Context-Aware Systems and Applications, and Nature of Computation and …, 2019 | 3 | 2019 |
| Generation of power state machine for android devices AT Bui, HA Le, NT Truong Context-Aware Systems and Applications, and Nature of Computation and …, 2018 | 3 | 2018 |
| Formal analysis of imprecise system requirements with Event-B HA Le, S Nakajima, NT Truong SpringerPlus 5 (1), 1000, 2016 | 3 | 2016 |
| Modeling and verifying DML triggers using Event-B HA Le, NT Truong Intelligent Information and Database Systems: 5th Asian Conference, ACIIDS …, 2013 | 3 | 2013 |
| An approach to analyzing execution preservation in java program refactoring TH Dao, HA Le, NT Truong Context-Aware Systems and Applications: 5th International Conference, ICCASA …, 2017 | 2 | 2017 |
| A context-aware traffic engineering model for software-defined networks PT Nguyen, HA Le, T Zinner Nature of Computation and Communication: International Conference, ICTCC …, 2015 | 2 | 2015 |
| Integration of Mobile and Meb GIS Technologies to Promote Smart and Sustainable Tourism in Vietnam MD Nguyen, XB To, HA Le Inżynieria Mineralna, 2023 | 1 | 2023 |
