Generating qualified summarization answers using fuzzy concept hierarchies. - Ngo Tuan Phong; Nguyen Hong Phuong; Nguyen Kim Anh (SoICT, 2010)

An Efficient Algorithm for Discovering Maximum Length Frequent Itemsets. - Tran Anh Tai; Ngo Tuan Phong; Nguyen Kim Anh (KSE, 2011)

The Best of Both Worlds: Trading Efficiency and Optimality in Fence Insertion for TSO. - Parosh Aziz Abdulla; Mohamed Faouzi Atig; Ngo Tuan Phong (ESOP, 2015)

Precise and Sound Automatic Fence Insertion Procedure under PSO. - Parosh Aziz Abdulla; Mohamed Faouzi Atig; Magnus Lång; Tuan Phong Ngo (NETYS, 2015)

The Benefits of Duality in Verifying Concurrent Programs under TSO. - Parosh Aziz Abdulla; Mohamed Faouzi Atig; Ahmed Bouajjani; Tuan Phong Ngo (CONCUR, 2016)

Context-Bounded Analysis for POWER. - Parosh Aziz Abdulla; Mohamed Faouzi Atig; Ahmed Bouajjani; Tuan Phong Ngo (TACAS (2), 2017)

Replacing Store Buffers by Load Buffers in TSO. - Parosh Aziz Abdulla; Mohamed Faouzi Atig; Ahmed Bouajjani; Tuan Phong Ngo (VECoS, 2018)

A Load-Buffer Semantics for Total Store Ordering. - Parosh Aziz Abdulla; Mohamed Faouzi Atig; Ahmed Bouajjani; Tuan Phong Ngo (Log. Methods Comput. Sci., 2018)

Optimal stateless model checking under the release-acquire semantics. - Parosh Aziz Abdulla; Mohamed Faouzi Atig; Bengt Jonsson 001; Tuan Phong Ngo (Proc. ACM Program. Lang., 2018)

Dynamic Partial Order Reduction Under the Release-Acquire Semantics (Tutorial). - Parosh Aziz Abdulla; Mohamed Faouzi Atig; Bengt Jonsson 001; Tuan Phong Ngo (NETYS, 2019)

Optimal stateless model checking for reads-from equivalence under sequential consistency. - Parosh Aziz Abdulla; Mohamed Faouzi Atig; Bengt Jonsson 001; Magnus Lång; Tuan Phong Ngo; Konstantinos Sagonas (Proc. ACM Program. Lang., 2019)

Optimal Stateless Model Checking for Reads-From Equivalence under Sequential Consistency. - Parosh Aziz Abdulla; Mohamed Faouzi Atig; Bengt Jonsson 001; Magnus Lång; Tuan Phong Ngo; Konstantinos Sagonas (Zenodo, 2019)