Anh-Hoang Truong

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

Trường Đại học Khoa học Tự nhiên, Đại học Quốc gia Hà Nội · Công nghệ Thông tin

19 công bố · 65 trích dẫn · h-index 5

Thông tin

🏛️Nơi công tác: Trường Đại học Khoa học Tự nhiên, Đại học Quốc gia Hà Nội
🔬Lĩnh vực: Công nghệ Thông tin
✍️Hồ sơ chưa đầy đủ — bổ sung thông tin

Chỉ số h-index 5 xếp học giả này vào lĩnh vực Công nghệ Thông tin, thuộc nhóm 25% 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

FixBag: A Fixpoint Calculator for Quantified Bag Constraints10 trích dẫn
Lecture notes in computer science · 2011 · DOI

USLTG: Test Case Automatic Generation by Transforming Use Cases10 trích dẫn
International Journal of Software Engineering and Knowledge Engineering · 2019 · DOI

Checking the Conformance between Models Based on Scenario Synchronization9 trích dẫn
Zenodo (CERN European Organization for Nuclear Research) · 2020 · DOI

A Fast Algorithm to Compute Heap Memory Bounds of Java Card Applets9 trích dẫn
· 2008 · DOI

A type system for finding upper resource bounds of multi-threaded programs with nested transactions6 trích dẫn
· 2012 · DOI

Calculating Statically Maximum Log Memory Used by Multi-threaded Transactional Programs4 trích dẫn
Lecture notes in computer science · 2016 · DOI

Verifying Implementation of UML Sequence Diagrams Using Java PathFinder4 trích dẫn
· 2010 · DOI

Checking Interface Interaction Protocols Using Aspect-Oriented Programming4 trích dẫn
· 2008 · DOI

A Type System for Counting Logs of Multi-threaded Nested Transactional Programs3 trích dẫn
Lecture notes in computer science · 2015 · DOI

A Compositional Type Systems for Finding Log Memory Bounds of Transactional Programs2 trích dẫn
· 2017 · 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: