AUTOMATED ENTAILMENT PROVING IN SEPARATION LOGIC

بواسطة TA QUANG TRUNG
منشور في 2018

Interoperability in blockchain: A survey

بواسطة REN, Kunpeng, HO, Nhut-Minh, LOGHIN, Dumitrel, NGUYEN, Thanh-Toan, OOI, Beng Chin, TA, Quang-Trung, ZHU, Feida
منشور في 2023

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

بواسطة 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
منشور في 2020