Bui Quang Huy

According to our database, Bui Quang Huy authored at least 5 papers between 2012 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

AlphaSpace: Enabling Robotic Actions through Semantic Tokenization and Symbolic Reasoning.

Alan Dao, Dinh Bach Vu, Bui Quang Huy

CoRR, March, 2025

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, March, 2025

2023

Invalidator: Automated Patch Correctness Assessment Via Semantic and Syntactic Reasoning.

Thanh Le-Cong, Duc-Minh Luong, Xuan-Bach Dinh Le, David Lo, Nhat-Hoa Tran, Bui Quang Huy, Quyet-Thang Huynh

IEEE Trans. Software Eng., June, 2023

2014

Rule-Based Verification Method of Requirements Ontology.

Dang Viet Dzung, Bui Quang Huy, Atsushi Ohnishi

IEICE Trans. Inf. Syst., 2014

2012

A Verification Method of the Correctness of Requirements Ontology.

Bui Quang Huy, Atsushi Ohnishi

Proceedings of the Knowledge-Based Software Engineering, 2012