Graphical Animations of the Suzuki-Kasami Distributed Mutual Exclusion Protocol. - Dang Duy Bui; Kazuhiro Ogata 001 (J. Vis. Lang. Comput., 2019)

Lemma Weakening for State Machine Invariant Proofs. - Duong Dinh Tran; Dang Duy Bui; Parth Gupta; Kazuhiro Ogata 001 (APSEC, 2020)

Graphical Animations of the NSLPK Authentication Protocol (S). - Thet Wai Mon; Dang Duy Bui; Duong Dinh Tran; Kazuhiro Ogata 001 (DMSVIVA, 2021)

Graphical Animations of the Lim-Jeong-Park-Lee Autonomous Vehicle Intersection Control Protocol (S). - Win Hlaing Hlaing Myint; Dang Duy Bui; Duong Dinh Tran; Kazuhiro Ogata 001 (DMSVIVA, 2021)

Formal Specification and Model Checking of an Autonomous Vehicle Merging Protocol. - Minxuan Liu; Dang Duy Bui; Duong Dinh Tran; Kazuhiro Ogata 001 (QRS Companion, 2021)

Simulation-Based Invariant Verification Technique for the OTS/CafeOBJ Method. - Duong Dinh Tran; Dang Duy Bui; Kazuhiro Ogata 001 (IEEE Access, 2021)

Graphical Animations of the NS(L)PK Authentication Protocols. - Thet Wai Mon; Dang Duy Bui; Duong Dinh Tran; Canh Minh Do; Kazuhiro Ogata 001 (J. Vis. Lang. Comput., 2021)

Graphical Animations of an Autonomous Vehicle Merging Protocol. - Minxuan Liu; Kazuhiro Ogata 001; Dang Duy Bui (DMSVIVA, 2022)

Integration of SMGA and Maude to Facilitate Characteristic Conjecture. - Dang Duy Bui; Duong Dinh Tran; Kazuhiro Ogata 001; Adrián Riesco 001 (DMSVIVA, 2022)

Graphical Animations of the Lim-Jeong-Park-Lee Autonomous Vehicle Intersection Control Protocol. - Dang Duy Bui; Win Hlaing Hlaing Myint; Duong Dinh Tran; Kazuhiro Ogata 001 (J. Vis. Lang. Comput., 2022)

Better state pictures facilitating state machine characteristic conjecture. - Dang Duy Bui; Kazuhiro Ogata 001 (Multim. Tools Appl., 2022)

Graphical Animations of an Autonomous Vehicle Merging Protocol. - Dang Duy Bui; Minxuan Liu; Duong Ding Tran; Kazuhiro Ogata 001 (J. Vis. Lang. Comput., 2023)

Integration of state machine graphical animation and Maude to facilitate characteristic conjecture: an approach to lemma discovery in theorem proving. - Dang Duy Bui; Duong Dinh Tran; Kazuhiro Ogata 001; Adrián Riesco 001 (Multim. Tools Appl., 2024)

An Interactive System For Visual Data Retrieval From Multimodal Input. - Tu Van Nguyen; Nghia Trung Duong; Nhan Thanh Pham; Thanh Xuan Luong; Dang Duy Bui (IUKM (1), 2025)