Thuy Le, Hung Vo, Trung Mai, Tho Quan, Tuoi Phan, An Ontology-based Coreference Resolution Approach for Aspect-level Sentiment Analysis, 12th IEEE-RIVF International Conference on Computing and Communication Technologies (RIVF 2016), 2016, Hà Nội - Việt Nam
Thuy Le, Hung Vo, Trung Mai, Tho Quan, Tuoi Phan, Sentiment Analysis Using Anaphoric Coreference Resolution and Ontology Inference, 10th Multi-disciplinary International Workshop on Artificial Intelligence (MIWAI 2016), 2016, ChiangMai - Thailand
Khai T. Huynh, Thang H. Bui, Tho T. Quan, WSCOVER: A Tool for Automatic Composition and Verification of Web Services Using Heuristic-Guided Model Checking and Logic-Based Clustering, The 10th Multi-disciplinary International Workshop on Artificial Intelligence (MIWAI 2016), 2016, ChiangMai - Thailand
Giang Trinh, Khanh Le, Tam Bang, Quan Tram, Thang Bui and Tho Quan, Modelling and Congestion Detection of Wireless Sensor Networks: A Concurrent-based Approach using Coloured Petri Nets, International Journal of Applied Information Systems, 11(7), 1-9, 2016
Khanh Le, Toan Nguyen, Thanh Cao, Thang Bui and Tho Quan, “Heuristic-Guided Verification for Fast Congestion Detection on Wireless Sensor Networks”, 2016 3rd International Conference on Future Data and Security Engineering (FDSE), November 2016, Can Tho, Vietnam.
Khai T. Huynh, Thang H. Bui and Tho T. Quan, “An Application of Bitwise-based Indexing to Web Service Composition and Verification”, 2016 10th International Conference on Advanced Computing and Applications (ACOMP), November 2016, Can Tho, Vietnam
Nguyen Minh Hai, Ha Minh Ngoc, Nguyen Thien Binh and Quan Thanh Tho,”Toward an Approach on Probability Distribution for Polymorphic Malware Analysis”, in GSTF Journal on Computing (JOC), Volume 5 (1), pp. 61-68, 2016, ISSN:2251 – 3043 (selected from 7th Annual International Conference on ICT: Big Data, Cloud and Security (ICT-BDCS 2016), Singapore - best paper award)
Nguyen Minh Hai, Quan Thanh Tho, A Statistical Approach for Packer Identification, In Journal of Science and Technology, Vietnam Academy of Science and Technology, vol. 54 (3A), Special issue of Intelligent System and its Applications, pp. 129-139, 2016 (selected papers from Proceedings of International Symposium Intelligent Systems and Applications 2016 (ISA2016), Hochiminh, Vietnam).
Nguyen Thien Binh, Quan Thanh Tho, Ha Minh Ngoc and Nguyen Minh Hai “Incremental Verification of ω-regions on Binary Control Flow Graph for Computer Virus Detection”, 2016 3rd National Foundation for Science and Technology Development Conference on Information and Computer Science (NICS), 14-16 September 2016, The University of Danang, Vietnam
Nguyen Minh Hai, Do Duy Phong, Quan Thanh Tho, “Formal Methods for Packer Detection”, 9th National Conference on Fundamental and Applied IT Research (FAIR'9), 04-05 August 2016, Can Tho University (CTU), Vietnam (in Vietnamese).
Nguyen Thi Thu Hien, Le Huu Ha, Tran Thi Van Anh, Van The Thanh, Quan Thanh Tho, “ANFIS for time-series forecasting and application”, 9th National Conference on Fundamental and Applied IT Research, 04-05 August 2016, Can Tho University, Vietnam (in Vietnamese)
Nguyen Minh Hai, Quan Thanh Tho and Le Duc Anh, “Multi-Threaded On-the-fly Model Generation of Malware with Hash Compaction 18th International Conference on Formal Engineering Methods (ICFEM 20), 14-18 November 2016, TKP Conference Centre, Tokyo, Japan
Trinh Van Giang, Nguyen Duc Khoan, Nguyen Duy Khuong, Vu Phu Thuc, Quan Thanh Tho,”Fast-and-Fit: An Intelligent Auto-Pricing System for Airlines Travel Agencies”, Proceedings of SAI Intelligent Systems Conference 2016, London, UK, 2016
Trinh Van Giang, Kunihiko Hiraishi and Quan Thanh Tho, “Modeling and Analysing Boolean Networks by Coloured Petri Nets”, 31st International Technical Conference on Circuits/Systems, Computers and Communications (ITC-CSCC 2016), Okinawa Jichikaikan, Japan, 2016
Nguyen Minh Hai, Quan Thanh Tho, “An Experimental Study on Identifying Obfuscation Techniques in Packer”, 5th World Conference on
Applied Sciences, Engineering & Technology (WCSET), 02-04 June 2016, HCMUT, Vietnam, ISBN 978-81-930222-2-1
Khai Huynh, Tho Quan, and Thang Bui, “Smaller to Sharper: Efficient Web Service Composition and Verication using On-the-Fly Model Checking and Logic-based Clustering”, 8th International Symposium on Software Engineering Processes and Applications (SEPA 2016), Beijing, China, 2016
Khanh Le, Thang Bui, Tho Quan and Laure Petrucci, “A Framework for Fast Congestion Detection in Wireless Sensor Networks using Clustering and Petri-Net-based Verication”, 2016 International Workshop on Petri Nets and Software Engineering (PNSE 2016), Torun, Poland
Khanh Le, Thang Bui, Tho Quan and Laure Petrucci, “COCA: Congestion-Oriented Clustering Algorithm for Wireless Sensor Networks”, 2016 8th IEEE International Conference on Communication Software and Networks (ICCSN 2016), Beijing, China, 2016
Khanh Le, Thang Bui, Tho Quan, Laure Petrucci, and Étienne André, “Congestion Verification on Abstracted Wireless Sensor Networks with the WSN-PN Tool”, Journal of Advances in Computer Networks, 4(1):33-40 , March 2016, ISSN: 1793-8244
Nguyen Minh Hai, Do Duy Phong, Quan Thanh Tho, Le Duc Anh, “Precise Packer Detection Using Model Checking”, in The 10th SOUTH EAST ASIAN TECHNICAL UNIVERSITY CONSORTIUM SYMPOSIUM (SEATUC2016), Tokyo, Japan, 2016