Huu Hai Nguyen

Nhà nghiên cứu Hồ sơ 5/10

Học viện Nông nghiệp Việt Nam · Công nghệ Thông tin

21 công bố · 920 trích dẫn · h-index 14

Thông tin

🏛️Nơi công tác: Học viện Nông nghiệp Việt Nam
🔬Lĩnh vực: Công nghệ Thông tin
✍️Hồ sơ chưa đầy đủ — bổ sung thông tin

Chỉ số h-index 14 xếp học giả này vào lĩnh vực Công nghệ Thông tin, thuộc nhóm 5% dẫn đầu trong 2.378 hồ sơ cùng lĩnh vực của danh bạ này.

Công bố tiêu biểu

Automated verification of shape, size and bag properties via user-defined predicates in separation logic133 trích dẫn
Science of Computer Programming · 2010 · DOI

Automated Verification of Shape and Size Properties Via Separation Logic128 trích dẫn
Lecture notes in computer science · 2007 · DOI

Deciding Boolean Algebra with Presburger Arithmetic76 trích dẫn
Journal of Automated Reasoning · 2006 · DOI

Detecting and eliminating memory leaks using cyclic memory allocation68 trích dẫn
· 2007 · DOI

Memory Usage Verification for OO Programs64 trích dẫn
Lecture notes in computer science · 2005 · DOI

Enhancing modular OO verification with separation logic63 trích dẫn
· 2008 · DOI

An Algorithm for Deciding BAPA: Boolean Algebra with Presburger Arithmetic61 trích dẫn
Lecture notes in computer science · 2005 · DOI

Enhancing Program Verification with Lemmas59 trích dẫn
Lecture notes in computer science · 2008 · DOI

Analysing memory resource bounds for low-level programs58 trích dẫn
· 2008 · DOI

Emerging priorities for HIV service delivery55 trích dẫn
PLoS Medicine · 2020 · DOI

Về lĩnh vực Công nghệ Thông tin

2.378học giả

36.643công bố

398.190trích dẫn

3.7h-index trung bình

Hướng nghiên cứu phổ biến trong lĩnh vực:

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

Nơi có nhiều học giả lĩnh vực này nhất: