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