A Verification Method of the Correctness of Requirements Ontology. - Bui Quang Huy; Atsushi Ohnishi (JCKBSE, 2012)

Rule-Based Verification Method of Requirements Ontology. - Dang Viet Dzung; Bui Quang Huy; Atsushi Ohnishi (IEICE Trans. Inf. Syst., 2014)

Invalidator: Automated Patch Correctness Assessment Via Semantic and Syntactic Reasoning. - Thanh Le-Cong; Duc-Minh Luong; Xuan-Bach Dinh Le 001; David Lo 001; Nhat-Hoa Tran; Bui Quang Huy; Quyet-Thang Huynh (IEEE Trans. Software Eng., 2023)

PoseLess: Depth-Free Vision-to-Joint Control via Direct Image Mapping with VLM. - Alan Dao; Dinh Bach Vu; Tuan Le Duc Anh; Bui Quang Huy (CoRR, 2025)

AlphaSpace: Enabling Robotic Actions through Semantic Tokenization and Symbolic Reasoning. - Alan Dao; Dinh Bach Vu; Bui Quang Huy (CoRR, 2025)