Personal information

Other IDs

Scopus Author ID: 55613720900

Activities

Collapse all

Employment (1)

Hanoi University of Mining and Geology: Hanoi, 10000, VN

Head (Computer Science)
Employment
Source: Self-asserted source
Hong Anh Le

Works (24)

A Blockchain-Based Framework for Sustainable Supply Chain Management of the Mining Industry in Vietnam

2024 | Book chapter
DOI: 10.1007/978-3-031-75596-5_10
Contributors: Thu Hang Nguyen; Nguyen Trung Tuan; Hong Anh Le
Source: check_circle
Crossref

Deep Learning Approach for Inundation Area Detection Using Sentinel Data

2023 | Book chapter
DOI: 10.1007/978-3-031-46749-3_12
Contributors: Giang Tran; Hoa T. Tran; Huong Tran; Long Hoang Nguyen; Hong Anh Le; Dung Nguyen
Source: check_circle
Crossref

Land Subsidence Susceptibility Mapping Using Machine Learning in the Google Earth Engine Platform

2023 | Book chapter
DOI: 10.1007/978-3-031-46749-3_6
Contributors: Van Anh Tran; Thanh Dong Khuc; Trung Khien Ha; Hong Hanh Tran; Thanh Nghi Le; Thi Thanh Hoa Pham; Dung Nguyen; Hong Anh Le; Quoc Dinh Nguyen
Source: check_circle
Crossref

Spatial Prediction of Fluvial Flood in High-Frequency Tropical Cyclone Area Using TensorFlow 1D-Convolution Neural Networks and Geospatial Data

Remote Sensing
2023-11-20 | Journal article
DOI: 10.3390/rs15225429
Contributors: Nguyen Gia Trong; Pham Ngoc Quang; Nguyen Van Cuong; Hong Anh Le; Hoang Long Nguyen; Dieu Tien Bui
Source: check_circle
Crossref
grade
Preferred source (of 2)‎

Analyzing Energy Leaks of Android Applications Using Event-B

Mobile Networks and Applications
2021 | Journal article
DOI: 10.1007/s11036-021-01764-y
EID:

2-s2.0-85105504035

Part of ISSN: 15728153 1383469X
Contributors: Le, H.A.
Source: Self-asserted source
Hong Anh Le via Scopus - Elsevier
grade
Preferred source (of 2)‎

Design and Implementation of a Real-Time Web Service for Monitoring Soil Moisture and Landslide in Lai Chau Province, Viet Nam

Lecture Notes of the Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering, LNICST
2021 | Book
DOI: 10.1007/978-3-030-67101-3_11
EID:

2-s2.0-85101537671

Part of ISSN: 1867822X 18678211
Contributors: Le, H.A.; Dinh, B.N.; Nguyen, D.
Source: Self-asserted source
Hong Anh Le via Scopus - Elsevier

Trigger2B: A Tool Generating Event-B Models from Database Triggers

Lecture Notes of the Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering, LNICST
2021 | Book
DOI: 10.1007/978-3-030-67101-3_8
EID:

2-s2.0-85101561414

Part of ISSN: 1867822X 18678211
Contributors: Le, H.A.
Source: Self-asserted source
Hong Anh Le via Scopus - Elsevier

Formal Analysis of Database Trigger Systems Using Event-B

International Journal of Software Innovation
2021-10 | Journal article
DOI: 10.4018/ijsi.20211001.oa1
Part of ISSN: 2166-7160
Part of ISSN: 2166-7179
Source: Self-asserted source
Hong Anh Le
grade
Preferred source (of 2)‎

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

International Journal of Advanced Computer Science and Applications
2020 | Journal article
DOI: 10.14569/IJACSA.2020.0111289
EID:

2-s2.0-85101455607

Part of ISSN: 21565570 2158107X
Contributors: Nguyen, D.; Le, H.A.
Source: Self-asserted source
Hong Anh Le via Scopus - Elsevier

An Approach to Modeling and Estimating Power Consumption of Mobile Applications

Mobile Networks and Applications
2019 | Journal article
DOI: 10.1007/s11036-018-1138-4
EID:

2-s2.0-85055968203

Part of ISSN: 15728153 1383469X
Contributors: Le, H.A.; Bui, A.T.; Truong, N.-T.
Source: Self-asserted source
Hong Anh Le via Scopus - Elsevier

jFAT: An automation framework for web application testing

Lecture Notes of the Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering, LNICST
2019 | Book
DOI: 10.1007/978-3-030-06152-4_5
EID:

2-s2.0-85059686934

Part of ISSN: 18678211
Contributors: Nguyen, H.P.; Le, H.A.; Truong, N.T.
Source: Self-asserted source
Hong Anh Le via Scopus - Elsevier

A model-based method for modeling and verifying event-based aspect-oriented applications

Advances in Intelligent Systems and Computing
2018 | Book
DOI: 10.1007/978-3-319-70019-9_23
EID:

