FESK.COMYour global study desk
Email us
Home › Scholar › Dang Duy Bui
COMPILEDopen profilenot managed by this scholar
D

Dang Duy Bui

Researcher Profile 6/10
Vietnam National University Ho Chi Minh City · Transport Engineering
10 publications · 32 citations · h-index 3
This is my profile

Information

Featured publications

Graphical Animations of the Suzuki-Kasami Distributed Mutual Exclusion Protocol9 citations
· 2019 · DOI
Graphical Animations of the Suzuki-Kasami Distributed Mutual Exclusion Protocol8 citations
Proceedings · 2019 · DOI
Better state pictures facilitating state machine characteristic conjecture7 citations
Multimedia Tools and Applications · 2021 · DOI
Lemma Weakening for State Machine Invariant Proofs3 citations
· 2020 · DOI
Formal Specification and Model Checking of an Autonomous Vehicle Merging Protocol3 citations
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 citations
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

About the field of Transport Engineering

639researchers 6,511publications 62,847citations 3.0average h-index

Common research topics in this field:

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

Institutions with the most researchers in this field:

University of Transport and Communications · 64 Vietnam National University Ho Chi Minh City · 63 Hanoi University of Science and Technology · 37 Ho Chi Minh City University of Transport · 36 Vietnam Maritime University · 33

These figures count profiles currently in this directory, not nationwide statistics.

Same institution — Vietnam National University Ho Chi Minh City

T
Thi-Hong Trinh
Physics
N
Nhi-Thao Tran
Information Technology
X
Xuan-Quang Nguyen
Information Technology
T
Thuy-Chung Kieu-Le
Agriculture
T
Thanh Huy Nguyen
Business Administration
T
Tuan Le
Chemistry

Same field Transport Engineering

N
Nguyen Tan Huynh
Industrial University of H
N
Nguyen Cong Khai
Can Tho University
N
Nguyen Cam Van
Hanoi University of Scienc
P
Phuc Dao Xuan
Hanoi Open University
X
Xuan Bo Tran
Hanoi University of Scienc
P
Phạm Thị Lan Anh
University of Transport an
Verify at: ORCID 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.
Dang Duy BuiVietnam National University Ho Chi Minh City
Claim
Original profile stored athocthuat.vn— two pages display the same database, verification syncs everywhere.