default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch 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 = {Sun, 06 Oct 2024 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, 06 Oct 2024 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 = {Sun, 06 Oct 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/netys/AbdullaAJN19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@misc{DBLP:data/10/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 (Version 1.0.0-review1)},
publisher = {Zenodo},
year = {2019},
month = oct,
howpublished = {\url{https://doi.org/10.5281/zenodo.3384856}},
note = {Accessed on YYYY-MM-DD.},
url = {https://doi.org/10.5281/zenodo.3384856},
doi = {10.5281/ZENODO.3384856},
timestamp = {Wed, 11 Sep 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/data/10/AbdullaAJLNS19.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 = {Sun, 06 Oct 2024 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 = {Sun, 06 Oct 2024 01:00:00 +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 = {Sun, 06 Oct 2024 01:00:00 +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 = {Sun, 06 Oct 2024 01:00:00 +0200},
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 = {Sun, 06 Oct 2024 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, 06 Oct 2024 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}
}
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
retrieved on 2024-11-13 09:24 CET from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
