| 2026 |
J |
jnl |
Proc. VLDB Endow.
Shizheng Hou, Wenqi Pei, Nuo Chen, Quang-Trung Ta, Peng Lu, Beng Chin Ooi
|
| 2024 |
A* |
conf |
ICDE
Hexiang Pan, Quang-Trung Ta, Meihui Zhang, Zhanhao Zhao, Yeow Meng Chee, Gang Chen, Beng Chin Ooi
|
| 2023 |
B |
conf |
VMCAI
Yuyi Zhong, Quang-Trung Ta, Siau-Cheng Khoo
|
| 2023 |
J |
jnl |
CoRR
Hexiang Pan, Quang-Trung Ta, Meihui Zhang, Yeow Meng Chee, Gang Chen, Beng Chin Ooi
|
| 2023 |
J |
jnl |
IEEE Trans. Knowl. Data Eng.
Kunpeng Ren, Nhut-Minh Ho, Dumitrel Loghin, Thanh-Toan Nguyen, Beng Chin Ooi, Quang-Trung Ta, Feida Zhu
|
| 2022 |
— |
conf |
SPLASH Companion
Yuyi Zhong, Quang-Trung Ta, Siau-Cheng Khoo
|
| 2021 |
B |
conf |
VMCAI
Thanh-Toan Nguyen, Quang-Trung Ta, Ilya Sergey, Wei-Ngan Chin
|
| 2021 |
B |
conf |
APLAS
Yuyi Zhong, Quang-Trung Ta, Tianzuo Luo, Fanlong Zhang, Siau-Cheng Khoo
|
| 2021 |
J |
jnl |
CoRR
Yuyi Zhong, Quang-Trung Ta, Tianzuo Luo, Fanlong Zhang, Siau-Cheng Khoo
|
| 2021 |
A* |
conf |
ASE
Van-Thuan Pham, Manh-Dung Nguyen, Quang-Trung Ta, Toby Murray, Benjamin I. P. Rubinstein
|
| 2020 |
— |
conf |
SIGMOD Conference
Pingcheng Ruan, Dumitrel Loghin, Quang-Trung Ta, Meihui Zhang, Gang Chen, Beng Chin Ooi
|
| 2020 |
J |
jnl |
CoRR
Pingcheng Ruan, Dumitrel Loghin, Quang-Trung Ta, Meihui Zhang, Gang Chen, Beng Chin Ooi
|
| 2020 |
J |
jnl |
IEEE Trans. Knowl. Data Eng.
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
|
| 2019 |
J |
jnl |
Formal Aspects Comput.
Quang-Trung Ta, Ton Chanh Le, Siau-Cheng Khoo, Wei-Ngan Chin
|
| 2019 |
B |
conf |
VMCAI
Thanh-Toan Nguyen, Quang-Trung Ta, Wei-Ngan Chin
|
| 2019 |
— |
conf |
TACAS (3)
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
|
| 2019 |
J |
jnl |
CoRR
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
|
| 2018 |
J |
jnl |
Proc. ACM Program. Lang.
Quang-Trung Ta, Ton Chanh Le, Siau-Cheng Khoo, Wei-Ngan Chin
|
| 2018 |
— |
conf |
RoEduNet
Andreea Bican, Razvan Deaconescu, Wei-Ngan Chin, Quang-Trung Ta
|
| 2017 |
J |
jnl |
CoRR
Quang-Trung Ta, Ton Chanh Le, Siau-Cheng Khoo, Wei-Ngan Chin
|
| 2017 |
— |
conf |
TACAS (2)
Ton Chanh Le, Quang-Trung Ta, Wei-Ngan Chin
|
| 2016 |
B |
conf |
FM
Quang-Trung Ta, Ton Chanh Le, Siau-Cheng Khoo, Wei-Ngan Chin
|
| 2016 |
J |
jnl |
CoRR
Quang-Trung Ta, Ton Chanh Le, Siau-Cheng Khoo, Wei-Ngan Chin
|
| 2013 |
J |
jnl |
J. Autom. Reason.
Christopher Lynch, Quang-Trung Ta, Duc-Khanh Tran
|