Trang chủ › Học giả › Dang Duy Bui

Dang Duy Bui

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

Đại học Quốc gia TP.HCM · Giao thông Vận tải

10 công bố · 32 trích dẫn · h-index 3

Đây là hồ sơ của tôi

Thông tin

🏛️Nơi công tác: Đại học Quốc gia TP.HCM
🔬Lĩnh vực: Giao thông Vận tải
🆔ORCID: 0000-0002-2700-1762
✍️Hồ sơ chưa đầy đủ — bổ sung thông tin

Công bố tiêu biểu

Graphical Animations of the Suzuki-Kasami Distributed Mutual Exclusion Protocol9 trích dẫn
· 2019 · DOI

Graphical Animations of the Suzuki-Kasami Distributed Mutual Exclusion Protocol8 trích dẫn
Proceedings · 2019 · DOI

Better state pictures facilitating state machine characteristic conjecture7 trích dẫn
Multimedia Tools and Applications · 2021 · DOI

Lemma Weakening for State Machine Invariant Proofs3 trích dẫn
· 2020 · DOI

Formal Specification and Model Checking of an Autonomous Vehicle Merging Protocol3 trích dẫn
2021 IEEE 21st International Conference on Software Quality, Reliability and Security Companion (QRS-C) · 2021 · DOI

Simulation-Based Invariant Verification Technique for the OTS/CafeOBJ Method2 trích dẫn
IEEE Access · 2021 · DOI

Integration of state machine graphical animation and Maude to facilitate characteristic conjecture: an approach to lemma discovery in theorem proving
Multimedia Tools and Applications · 2023 · DOI

Graphical Animations of an Autonomous Vehicle Merging Protocol
· 2023 · DOI

Integration of SMGA and Maude to Facilitate Characteristic Conjecture
Proceedings · 2022 · DOI

Graphical Animations of an Autonomous Vehicle Merging Protocol
Proceedings · 2022 · DOI

Về lĩnh vực Giao thông Vận tải

639học giả

6.511công bố

62.847trích dẫn

3.0h-index trung bình

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

Vehicle Dynamics and Control SystemsTransportation Planning and OptimizationTraffic control and managementVehicle emissions and performanceTraffic and Road SafetyUrban Transport and Accessibility

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