Thang H. Bui

22 papers B 3C 1Journal 5Unranked 13
YearRankTypeTitle / Venue / Authors
2025 — conf
Bridging LLMs and Symbolic Reasoning in Educational QA Systems: Insights from the XAI Challenge at IJCNN 2025.
ITADATA
Long S. T. Nguyen, Khang H. N. Vo, Thu H. A. Nguyen, Tuan C. Bui, Duc Q. Nguyen, Thanh-Tung Tran, Anh D. Nguyen, Minh L. Nguyen, Fabien Baldacci, Thang H. Bui, Emanuel Di Nardo, Angelo Ciaramella, Son H. Le, Ihsan Ullah, Lorenzo Di Rocco, Tho T. Quan
2025 J jnl
Bridging LLMs and Symbolic Reasoning in Educational QA Systems: Insights from the XAI Challenge at IJCNN 2025.
CoRR
Long S. T. Nguyen, Khang H. N. Vo, Thu H. A. Nguyen, Tuan C. Bui, Duc Q. Nguyen, Thanh-Tung Tran, Anh D. Nguyen, Minh L. Nguyen, Fabien Baldacci, Thang H. Bui, Emanuel Di Nardo, Angelo Ciaramella, Son H. Le, Ihsan Ullah, Lorenzo Di Rocco, Tho T. Quan
2022 J jnl
Optimized fuzzy clustering in wireless sensor networks using improved squirrel search algorithm.
Fuzzy Sets Syst.
Kim Khanh Le-Ngoc, Quan Thanh Tho, Thang H. Bui, Amir Masoud Rahmani, Mehdi Hosseinzadeh
2018 J jnl
One size does not fit all: logic-based clustering for on-the-fly web service composition and verification.
Int. J. Web Grid Serv.
Khai T. Huynh, Thang H. Bui, Quan Thanh Tho
2017 J jnl
A bitwise-based indexing and heuristic-driven on-the-fly approach for Web service composition and verification.
Vietnam. J. Comput. Sci.
Khai T. Huynh, Tho T. Quan, Thang H. Bui
2017 J jnl
A quality-controlled logic-based clustering approach for web service composition and verification.
Int. J. Web Inf. Syst.
Khai T. Huynh, Tho Thanh Quan, Thang H. Bui
2017 C conf
Probabilistic modelling for congestion detection on wireless sensor networks.
CoDIT
Khanh Le, Giang V. Trinh, Thang H. Bui, Tho Quan
2016 — conf
A Framework for Fast Congestion Detection in Wireless Sensor Networks Using Clustering and Petri-Net-based Verification.
PNSE @ Petri Nets
Khanh Le, Thang H. Bui, Tho Quan, Laure Petrucci
2016 — conf
An Application of Bitwise-Based Indexing to Web Service Composition and Verification.
ACOMP
Khai T. Huynh, Thang H. Bui, Tho Thanh Quan
2016 — conf
Heuristic-Guided Verification for Fast Congestion Detection on Wireless Sensor Networks.
FDSE
Khanh Le, Toan Nguyen, Thanh Cao, Thang H. Bui, Tho Quan
2016 — conf
Smaller to Sharper: Efficient Web Service Composition and Verification Using On-the-fly Model Checking and Logic-Based Clustering.
ICCSA (4)
Khai T. Huynh, Tho Quan, Thang H. Bui
2016 — conf
WSCOVER: A Tool for Automatic Composition and Verification of Web Services Using Heuristic-Guided Model Checking and Logic-Based Clustering.
MIWAI
Khai T. Huynh, Thang H. Bui, Than-Tho Quan
2015 — conf
Component-Based Abstraction of Petri Net Models: An Application for Congestion Verification of Wireless Sensor Networks.
SoICT
Khanh Le, Thang H. Bui, Tho Quan, Laure Petrucci, Étienne André
2015 — conf
Web Service Composition Automation Based on Term Rewriting System.
ACOMP
Khai T. Huynh, Van T. T. Pham, Tho T. Quan, Thang H. Bui
2014 — conf
A Lightweight Formal Approach for Component Reuse.
KSE
Khai T. Huynh, Thang H. Bui, Tho T. Quan
2014 — conf
A Multiple Refinement Approach in Abstraction Model Checking.
CISIM
Phan T. H. Nguyen, Thang H. Bui
2013 — conf
Model Checking Control Flow Petri Nets Using PAT.
ICCSA (6)
Ho T. Dung, Thang H. Bui, Tho T. Quan
2010 B conf
COMBINE: A Tool on Combined Formal Methods for Bindingly Verification.
ATVA
An N. Nguyen, Tho T. Quan, Phung H. Nguyen, Thang H. Bui
2010 — conf
MAFSE: A Model-Based Framework for Software Verification.
SSIRI (Companion)
Tho T. Quan, Duc L. N. Hoang, B. Tam T. Nguyen, An N. Nguyen, Quan D. Tran, Phung H. Nguyen, Thang H. Bui, Anh T. Do, Linh V. Huynh, Nam T. Doan, Nguyen T. Huynh, Thien D. Nguyen, Binh T. T. Nguyen, Vu H. Nguyen
2009 B conf
Formal Verification Based on Guided Random Walks.
IFM
Thang H. Bui, Albert Nymeyer
2009 B conf
Heuristic Sensitivity in Guided Random-Walk Based Model Checking.
SEFM
Thang H. Bui, Albert Nymeyer
2008 — conf
The spin on guided random search in verification.
ICST Workshops
Thang H. Bui, Albert Nymeyer