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 | 59 | 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 | 9 | 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 | 7 | 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 |
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 |
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 | 3 | 2021 |
Analyzing energy leaks of android applications using event-b HA Le Mobile Networks and Applications 26 (3), 1329-1338, 2021 | 3 | 2021 |
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 |
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 | 3 | 2015 |
Modeling and verifying DML triggers using Event-B HA Le, NT Truong Intelligent Information and Database Systems: 5th Asian Conference, ACIIDS …, 2013 | 3 | 2013 |
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 | 2 | 2019 |
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 |
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 | 1 | 2023 |
Strategy in Dispatching Trucks and Shovels with Different Capacity to Increase the Operating Efficiency in Cao Son Surface Coal Mine, Vietnam VH Pham, TC Tran, HA Le, TTH Le, VV Pham, AT Nguyen, THG Le Inżynieria Mineralna, 2021 | 1 | 2021 |
Finding Similar Artists from the Web of Data: A PageRank Based Semantic Similarity Metric PT Nguyen, HA Le Future Data and Security Engineering: Second International Conference, FDSE …, 2015 | 1 | 2015 |