Password recovery for encrypted ZIP archives using GPUs. - Pham Hong Phong; Phan Duc Dung; Duong Nhat Tan; Nguyen Huu Duc; Nguyen Thanh Thuy (SoICT, 2010)

Parallel PageRank computation using GPUs. - Nhat Tan Duong; Quang Anh Pham Nguyen; Anh Tu Nguyen; Huu-Duc Nguyen (SoICT, 2012)

Verifying Properties of Systems Relying on Attribute-Based Communication. - Rocco De Nicola; Tan Duong; Omar Inverso; Franco Mazzanti (ModelEd, TestEd, TrustEd, 2017)

AErlang at Work. - Rocco De Nicola; Tan Duong; Omar Inverso; Catia Trubiani (SOFSEM, 2017)

AErlang: Empowering Erlang with attribute-based communication. - Rocco De Nicola; Tan Duong; Omar Inverso; Catia Trubiani (Sci. Comput. Program., 2018)

A Systematic Approach to Programming and Verifying Attribute-Based Communication Systems. - Rocco De Nicola; Tan Duong; Omar Inverso; Franco Mazzanti (From Software Engineering to Formal Methods and Tools, and Back, 2019)

ABEL - A Domain Specific Framework for Programming with Attribute-Based Communication. - Rocco De Nicola; Tan Duong; Michele Loreti (COORDINATION, 2019)

Verifying AbC Specifications via Emulation. - Rocco De Nicola; Tan Duong; Omar Inverso (ISoLA (2), 2020)

Provably correct implementation of the AbC calculus. - Rocco De Nicola; Tan Duong; Michele Loreti (Sci. Comput. Program., 2021)