N
Ninh Thuan Truong
Nhà nghiên cứu Hồ sơ 5/1025 công bố · 35 trích dẫn · h-index 3
Đã sao chép liên kết
Thông tin
- 🏛️Nơi công tác: Đạ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
Công bố tiêu biểu
Verification of UML Model Elements Using B6 trích dẫn
HAL (Le Centre pour la Communication Scientifique Directe) · 2006
HAL (Le Centre pour la Communication Scientifique Directe) · 2006
Modeling and Verifying WS-CDL Using Event-B5 trích dẫn
Lecture notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering · 2013 · DOI
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 trích dẫn
EAI Endorsed Transactions on Context-aware Systems and Applications · 2014 · DOI
EAI Endorsed Transactions on Context-aware Systems and Applications · 2014 · DOI
Modeling and Verifying Imprecise Requirements of Systems Using Event-B3 trích dẫn
Advances in intelligent systems and computing · 2013 · DOI
Advances in intelligent systems and computing · 2013 · DOI
Validation des propriétés d'un scénario UML/OCL à partir de sa dérivation en B3 trích dẫn
HAL (Le Centre pour la Communication Scientifique Directe) · 2003
HAL (Le Centre pour la Communication Scientifique Directe) · 2003
Validation of UML static diagrams using B2 trích dẫn
HAL (Le Centre pour la Communication Scientifique Directe) · 2005
HAL (Le Centre pour la Communication Scientifique Directe) · 2005
Modeling and Verifying DML Triggers Using Event-B2 trích dẫn
Lecture notes in computer science · 2013 · DOI
Lecture notes in computer science · 2013 · DOI
An Approach to Analyzing Execution Preservation in Java Program Refactoring2 trích dẫn
Lecture notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering · 2017 · DOI
Lecture notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering · 2017 · DOI
Test of object-based specifications using B notations1 trích dẫn
HAL (Le Centre pour la Communication Scientifique Directe) · 2005
HAL (Le Centre pour la Communication Scientifique Directe) · 2005
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:
Đại học Quốc gia TP.HCM · 501
Đại học Bách khoa Hà Nội · 203
Trường Đại học FPT · 168
Đại học Quốc gia Hà Nội · 91
Trường Đại học Cần Thơ · 77
Các con số trên đếm trên hồ sơ hiện có của danh bạ này, không phải số liệu toàn quốc.
Cùng đơn vị — Đại học Quốc gia Hà Nội
Cùng ngành Công nghệ Thông tin
Danh sách công bố phía trên được tổng hợp từ cơ sở dữ liệu học thuật mở OpenAlex (giấy phép CC0). Đối chiếu hồ sơ gốc trên OpenAlex ↗
Góp ý / Nhận hồ sơ này
Ninh Thuan TruongĐại học Quốc gia Hà Nội
Nhận hồ sơ
Hồ sơ gốc lưu tạihocthuat.vn— hai trang hiển thị cùng một cơ sở dữ liệu, xác minh ở đâu cũng đồng bộ.