Interoperability in Blockchain: A Survey – Kunpeng Ren, Nhut-Minh Ho, Dumitrel Loghin, Thanh-Toan Nguyen, Beng Chin Ooi, Quang Trung Ta, Feida Zhu – IEEE Transactions on Knowledge and Data Engineering (TKDE), 2023.

The Disruptions of 5G on Data-driven Technologies and Applications – Dumitrel Loghin, Shaofeng Cai, Gang Chen, Tien Tuan Anh Dinh, Feiyi Fan, Qian Lin, Janice Ng, Beng Chin Ooi, Xutao Sun, Quang-Trung Ta, Wei Wang, Xiaokui Xiao, Yang Yang, Meihui Zhang, Zhonghua Zhang – IEEE Transactions on Knowledge and Data Engineering (TKDE), 2020.

Automated Mutual Induction in Separation Logic – Quang-Trung Ta, Ton Chanh Le, Siau-Cheng Khoo, Wei-Ngan Chin – Journal of Formal Aspects of Computing (FAOC), 2019.

SMELS: Satisfiability Modulo Equality with Lazy Superposition – Christopher Lynch, Quang-Trung Ta, Duc-Khanh Tran – Journal of Automated Reasoning (JAR), 2013.

ARENA: Enhancing Abstract Refinement for Neural Network Verification – Yuyi Zhong, Quang-Trung Ta, Siau-Cheng Khoo – International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI), 2023.

Scalable and Modular Robustness Analysis of Deep Neural Networks – Yuyi Zhong, Quang-Trung Ta, Tianzuo Luo, Fanlong Zhang, Siau-Cheng Khoo – Asian Symposium on Programming Languages and Systems (APLAS), 2021.

Towards Systematic and Dynamic Task Allocation for Collaborative Parallel Fuzzing – Van-Thuan Pham, Manh-Dung Nguyen, Quang-Trung Ta, Toby Murray, Benjamin I.P. Rubinstein – International Conference on Automated Software Engineering (ASE) NIER Track, 2021.

Automated Repair of Heap-Manipulating Programs using Deductive Synthesis – Thanh-Toan Nguyen, Quang-Trung Ta, Ilya Sergey, Wei-Ngan Chin – International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI), 2021.

A Transactional Perspective on Execute-order-validate Blockchains – Pingcheng Ruan, Dumitrel Loghin, Quang-Trung Ta, Meihui Zhang, Gang Chen, Beng Chin Ooi – ACM SIGMOD International Conference on Management of Data (SIGMOD), 2020.

Automatic Program Repair Using Formal Verification and Expression Templates – Thanh-Toan Nguyen, Quang-Trung Ta, Wei-Ngan Chin – International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI), 2019.

Automated Lemma Synthesis in Symbolic-Heap Separation Logic – Quang-Trung Ta, Ton Chanh Le, Siau-Cheng Khoo, Wei-Ngan Chin – ACM SIGPLAN Symposium on Principles of Programming Languages (POPL), 2018.

Automated Mutual Explicit Induction Proof in Separation Logic – Quang-Trung Ta, Ton Chanh Le, Siau-Cheng Khoo, Wei-Ngan Chin – International Symposium on Formal Methods (FM), 2016.