Thanh-Tung Tran

16 papers Journal 6Unranked 9
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
2025 J jnl
Formal Reasoning for Intelligent QA Systems: A Case Study in the Educational Domain.
CoRR
Tuan Bui, An Nguyen, Phat Thai, Minh Hua, Ngan Pham L. N., Ngan Pham T. B., Dung Le, Long Nguyen, Thanh-Tung Tran, Thang Bui, Tho Quan
2025 — conf
IUFlowGen: An AI System for Converting Procedural Texts into Flowcharts.
MIWAI (2)
Nhat-Khiem Nguyen, Thanh-Tung Tran
2024 — conf
IU-VecCert: A Scalable Credentials Issuance Protocol Using Non-interactive Vector Commitment Scheme.
FDSE (1)
Quang-Dieu Nguyen, Thanh-Tung Tran
2023 — conf
IU-TransCert: A Blockchain-Based System for Academic Credentials with Auditability.
SoICT
Minh-Quan Le, Hai-Duong Le, Anh-Vu Dinh-Duc, Thanh-Tung Tran
2022 — conf
Data Augmentation Methods for Semantic Similarity Detection in Vietnamese Questionnaire.
RIVF
Nguyen Ngoc Tram Anh, Thanh-Tung Tran
2021 — conf
IU-SmartCert: A Blockchain-Based System for Academic Credentials with Selective Disclosure.
FDSE (CCIS Volume)
Thanh-Tung Tran, Hai-Duong Le
2020 — conf
Microwave Doppler Radar Sensing System for Vital Sign Detection: From Evaluated Accuracy Models to the Intelligent System.
ICDAR@ICMR
Thi Phuoc van Nguyen, Thanh-Tung Tran
2020 J jnl
Why Liveness for Timed Automata Is Hard, and What We Can Do About It.
ACM Trans. Comput. Log.
Frédéric Herbreteau, B. Srivathsan, Thanh-Tung Tran, Igor Walukiewicz
2016 J jnl
Development and validation of a finite element model for road safety barrier impact tests.
Simul.
Tso-Liang Teng, Cho-Chung Liang, Thanh-Tung Tran
2016 — —
Verification of timed automata : reachability, liveness and modelling. (Vérification d'automates temporisés : sûreté, vivacité et modélisation).
Thanh-Tung Tran
2016 — conf
Why Liveness for Timed Automata Is Hard, and What We Can Do About It.
FSTTCS
Frédéric Herbreteau, B. Srivathsan, Thanh-Tung Tran, Igor Walukiewicz
2015 — conf
Improving Search Order for Reachability Testing in Timed Automata.
FORMATS
Frédéric Herbreteau, Thanh-Tung Tran
2015 J jnl
Improving search order for reachability testing in timed automata.
CoRR
Frédéric Herbreteau, Thanh-Tung Tran
2014 J jnl
Fast detection of cycles in timed automata.
CoRR
Aakash Deshpande, Frédéric Herbreteau, B. Srivathsan, Thanh-Tung Tran, Igor Walukiewicz