NEWS
Print Your Certificate
The 2025 AD Scientific Index is here—explore updated university and researcher rankings!
New! Young University / Institution Rankings 2025
New! The 2025 Edition of the AD Scientific Index is now live!
New! Art & Humanities Rankings 2025
New! Social Sciences and Humanities Rankings 2025
"Exciting Update! The 2025 Edition of the AD Scientific Index is now live!
AD
Scientific Index 2025
Scientist Rankings
University Rankings
Subject Rankings
Country Rankings
login
Login
person_add
Register
insights
H-Index Rankings
insights
i10 Productivity Rankings
format_list_numbered
Citation Rankings
subject
University Subject Rankings
school
Young Universities
format_list_numbered
Top 100 Scientists
format_quote
Top 100 Institutions
format_quote
Compare & Choose
local_fire_department
Country Reports
Truong Ninh Thuan
Vietnam National University Hanoi - / Vietnam
Others
AD Scientific Index ID: 5737237
Registration, Add Profile,
Premium Membership
Print Your Certificate
Ranking &
Analysis
Job
Experiences (0)
Education
Information (0)
Published Books (0)
Book Chapters (0)
Articles (0)
Presentations (0)
Lessons (0)
Projects (0)
Congresses (0)
Editorship, Referee &
Scientific Board (0 )
Patents /
Designs (0)
Academic Grants
& Awards (0)
Artistic
Activities (0)
Certificate / Course
/ Trainings (0)
Association &
Society Memberships (0)
Contact, Office
& Social Media
person_outline
Truong Ninh Thuan's MOST POPULAR ARTICLES
1-)
An approach for the verification of UML models using B NT Truong, J Souquières Proceedings. 11th IEEE International Conference and Workshop on the …, 2004 162004
2-)
Analyzing RBAC security policy of implementation using AST TH Pham, NT Truong, VH Nguyen 2009 International Conference on Knowledge and Systems Engineering, 215-219, 2009 142009
3-)
Modeling and verifying ws-cdl using event-b HA Le, NT Truong Context-Aware Systems and Applications: First International Conference …, 2013 122013
4-)
Verification of behavioural elements of UML models using BNT Truong, J SouquieresProceedings of the 2005 ACM symposium on Applied computing, 1546-1552, 2005122005
5-)
A fast algorithm to compute heap memory bounds of Java Card appletsTH Pham, AH Truong, NT Truong, WN Chin2008 Sixth IEEE International Conference on Software Engineering and Formal …, 2008112008
ARTICLES
Add your articles
We use cookies to personalize our website and offer you a better experience. If you accept cookies, we can offer you special services.
Cookie Policy
Accept