Search dblp for Publications

export results for "Tuan Phong Ngo"

 download as .bib file

@article{DBLP:journals/cg/LeNLNHDLTHNNLPHNMHLNTPDHNTYTHNVDNST23,
  author       = {Trung{-}Nghia Le and
                  Tam V. Nguyen and
                  Minh{-}Quan Le and
                  Trong{-}Thuan Nguyen and
                  Viet{-}Tham Huynh and
                  Trong{-}Le Do and
                  Khanh{-}Duy Le and
                  Mai{-}Khiem Tran and
                  Nhat Hoang{-}Xuan and
                  Thang{-}Long Nguyen{-}Ho and
                  Vinh{-}Tiep Nguyen and
                  Nhat{-}Quynh Le{-}Pham and
                  Huu{-}Phuc Pham and
                  Trong{-}Vu Hoang and
                  Quang{-}Binh Nguyen and
                  Trong{-}Hieu Nguyen Mau and
                  Tuan{-}Luc Huynh and
                  Thanh{-}Danh Le and
                  Ngoc{-}Linh Nguyen{-}Ha and
                  Tuong{-}Vy Truong{-}Thuy and
                  Truong Hoai Phong and
                  Tuong{-}Nghiem Diep and
                  Khanh{-}Duy Ho and
                  Xuan{-}Hieu Nguyen and
                  Thien{-}Phuc Tran and
                  Tuan{-}Anh Yang and
                  Kim{-}Phat Tran and
                  Nhu{-}Vinh Hoang and
                  Minh{-}Quang Nguyen and
                  Hoai{-}Danh Vo and
                  Minh{-}Hoa Doan and
                  Hai{-}Dang Nguyen and
                  Akihiro Sugimoto and
                  Minh{-}Triet Tran},
  title        = {SketchANIMAR: Sketch-based 3D animal fine-grained retrieval},
  journal      = {Comput. Graph.},
  volume       = {116},
  pages        = {150--161},
  year         = {2023},
  url          = {https://doi.org/10.1016/j.cag.2023.07.035},
  doi          = {10.1016/J.CAG.2023.07.035},
  timestamp    = {Mon, 01 Jan 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/cg/LeNLNHDLTHNNLPHNMHLNTPDHNTYTHNVDNST23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mlis/BuiDNP23,
  author       = {Hai Phong Bui and
                  Anh Tuan Dinh and
                  Ngoc Minh Nguyen and
                  Van Khuong Pham},
  editor       = {Kim Jon{-}Lark},
  title        = {A Quantitative Comparison of Classification Methods for Plant Leaf
                  Images},
  booktitle    = {Machine Learning and Artificial Intelligence - Proceedings of {MLIS}
                  2023, Hybrid Event, Macau, China, 17-20 November 2023},
  series       = {Frontiers in Artificial Intelligence and Applications},
  volume       = {374},
  pages        = {52--59},
  publisher    = {{IOS} Press},
  year         = {2023},
  url          = {https://doi.org/10.3233/FAIA230767},
  doi          = {10.3233/FAIA230767},
  timestamp    = {Wed, 31 Jan 2024 16:07:57 +0100},
  biburl       = {https://dblp.org/rec/conf/mlis/BuiDNP23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2304-05731,
  author       = {Trung{-}Nghia Le and
                  Tam V. Nguyen and
                  Minh{-}Quan Le and
                  Trong{-}Thuan Nguyen and
                  Viet{-}Tham Huynh and
                  Trong{-}Le Do and
                  Khanh{-}Duy Le and
                  Mai{-}Khiem Tran and
                  Nhat Hoang{-}Xuan and
                  Thang{-}Long Nguyen{-}Ho and
                  Vinh{-}Tiep Nguyen and
                  Nhat{-}Quynh Le{-}Pham and
                  Huu{-}Phuc Pham and
                  Trong{-}Vu Hoang and
                  Quang{-}Binh Nguyen and
                  Trong{-}Hieu Nguyen Mau and
                  Tuan{-}Luc Huynh and
                  Thanh{-}Danh Le and
                  Ngoc{-}Linh Nguyen{-}Ha and
                  Tuong{-}Vy Truong{-}Thuy and
                  Truong Hoai Phong and
                  Tuong{-}Nghiem Diep and
                  Khanh{-}Duy Ho and
                  Xuan{-}Hieu Nguyen and
                  Thien{-}Phuc Tran and
                  Tuan{-}Anh Yang and
                  Kim{-}Phat Tran and
                  Nhu{-}Vinh Hoang and
                  Minh{-}Quang Nguyen and
                  Hoai{-}Danh Vo and
                  Minh{-}Hoa Doan and
                  Hai{-}Dang Nguyen and
                  Akihiro Sugimoto and
                  Minh{-}Triet Tran},
  title        = {SketchANIMAR: Sketch-based 3D Animal Fine-Grained Retrieval},
  journal      = {CoRR},
  volume       = {abs/2304.05731},
  year         = {2023},
  url          = {https://doi.org/10.48550/arXiv.2304.05731},
  doi          = {10.48550/ARXIV.2304.05731},
  eprinttype    = {arXiv},
  eprint       = {2304.05731},
  timestamp    = {Sun, 04 Aug 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2304-05731.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/frai/VuongHNNDTLNDPT22,
  author       = {Lan N. Vuong and
                  Nghia Huynh and
                  Dat Q. Ngo and
                  Vinh N. Nguyen and
                  Khoa D. Duong and
                  Nguyen N. Tran and
                  Truyen P. Le and
                  Nghia A. Nguyen and
                  Thao T. P. Doan and
                  Duy L. Pham and
                  Tu H. K. Trinh and
                  Quan T. T. Vu and
                  Phong H. Nguyen and
                  Tuan D. Tran},
  title        = {A Community-Based Model of Care During the Fourth Wave of the {COVID-19}
                  Outbreak in Ho Chi Minh City, Vietnam},
  journal      = {Frontiers Artif. Intell.},
  volume       = {5},
  pages        = {831841},
  year         = {2022},
  url          = {https://doi.org/10.3389/frai.2022.831841},
  doi          = {10.3389/FRAI.2022.831841},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/frai/VuongHNNDTLNDPT22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfs/HuynhLPNLVVC22,
  author       = {Tuan{-}Tu Huynh and
                  Chih{-}Min Lin and
                  Duc{-}Hung Pham and
                  Ngoc Phi Nguyen and
                  Nguyen{-}Quoc{-}Khanh Le and
                  Mai The Vu and
                  Van{-}Phong Vu and
                  Fei Chao},
  title        = {4-D Memristive Chaotic Systems-Based Audio Secure Communication Using
                  Dual-Function-Link Fuzzy Brain Emotional Controller},
  journal      = {Int. J. Fuzzy Syst.},
  volume       = {24},
  number       = {6},
  pages        = {2946--2968},
  year         = {2022},
  url          = {https://doi.org/10.1007/s40815-022-01312-0},
  doi          = {10.1007/S40815-022-01312-0},
  timestamp    = {Sun, 04 Aug 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijfs/HuynhLPNLVVC22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/remotesensing/HoangCFWMTHHP22,
  author       = {Thanh Van Hoang and
                  Tien{-}Yin Chou and
                  Yao{-}Min Fang and
                  Chun{-}Tse Wang and
                  Ching{-}Yun Mu and
                  Nguyen Quang Tuan and
                  Do Thi Viet Huong and
                  Ha Van Hanh and
                  Doan Ngoc Nguyen Phong},
  title        = {Robust Extraction of Soil Characteristics Using Landsat 8 {OLI/TIRS}},
  journal      = {Remote. Sens.},
  volume       = {14},
  number       = {10},
  pages        = {2490},
  year         = {2022},
  url          = {https://doi.org/10.3390/rs14102490},
  doi          = {10.3390/RS14102490},
  timestamp    = {Fri, 02 Aug 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/remotesensing/HoangCFWMTHHP22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/access/VuNDTHD21,
  author       = {Van{-}Phong Vu and
                  Van{-}Thuyen Ngo and
                  Van{-}Dung Do and
                  Dinh{-}Nhon Truong and
                  Tuan{-}Tu Huynh and
                  Ton Duc Do},
  title        = {Robust {MPPT} Observer-Based Control System for Wind Energy Conversion
                  System With Uncertainties and Disturbance},
  journal      = {{IEEE} Access},
  volume       = {9},
  pages        = {96466--96477},
  year         = {2021},
  url          = {https://doi.org/10.1109/ACCESS.2021.3094819},
  doi          = {10.1109/ACCESS.2021.3094819},
  timestamp    = {Thu, 16 Sep 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/access/VuNDTHD21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/complexity/TranMTHPPN21,
  author       = {Anh{-}Tuan Tran and
                  Bui Le Ngoc Minh and
                  Phong Thanh Tran and
                  Van Van Huynh and
                  Van{-}Duc Phan and
                  Viet{-}Thanh Pham and
                  Tam Minh Nguyen},
  title        = {Adaptive Integral Second-Order Sliding Mode Control Design for Load
                  Frequency Control of Large-Scale Power System with Communication Delays},
  journal      = {Complex.},
  volume       = {2021},
  pages        = {5564184:1--5564184:19},
  year         = {2021},
  url          = {https://doi.org/10.1155/2021/5564184},
  doi          = {10.1155/2021/5564184},
  timestamp    = {Thu, 29 Sep 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/complexity/TranMTHPPN21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsse/NguyenNWVNN21,
  author       = {Anh{-}Vu Nguyen and
                  Van{-}Thuyen Ngo and
                  Wen{-}June Wang and
                  Van{-}Phong Vu and
                  Thanh{-}Quyen Ngo and
                  Anh{-}Tuan Nguyen},
  title        = {Fuzzy Logic Based {LQG} Controller Design for Inverted Pendulum On
                  Cart},
  booktitle    = {International Conference on System Science and Engineering, {ICSSE}
                  2021, Ho Chi Minh City, Vietnam, August 26-28, 2021},
  pages        = {387--392},
  publisher    = {{IEEE}},
  year         = {2021},
  url          = {https://doi.org/10.1109/ICSSE52999.2021.9538411},
  doi          = {10.1109/ICSSE52999.2021.9538411},
  timestamp    = {Sun, 04 Aug 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icsse/NguyenNWVNN21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/basesearch/Ngo19,
  author       = {Tuan{-}Phong Ngo},
  title        = {Model Checking of Software Systems under Weak Memory Models},
  school       = {Uppsala University, Sweden},
  year         = {2019},
  url          = {https://nbn-resolving.org/urn:nbn:se:uu:diva-366361},
  urn          = {urn:nbn:se:uu:diva-366361},
  timestamp    = {Wed, 12 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/phd/basesearch/Ngo19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/AbdullaAJLNS19,
  author       = {Parosh Aziz Abdulla and
                  Mohamed Faouzi Atig and
                  Bengt Jonsson and
                  Magnus L{\aa}ng and
                  Tuan Phong Ngo and
                  Konstantinos Sagonas},
  title        = {Optimal stateless model checking for reads-from equivalence under
                  sequential consistency},
  journal      = {Proc. {ACM} Program. Lang.},
  volume       = {3},
  number       = {{OOPSLA}},
  pages        = {150:1--150:29},
  year         = {2019},
  url          = {https://doi.org/10.1145/3360576},
  doi          = {10.1145/3360576},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/pacmpl/AbdullaAJLNS19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/AbdullaAJN19,
  author       = {Parosh Aziz Abdulla and
                  Mohamed Faouzi Atig and
                  Bengt Jonsson and
                  Tuan Phong Ngo},
  editor       = {Mohamed Faouzi Atig and
                  Alexander A. Schwarzmann},
  title        = {Dynamic Partial Order Reduction Under the Release-Acquire Semantics
                  (Tutorial)},
  booktitle    = {Networked Systems - 7th International Conference, {NETYS} 2019, Marrakech,
                  Morocco, June 19-21, 2019, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {11704},
  pages        = {3--18},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-31277-0\_1},
  doi          = {10.1007/978-3-030-31277-0\_1},
  timestamp    = {Mon, 03 Jan 2022 22:16:19 +0100},
  biburl       = {https://dblp.org/rec/conf/netys/AbdullaAJN19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jaec/DaoHNVHNN18,
  author       = {Ngoc{-}Thai Huynh and
                  Thanh{-}Phong Dao and
                  Tuan{-}Hai Nguyen and
                  Hoang{-}Nghien Vu and
                  Le{-}Quang{-}Nhat Hoang and
                  Ho Nguyen},
  title        = {Effect of clearance and friction in revolute imperfect joints on dynamic
                  behaviors of a slider-crank mechanism with two sliders},
  journal      = {J. Adv. Eng. Comput.},
  volume       = {2},
  number       = {1},
  pages        = {1--8},
  year         = {2018},
  url          = {https://doi.org/10.25073/jaec.201821.73},
  doi          = {10.25073/JAEC.201821.73},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jaec/DaoHNVHNN18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsac/NguyenNDTT18,
  author       = {Nam{-}Phong Nguyen and
                  Hien Quoc Ngo and
                  Trung Quang Duong and
                  Hoang Duong Tuan and
                  Kamel Tourki},
  title        = {Secure Massive {MIMO} With the Artificial Noise-Aided Downlink Training},
  journal      = {{IEEE} J. Sel. Areas Commun.},
  volume       = {36},
  number       = {4},
  pages        = {802--816},
  year         = {2018},
  url          = {https://doi.org/10.1109/JSAC.2018.2825140},
  doi          = {10.1109/JSAC.2018.2825140},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsac/NguyenNDTT18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/AbdullaABN18,
  author       = {Parosh Aziz Abdulla and
                  Mohamed Faouzi Atig and
                  Ahmed Bouajjani and
                  Tuan Phong Ngo},
  title        = {A Load-Buffer Semantics for Total Store Ordering},
  journal      = {Log. Methods Comput. Sci.},
  volume       = {14},
  number       = {1},
  year         = {2018},
  url          = {https://doi.org/10.23638/LMCS-14(1:9)2018},
  doi          = {10.23638/LMCS-14(1:9)2018},
  timestamp    = {Thu, 18 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/lmcs/AbdullaABN18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/AbdullaAJN18,
  author       = {Parosh Aziz Abdulla and
                  Mohamed Faouzi Atig and
                  Bengt Jonsson and
                  Tuan Phong Ngo},
  title        = {Optimal stateless model checking under the release-acquire semantics},
  journal      = {Proc. {ACM} Program. Lang.},
  volume       = {2},
  number       = {{OOPSLA}},
  pages        = {135:1--135:29},
  year         = {2018},
  url          = {https://doi.org/10.1145/3276505},
  doi          = {10.1145/3276505},
  timestamp    = {Tue, 31 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/pacmpl/AbdullaAJN18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icoin/NamPKTNTTTDL18,
  author       = {Tran Manh Nam and
                  Phan Hai Phong and
                  Tran Dinh Khoa and
                  Truong Thu Huong and
                  Pham Ngoc Nam and
                  Huu{-}Thanh Nguyen and
                  Luong Xuan Thang and
                  Pham Anh Tuan and
                  Le Quang Dung and
                  Vu Duy Loi},
  title        = {Self-organizing map-based approaches in DDoS flooding detection using
                  {SDN}},
  booktitle    = {2018 International Conference on Information Networking, {ICOIN} 2018,
                  Chiang Mai, Thailand, January 10-12, 2018},
  pages        = {249--254},
  publisher    = {{IEEE}},
  year         = {2018},
  url          = {https://doi.org/10.1109/ICOIN.2018.8343119},
  doi          = {10.1109/ICOIN.2018.8343119},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icoin/NamPKTNTTTDL18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vecos/AbdullaABN18,
  author       = {Parosh Aziz Abdulla and
                  Mohamed Faouzi Atig and
                  Ahmed Bouajjani and
                  Tuan Phong Ngo},
  editor       = {Mohamed Faouzi Atig and
                  Saddek Bensalem and
                  Simon Bliudze and
                  Bruno Monsuez},
  title        = {Replacing Store Buffers by Load Buffers in {TSO}},
  booktitle    = {Verification and Evaluation of Computer and Communication Systems
                  - 12th International Conference, VECoS 2018, Grenoble, France, September
                  26-28, 2018, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11181},
  pages        = {22--28},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-030-00359-3\_2},
  doi          = {10.1007/978-3-030-00359-3\_2},
  timestamp    = {Tue, 14 May 2019 10:00:42 +0200},
  biburl       = {https://dblp.org/rec/conf/vecos/AbdullaABN18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1808-00843,
  author       = {Parosh Aziz Abdulla and
                  Mohamed Faouzi Atig and
                  Bengt Jonsson and
                  Tuan Phong Ngo},
  title        = {Optimal Stateless Model Checking under the Release-Acquire Semantics},
  journal      = {CoRR},
  volume       = {abs/1808.00843},
  year         = {2018},
  url          = {http://arxiv.org/abs/1808.00843},
  eprinttype    = {arXiv},
  eprint       = {1808.00843},
  timestamp    = {Tue, 31 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1808-00843.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcom/NguyenNDTC17,
  author       = {Nam{-}Phong Nguyen and
                  Hien Quoc Ngo and
                  Trung Quang Duong and
                  Hoang Duong Tuan and
                  Daniel Benevides da Costa},
  title        = {Full-Duplex Cyber-Weapon With Massive Arrays},
  journal      = {{IEEE} Trans. Commun.},
  volume       = {65},
  number       = {12},
  pages        = {5544--5558},
  year         = {2017},
  url          = {https://doi.org/10.1109/TCOMM.2017.2743208},
  doi          = {10.1109/TCOMM.2017.2743208},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcom/NguyenNDTC17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/AbdullaABN17,
  author       = {Parosh Aziz Abdulla and
                  Mohamed Faouzi Atig and
                  Ahmed Bouajjani and
                  Tuan Phong Ngo},
  editor       = {Axel Legay and
                  Tiziana Margaria},
  title        = {Context-Bounded Analysis for {POWER}},
  booktitle    = {Tools and Algorithms for the Construction and Analysis of Systems
                  - 23rd International Conference, {TACAS} 2017, Held as Part of the
                  European Joint Conferences on Theory and Practice of Software, {ETAPS}
                  2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part {II}},
  series       = {Lecture Notes in Computer Science},
  volume       = {10206},
  pages        = {56--74},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-662-54580-5\_4},
  doi          = {10.1007/978-3-662-54580-5\_4},
  timestamp    = {Tue, 14 May 2019 10:00:53 +0200},
  biburl       = {https://dblp.org/rec/conf/tacas/AbdullaABN17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/AbdullaABN17,
  author       = {Parosh Aziz Abdulla and
                  Mohamed Faouzi Atig and
                  Ahmed Bouajjani and
                  Tuan Phong Ngo},
  title        = {The Benefits of Duality in Verifying Concurrent Programs under {TSO}},
  journal      = {CoRR},
  volume       = {abs/1701.08682},
  year         = {2017},
  url          = {http://arxiv.org/abs/1701.08682},
  eprinttype    = {arXiv},
  eprint       = {1701.08682},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/AbdullaABN17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/AbdullaABN17a,
  author       = {Parosh Aziz Abdulla and
                  Mohamed Faouzi Atig and
                  Ahmed Bouajjani and
                  Tuan Phong Ngo},
  title        = {Context-Bounded Analysis for {POWER}},
  journal      = {CoRR},
  volume       = {abs/1702.01655},
  year         = {2017},
  url          = {http://arxiv.org/abs/1702.01655},
  eprinttype    = {arXiv},
  eprint       = {1702.01655},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/AbdullaABN17a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/AbdullaABN16,
  author       = {Parosh Aziz Abdulla and
                  Mohamed Faouzi Atig and
                  Ahmed Bouajjani and
                  Tuan Phong Ngo},
  editor       = {Jos{\'{e}}e Desharnais and
                  Radha Jagadeesan},
  title        = {The Benefits of Duality in Verifying Concurrent Programs under {TSO}},
  booktitle    = {27th International Conference on Concurrency Theory, {CONCUR} 2016,
                  August 23-26, 2016, Qu{\'{e}}bec City, Canada},
  series       = {LIPIcs},
  volume       = {59},
  pages        = {5:1--5:15},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2016},
  url          = {https://doi.org/10.4230/LIPIcs.CONCUR.2016.5},
  doi          = {10.4230/LIPICS.CONCUR.2016.5},
  timestamp    = {Tue, 11 Feb 2020 15:52:14 +0100},
  biburl       = {https://dblp.org/rec/conf/concur/AbdullaABN16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/AbdullaAP15,
  author       = {Parosh Aziz Abdulla and
                  Mohamed Faouzi Atig and
                  Ngo Tuan Phong},
  editor       = {Jan Vitek},
  title        = {The Best of Both Worlds: Trading Efficiency and Optimality in Fence
                  Insertion for {TSO}},
  booktitle    = {Programming Languages and Systems - 24th European Symposium on Programming,
                  {ESOP} 2015, Held as Part of the European Joint Conferences on Theory
                  and Practice of Software, {ETAPS} 2015, London, UK, April 11-18, 2015.
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9032},
  pages        = {308--332},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-662-46669-8\_13},
  doi          = {10.1007/978-3-662-46669-8\_13},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/esop/AbdullaAP15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/AbdullaALN15,
  author       = {Parosh Aziz Abdulla and
                  Mohamed Faouzi Atig and
                  Magnus L{\aa}ng and
                  Tuan Phong Ngo},
  editor       = {Ahmed Bouajjani and
                  Hugues Fauconnier},
  title        = {Precise and Sound Automatic Fence Insertion Procedure under {PSO}},
  booktitle    = {Networked Systems - Third International Conference, {NETYS} 2015,
                  Agadir, Morocco, May 13-15, 2015, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {9466},
  pages        = {32--47},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-26850-7\_3},
  doi          = {10.1007/978-3-319-26850-7\_3},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/netys/AbdullaALN15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kse/TaiPA11,
  author       = {Tran Anh Tai and
                  Ngo Tuan Phong and
                  Nguyen Kim Anh},
  title        = {An Efficient Algorithm for Discovering Maximum Length Frequent Itemsets},
  booktitle    = {Third International Conference on Knowledge and Systems Engineering,
                  {KSE} 2011, Hanoi, Vietnam, October 14-17, 2011},
  pages        = {62--69},
  publisher    = {{IEEE} Computer Society},
  year         = {2011},
  url          = {https://doi.org/10.1109/KSE.2011.18},
  doi          = {10.1109/KSE.2011.18},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/kse/TaiPA11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/soict/PhongPA10,
  author       = {Ngo Tuan Phong and
                  Nguyen Hong Phuong and
                  Nguyen Kim Anh},
  editor       = {Nguyen Trong Giang and
                  Nguyen Thuc Hai and
                  Huynh Quyet Thang},
  title        = {Generating qualified summarization answers using fuzzy concept hierarchies},
  booktitle    = {Proceedings of the 2010 Symposium on Information and Communication
                  Technology, SoICT 2010, Hanoi, Viet Nam, August 27-28, 2010},
  series       = {{ACM} International Conference Proceeding Series},
  volume       = {449},
  pages        = {41--48},
  publisher    = {{ACM}},
  year         = {2010},
  url          = {https://doi.org/10.1145/1852611.1852620},
  doi          = {10.1145/1852611.1852620},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/soict/PhongPA10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics