Algebraic Semantics of Register Transfer Level in Synthesis of Stream Calculus-Based Computing Big Data in Livestream. - Dang Van Pham; Phan Cong Vinh; Bao Khang Nguyen (ICTCC, 2023)

Formally specifying and coinductive approach to verifying synthesis of stream calculus-based computing big data in livestream. - Dang Van Pham; Vinh Cong Phan; Bao Khang Nguyen (Internet Things, 2023)

A Visual Analytics Approach Applying for Discovering Knowledge from Multivariate Datasets of Stakeholders Feedback in the University. - Dang Van Pham; Bao Khang Nguyen (Vietnam. J. Comput. Sci., 2023)

An Algebraic Structure for Computing Big Data in Livestream. - Dang Van Pham; Phan Cong Vinh; Toan Trong Tran; Bao Khang Nguyen (ICCAIS, 2024)