Thanh-Toan Nguyen

Publication Activity (10 Years)

Years Active: 2017-2023
Publications (10 Years): 5

Top Topics

Tree Construction

Predicate Logic

Hypothesis Formation

Functional Language

Top Venues

IEEE Trans. Knowl. Data Eng.

Publications

Kunpeng Ren, Nhut-Minh Ho, Dumitrel Loghin, Thanh-Toan Nguyen, Beng Chin Ooi, Quang-Trung Ta, Feida Zhu
Interoperability in Blockchain: A Survey. IEEE Trans. Knowl. Data Eng. 35 (12) (2023)
Thanh-Toan Nguyen, Quang-Trung Ta, Ilya Sergey, Wei-Ngan Chin
Automated Repair of Heap-Manipulating Programs Using Deductive Synthesis. VMCAI (2021)
Thanh-Toan Nguyen, Quang-Trung Ta, Wei-Ngan Chin
Automatic Program Repair Using Formal Verification and Expression Templates. VMCAI (2019)
Mihaela Sighireanu, Juan Antonio Navarro Pérez, Andrey Rybalchenko, Nikos Gorogiannis, Radu Iosif, Andrew Reynolds, Cristina Serban, Jens Katelaan, Christoph Matheja, Thomas Noll, Florian Zuleger, Wei-Ngan Chin, Quang Loc Le, Quang-Trung Ta, Ton-Chanh Le, Thanh-Toan Nguyen, Siau-Cheng Khoo, Michal Cyprian, Adam Rogalewicz, Tomás Vojnar, Constantin Enea, Ondrej Lengál, Chong Gao, Zhilin Wu
SL-COMP: Competition of Solvers for Separation Logic. TACAS (3) (2019)
Xuan Bach Le, Thanh-Toan Nguyen, Wei-Ngan Chin, Aquinas Hobor
A Certified Decision Procedure for Tree Shares. ICFEM (2017)