Follow
Hong Anh Le
Hong Anh Le
Hanoi University of Mining and Geology
Verified email at humg.edu.vn
Title
Cited by
Cited by
Year
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
592020
Modeling and verifying ws-cdl using event-b
HA Le, NT Truong
Context-Aware Systems and Applications: First International Conference …, 2013
122013
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
92019
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
72021
A formal approach to checking consistency in software refactoring
HA Le, TH Dao, NT Truong
Mobile networks and Applications 22, 356-366, 2017
72017
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
62020
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
52014
Formal modeling and verification of context-aware systems using event-b
HA Le, NT Truong
Context-Aware Systems and Applications: Second International Conference …, 2014
42014
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
32021
Analyzing energy leaks of android applications using event-b
HA Le
Mobile Networks and Applications 26 (3), 1329-1338, 2021
32021
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
32018
Formal analysis of imprecise system requirements with Event-B
HA Le, S Nakajima, NT Truong
SpringerPlus 5 (1), 1000, 2016
32016
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
32015
Modeling and verifying DML triggers using Event-B
HA Le, NT Truong
Intelligent Information and Database Systems: 5th Asian Conference, ACIIDS …, 2013
32013
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
22019
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
22017
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
22015
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
12023
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
12021
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
12015
The system can't perform the operation now. Try again later.
Articles 1–20