FESK.COMYour global study desk
Email us
Home › Scholar › Ninh Thuan Truong
COMPILEDopen profilenot managed by this scholar
N

Ninh Thuan Truong

Researcher Profile 5/10
Vietnam National University, Hanoi · Information Technology
25 publications · 35 citations · h-index 3
This is my profile

Information

Featured publications

Verification of UML Model Elements Using B6 citations
HAL (Le Centre pour la Communication Scientifique Directe) · 2006
Modeling and Verifying WS-CDL Using Event-B5 citations
Lecture notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering · 2013 · DOI
Formal Modeling and Verification of Context-Aware Systems using Event-B3 citations
EAI Endorsed Transactions on Context-aware Systems and Applications · 2014 · DOI
Modeling and Verifying Imprecise Requirements of Systems Using Event-B3 citations
Advances in intelligent systems and computing · 2013 · DOI
Formal analysis of imprecise system requirements with Event-B3 citations
SpringerPlus · 2016 · DOI
Validation des propriétés d'un scénario UML/OCL à partir de sa dérivation en B3 citations
HAL (Le Centre pour la Communication Scientifique Directe) · 2003
Validation of UML static diagrams using B2 citations
HAL (Le Centre pour la Communication Scientifique Directe) · 2005
Modeling and Verifying DML Triggers Using Event-B2 citations
Lecture notes in computer science · 2013 · DOI
An Approach to Analyzing Execution Preservation in Java Program Refactoring2 citations
Lecture notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering · 2017 · DOI
Test of object-based specifications using B notations1 citations
HAL (Le Centre pour la Communication Scientifique Directe) · 2005

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, Hanoi

T
Tam Phan Thi Thanh
Business Administration
H
Huong Thu Vu
Biology
D
Dinh-Trinh Tran
Chemistry
N
Nhat-Thuy-Giang Le
Biology
N
Nguyen Khanh Linh
Economics
L
Lien Thi Khanh Nguyen
Medicine and Pharmacy

Same field Information Technology

K
Khue Doan
Dalat University
B
Binh T. Nguyen
Ho Chi Minh City Universit
N
Nhu-Thanh Nguyen
FPT University
T
Tran-Vu Pham
Ho Chi Minh City Universit
M
Minh-Khoi Le-Nguyen
Vietnam National Universit
K
Ky Minh Nguyen
Hanoi Medical University
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.
Ninh Thuan TruongVietnam National University, Hanoi
Claim
Original profile stored athocthuat.vn— two pages display the same database, verification syncs everywhere.