AUTOMATED ENTAILMENT PROVING IN SEPARATION LOGIC

by TA QUANG TRUNG
Published 2018

Interoperability in blockchain: A survey

by REN, Kunpeng, HO, Nhut-Minh, LOGHIN, Dumitrel, NGUYEN, Thanh-Toan, OOI, Beng Chin, TA, Quang-Trung, ZHU, Feida
Published 2023

The Disruptions of 5G on Data-Driven Technologies and Applications

by DUMITREL LOGHIN, Cai, Shaofeng, Chen, Gang, Tien, Tuan Anh Dinh, FAN FEIYI, LIN QIAN, Ng, Janice, OOI BENG CHIN, SUN XUTAO, TA QUANG TRUNG, WANG WEI, XIAO XIAOKUI, Yang, Yang, Zhang, Meihui, ZHANG ZHONGHUA
Published 2020