2-s2.0-85037870084

Part of ISSN: 21945357
Contributors: Le, H.A.; Truong, N.T.; Nanthaamornphong, A.
Source: Self-asserted source
Hong Anh Le via Scopus - Elsevier

Generation of Power State Machine for Android Devices

Lecture Notes of the Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering, LNICST
2018 | Book
DOI: 10.1007/978-3-319-77818-1_5
EID:

2-s2.0-85044451058

Part of ISSN: 18678211
Contributors: Bui, A.-T.; Le, H.-A.; Truong, N.-T.
Source: Self-asserted source
Hong Anh Le via Scopus - Elsevier

A Formal Approach to Checking Consistency in Software Refactoring

Mobile Networks and Applications
2017 | Journal article
DOI: 10.1007/s11036-017-0807-z
EID:

2-s2.0-85010723111

Part of ISSN: 15728153 1383469X
Contributors: Le, H.A.; Dao, T.-H.; Truong, N.-T.
Source: Self-asserted source
Hong Anh Le via Scopus - Elsevier

A new method to analyze graphical user interfaces of android applications

Lecture Notes of the Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering, LNICST
2017 | Book
DOI: 10.1007/978-3-319-56357-2_12
EID:

2-s2.0-85018710674

Part of ISSN: 18678211
Contributors: Le, H.A.; Truong, N.T.
Source: Self-asserted source
Hong Anh Le via Scopus - Elsevier

An approach to analyzing execution preservation in java program refactoring

Lecture Notes of the Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering, LNICST
2017 | Book
DOI: 10.1007/978-3-319-56357-2_11
EID:

2-s2.0-85018664603

Part of ISSN: 18678211
Contributors: Dao, T.-H.; Le, H.A.; Truong, N.T.
Source: Self-asserted source
Hong Anh Le via Scopus - Elsevier

Formal analysis of imprecise system requirements with Event-B

SpringerPlus
2016 | Journal article
DOI: 10.1186/s40064-016-2657-8
EID:

2-s2.0-84978032430

Part of ISSN: 21931801
Contributors: Le, H.A.; Nakajima, S.; Truong, N.T.
Source: Self-asserted source
Hong Anh Le via Scopus - Elsevier

A context-aware traffic engineering model for software-defined networks

Lecture Notes of the Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering, LNICST
2015 | Book
DOI: 10.1007/978-3-319-15392-6_8
EID:

2-s2.0-84922181688

Part of ISSN: 18678211
Contributors: Nguyen, P.T.; Le, H.A.; Zinner, T.
Source: Self-asserted source
Hong Anh Le via Scopus - Elsevier

Finding similar artists from the web of data: A pagerank based semantic similarity metric

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2015 | Book
DOI: 10.1007/978-3-319-26135-5_8
EID:

2-s2.0-84952023089

Part of ISSN: 16113349 03029743
Contributors: Nguyen, P.T.; Le, H.A.
Source: Self-asserted source
Hong Anh Le via Scopus - Elsevier

Verifying eventuality properties of imprecise system requirements using event-B

Proceedings of the ACM Symposium on Applied Computing
2015 | Conference paper
DOI: 10.1145/2695664.2696038
EID:

2-s2.0-84955454653
Contributors: Le, H.A.; Truong, N.T.; Nakajima, S.
Source: Self-asserted source
Hong Anh Le via Scopus - Elsevier

Formal modeling and verification of context-aware systems using event-B

Lecture Notes of the Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering, LNICST
2014 | Book
DOI: 10.1007/978-3-319-05939-6_25
EID:

2-s2.0-84943391720

Part of ISSN: 18678211
Contributors: Le, H.A.; Truong, N.T.
Source: Self-asserted source
Hong Anh Le via Scopus - Elsevier

Modeling and verifying imprecise requirements of systems using Event-B

Advances in Intelligent Systems and Computing
2014 | Book
DOI: 10.1007/978-3-319-02741-8_27
EID:

2-s2.0-84894747340

Part of ISSN: 21945357
Contributors: Le, H.A.; Thi, L.D.; Truong, N.T.
Source: Self-asserted source
Hong Anh Le via Scopus - Elsevier

Modeling and verifying DML triggers using Event-B

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2013 | Book
DOI: 10.1007/978-3-642-36543-0_55
EID:

2-s2.0-84874608556

Part of ISSN: 03029743 16113349
Contributors: Le, H.A.; Truong, N.T.
Source: Self-asserted source
Hong Anh Le via Scopus - Elsevier

Modeling and verifying WS-CDL using event-B

Lecture Notes of the Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering
2013 | Book
DOI: 10.1007/978-3-642-36642-0_29
EID:

2-s2.0-84874806865

Part of ISSN: 18678211
Contributors: Le, H.A.; Truong, N.T.
Source: Self-asserted source
Hong Anh Le via Scopus - Elsevier
How many people are using ORCID?