FESK.COMYour global study desk
Email us
Home › Scholar › Huu Hai Nguyen
COMPILEDopen profilenot managed by this scholar
H

Huu Hai Nguyen

Researcher Profile 5/10
Vietnam National University of Agriculture · Information Technology
21 publications · 920 citations · h-index 14
This is my profile

Information

An h-index of 14 places this researcher in Information Technology, within the top 5% of 2,378 profiles in this field in our directory.

Featured publications

Automated verification of shape, size and bag properties via user-defined predicates in separation logic133 citations
Science of Computer Programming · 2010 · DOI
Automated Verification of Shape and Size Properties Via Separation Logic128 citations
Lecture notes in computer science · 2007 · DOI
Deciding Boolean Algebra with Presburger Arithmetic76 citations
Journal of Automated Reasoning · 2006 · DOI
Detecting and eliminating memory leaks using cyclic memory allocation68 citations
· 2007 · DOI
Memory Usage Verification for OO Programs64 citations
Lecture notes in computer science · 2005 · DOI
Enhancing modular OO verification with separation logic63 citations
· 2008 · DOI
An Algorithm for Deciding BAPA: Boolean Algebra with Presburger Arithmetic61 citations
Lecture notes in computer science · 2005 · DOI
Enhancing Program Verification with Lemmas59 citations
Lecture notes in computer science · 2008 · DOI
Analysing memory resource bounds for low-level programs58 citations
· 2008 · DOI
Emerging priorities for HIV service delivery55 citations
PLoS Medicine · 2020 · DOI

About the field of Information Technology

2,378researchers 36,643publications 398,190citations 3.7average h-index

Common research topics in this field:

Topic ModelingNatural Language Processing TechniquesAdvanced Neural Network ApplicationsNetwork Security and Intrusion DetectionMultimodal Machine Learning ApplicationsAdvanced Image and Video Retrieval Techniques

Institutions with the most researchers in this field:

Vietnam National University Ho Chi Minh City · 501 Hanoi University of Science and Technology · 203 FPT University · 168 Vietnam National University, Hanoi · 91 Can Tho University · 77

These figures count profiles currently in this directory, not nationwide statistics.

Same institution — Vietnam National University of Agriculture

D
Dang Ngoc Danh
Automation
M
Mau Dung Nguyen
Business Administration
G
Giang Pham Thi Huong
Medicine and Pharmacy
V
Vilaska Nguyen
Medicine and Pharmacy
N
Ngo Minh Hai
Finance and Banking
N
Nguyen Huu Nam
Biology

Same field Information Technology

B
Bui Doan Thang
Hanoi University of Scienc
T
Thanh Cong Truong
University of Finance - Ma
T
The Van Le
Vinmec International Hospi
H
Hoang-Dieu Vu
Phenikaa University
K
Kien Le
FPT University
M
Mai Nguyen Thi Bich
Verify at: Find works on Google Scholar ↗ Search Google ↗
The publication list above is compiled from the open academic database OpenAlex (CC0 licence). Compare with the source record on OpenAlex ↗

Suggest / Claim this profile

  
Profile aggregated from public sources. We respect scholars' rights to edit and remove information — all requests are processed promptly.
Huu Hai NguyenVietnam National University of Agriculture
Claim
Original profile stored athocthuat.vn— two pages display the same database, verification syncs everywhere.