Thanh-Tung Tran

ORCID

Publication Activity (10 Years)

Years Active: 2014-2023
Publications (10 Years): 7

Top Venues

CoRR

ACM Trans. Comput. Log.

SoICT

FSTTCS

University of Bordeaux, France (PHD)

Education History

University of Bordeaux, France

PHD

Publications

Minh-Quan Le, Hai-Duong Le, Anh Vu Dinh-Duc, Thanh-Tung Tran
IU-TransCert: A Blockchain-Based System for Academic Credentials with Auditability. SoICT (2023)
Nguyen Ngoc Tram Anh, Thanh-Tung Tran
Data Augmentation Methods for Semantic Similarity Detection in Vietnamese Questionnaire. RIVF (2022)
Thanh-Tung Tran, Hai-Duong Le
IU-SmartCert: A Blockchain-Based System for Academic Credentials with Selective Disclosure. FDSE (CCIS Volume) (2021)
Thi Phuoc Van Nguyen, Thanh-Tung Tran
Microwave Doppler Radar Sensing System for Vital Sign Detection: From Evaluated Accuracy Models to the Intelligent System. ICDAR@ICMR (2020)
Frédéric Herbreteau, B. Srivathsan, Thanh-Tung Tran, Igor Walukiewicz
Why Liveness for Timed Automata Is Hard, and What We Can Do About It. ACM Trans. Comput. Log. 21 (3) (2020)
Tso-Liang Teng, Cho-Chung Liang, Thanh-Tung Tran
Development and validation of a finite element model for road safety barrier impact tests. Simul. 92 (6) (2016)
Frédéric Herbreteau, B. Srivathsan, Thanh-Tung Tran, Igor Walukiewicz
Why Liveness for Timed Automata Is Hard, and What We Can Do About It. FSTTCS (2016)
Frédéric Herbreteau, Thanh-Tung Tran
Improving Search Order for Reachability Testing in Timed Automata. FORMATS (2015)
Frédéric Herbreteau, Thanh-Tung Tran
Improving search order for reachability testing in timed automata. CoRR (2015)
Aakash Deshpande, Frédéric Herbreteau, B. Srivathsan, Thanh-Tung Tran, Igor Walukiewicz
Fast detection of cycles in timed automata. CoRR (2014)

Thanh-Tung Tran.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Thanh-Tung Tran