Publications

Books

2013

  1. Ninh-Thuan Truong and Viet-Ha Nguyen, An Approach to Checking the Compliance of User Permission Policy in Software Development, International Journal of Software Engineering and Knowledge Engineering, Vol. 23, No. 8, pp. 1139-1151, 2013.
  2. Diep Bui Phi, Khanh Nguyen Trong and Viet-Ha Nguyen, A runtime approach for estimating resource usage, 4th Symposium on Information and Communication Technology (SoICT), pp. 261-266, Dec 5-6, 2013.

2012

  1. Hieu Dinh Vo, Dung Chi Phung, Vu Quang Dung, and Viet-Ha Nguyen, Securing Data in Composite Web Services, 4th International Conference on Knowledge and Systems Engineering (KSE), pp. 60-64, 17-19 Aug 2012.
  2. Ngoc Hung Pham, Viet Ha Nguyen, T. Aoki and T. Katayama, On Optimization of Minimized Assumption Generation Method for Component-based Software Verification, IEICE Trans. on Fundamentals of Electronics, Communications and Computer Sciences, Special Section on Software Reliability Engineering, Vol.E95-A, No.9, pp.1451-1460, 2012.
  3. Trinh Thanh Binh, Truong Ninh Thuan, Nguyen Viet Ha, Automated analysis of consensus protocol in specification of multi-agents coordination, VNU Journal of Science, Natural Sciences and Technology, Vol. 28, No. 1, pp. 1-10, 2012.
  4. Ngoc Hung Pham, Viet Ha Nguyen, T. Aoki and T. Katayama, An Improvement of Minimized Assumption Generation Method for Component-based Software Verification, 9th IEEE-RIVF International Conference on Computing and Communication Technologies, pp. 238-243, IEEE Computer Society Press, Hochiminh City, 27 Feb - 1 Mar, 2012.

2011

  1. Thu-Trang Nguyen, Ninh-Thuan Truong, and Viet-Ha Nguyen, Verifying Java Object Invariants at Runtime, International Journal of Software Engineering and Knowledge Engineering, Vol. 21, No. 4, pp. 605-619, 2011.
  2. Quang-Dung Vu, Ba-Binh Pham, Dinh-Hieu Vo, and Viet-Ha Nguyen, Towards Scalable Agent-based Web Service Systems: Performance Evaluation, 13th Intern. Conf. on Information Integration and Web-based Applications & Services - Emerging Research Projects Applications Symposium, pp. 481-484, Sep 5-7, 2011, Hochiminh City, Vietnam.
  3. Thanh-Binh Trinh, Ninh-Thuan Truong, and Viet-Ha Nguyen, Refining Undetermined Events for Specifying Concurrent Programs, 3rd Intern. Conf. on Knowledge and Systems Engineering (KSE 2011), pp. 143-149, Oct 14-17, 2011, Hanoi, Vietnam.
  4. Phạm Ngọc Hùng, Đào Anh Hiển, Nguyễn Ánh Nguyệt, Nguyễn Việt Hà, Đặc tả và kiểm chứng tính bất biến của các hệ đa tác tử, Tạp chí Khoa học (Khoa học Tự nhiên và Công nghệ), Đại học Quốc gia Hà Nội, Vol 27, No. 4, pp. 225-232, 2011.

2010

  1. Ngoc Hung Pham, Viet Ha Nguyen, Aoki, T., and Katayama, T., A minimized assumption generation method for component-based software verification, IEICE Trans. on Information and Systems, vol. E93-D, no. 8, pp. 2172-2181, 2010.
  2. Trịnh Thanh Bình, Trương Anh Hoàng, Nguyễn Việt Hà, Kiểm chứng giao thức tương tác giữa các thành phần trong chương trình đa luồng sử dụng lập trình hướng khía cạnh, Chuyên san Các công trình nghiên cứu, phát triển và ứng dụng CNTT-TT, Tạp chí Công nghệ thông tin & Truyền thông, T. V-1, S. 4 (24), 36-45, 2010.
  3. Trịnh Thanh Bình, Trương Ninh Thuận, Nguyễn Việt Hà, Kiểm chứng sự tuân thủ về ràng buộc thời gian trong các ứng dụng phần mềm, Tạp chí Tin học và Điều khiển học, T. 26, S. 2, 173-184, 2010.
  4. Thanh-Binh Trinh, Quang-Thap Pham, Ninh-Thuan Truong, and Viet-Ha Nguyen, A Runtime Approach to Verify Scenario in Multi-agent Systems, 2nd Intern. Conf. on Knowledge and Systems Engineering (KSE 2010), pp. 161-166, Oct 7-9, 2010, Hanoi, Vietnam.
  5. Pham Ngoc Hung, Viet-Ha Nguyen, Toshiaki Aoki, and Takuya Katayama, Assume-Guarantee Tools for Component-Based Software Verification, 2nd Intern. Conf. on Knowledge and Systems Engineering (KSE 2010), pp. 172-177, Oct 7-9, 2010, Hanoi, Vietnam.
  6. Nam Hai Nguyen, Son Bao Pham, The Hien Nguyen, Viet Ha Nguyen, Ngoc Binh Nguyen and Tetsuo Noda, Open Source Softwares - Education, Practice and Applications at the University of Engineering and Technology (Vietnam), Proc. of the Workshop: Open Source Policy and Promotion of IT Industries in East Asia, pp. 23-25, June 2, 2010, Notre Dame, USA.
  7. Viet-Ha Nguyen, The Duy Bui, Quang-Dung Vu, and Nguyen Thi Thu Hien, Towards scalable agent based web service systems, NISS2010: 4th Intern. Conf. on New Trends in Information Science and Service Science, pp. 210-213, May 11-13, 2010, Gyeongju, Korea.

2009

  1. Ninh-Thuan Truong, Thanh-Binh Trinh, and Viet-Ha Nguyen, Coordinated Consensus Analysis of Multi-agent Systems using Event-B, pp. 201-209, 7th IEEE Intern. Conf. on Software Engineering and Formal Method (SEFM 2009), Hanoi, Vietnam, 23-27 November 2009.
  2. Nguyen Viet Anh, Nguyen Viet Ha, Ho Si Dam, Developing adaptive hypermedia system based on learning design level B with rules for adaptive learning activities, Tạp chí Khoa học (Khoa học Tự nhiên và Công nghệ), Đại học Quốc gia Hà Nội, Vol. 25, No. 1, pp. 1-12, 2009.
  3. Trần Thị Mai Thương, Phùng Chí Dũng, Nguyễn Việt Hà, Một mô hình chia sẻ nội dung cho các hệ thống đào tạo trực tuyến , Tạp chí Khoa học (Khoa học Tự nhiên và Công nghệ), Đại học Quốc gia Hà Nội, Vol 25, No. 1, pp. 49-57, 2009.
  4. Vu Quang Dung, Xinxiao Li, and Viet-Ha Nguyen, Implementing Adaptive Page Layout Algorithm on Embedded Devices, 1st Intern. Conf. on Knowledge and Systems Engineering (KSE 2009), pp. 51-54, Oct 14-15, 2009, Hanoi, Vietnam.
  5. Hitoshi Sasaki, Kazunori Mizuno, Viet-Ha Nguyen, and Yasushi Miki, A Web Enhanced Learning Support Environment using the Ubiquity Technology, 1st Intern. Conf. on Knowledge and Systems Engineering (KSE 2009), pp. 190-194, Oct 14-15, 2009, Hanoi, Vietnam.
  6. Tuan-Hung Pham, Ninh-Thuan Truong, and Viet-Ha Nguyen, Analyzing RBAC Security Policy of Implementation Using AST, 1st Intern. Conf. on Knowledge and Systems Engineering (KSE 2009), pp. 215-219, Oct 14-15, 2009, Hanoi, Vietnam.
  7. Thanh-Binh Trinh, Tuan-Anh Do, Ninh-Thuan Truong, and Viet-Ha Nguyen, Checking the Compliance of Timing Constraints in Software Applications, 1st Intern. Conf. on Knowledge and Systems Engineering (KSE 2009), pp. 220-225, Oct 14-15, 2009, Hanoi, Vietnam.
  8. Truong Ninh Thuan, Tran Thi Mai Thuong, To Van Khanh, and Nguyen Viet Ha, Checking consistency between UCM and PSM using graphical method, 1st Asian Conf. on Intelligent Information and Database System (ACIIDS 09), pp. 190-195, April 1-3, 2009, Quang Binh, Vietnam.
  9. Trinh Thanh Binh, Truong Anh Hoang, Nguyen Viet Ha, Checking Protocol-Conformance in Component Models using Aspect Oriented Programming, IASTED Intern. Conf. on Advances in Computer Science and Engineering 2009, pp. 150-155, March 16-18, 2009, Phuket, Thailand.

2008

  1. Trinh Thanh Binh, Truong Anh Hoang, Nguyen Viet Ha, A Dynamic Birthmark to Detect the Theft of Java Programs, Tạp chí Khoa học (Khoa học Tự nhiên và Công nghệ), Đại học Quốc gia Hà Nội, Vol. 24, No. 3S, pp. 123-130, 2008.
  2. To Van Khanh, Pham Van Viet, Truong Ninh Thuan and Nguyen Viet Ha, Checking the Conformance between the Implementation and PSM Specifications in Component Models, Tạp chí Khoa học (Khoa học Tự nhiên và Công nghệ), Đại học Quốc gia Hà Nội, Vol. 24, No. 3S, pp. 131-139, 2008.
  3. Nguyen Viet Anh, Nguyen Viet Ha, Ho Si Dam, Constructing a Bayesian Belief Network to Generate Learning Path in Adaptive Hypermedia System, Tạp chí Tin học và Điều khiển học, T24, S1, pp. 12-19, 2008.
  4. Viet Anh Nguyen, Viet Ha Nguyen, Si Dam Ho, and Hitoshi Sasaki, Bayesian Network Student Model for Adapting Learning Activity Tasks in Adaptive Course Generation System, TELearn'08, Dec 6th 2008, Hanoi.
  5. Masaya Yasui, Yuki Makita, Nguyen Viet Ha and Hitoshi Sasaki, Development of Educational Software using the Portable Video Game Console, TELearn'08, Dec 6th 2008, Hanoi.
  6. Hoang Truong, Thanh-Binh Trinh, Viet-Ha Nguyen, Trang Nguyen Thi Thu, Hung Dang Van and Hung Pham Dinh, Specifying and checking interface protocols using aspect-oriented programming, pp. 382-386, 6th IEEE Intern. Conf. on Software Engineering and Formal Method (SEFM 2008), Cape Town, South Africa, 10-14 November 2008.
  7. Vu Quang Dung and Nguyen Viet Ha, Real-Time Garbage Collection for Java Microprocessor, 1st IEEE Intern. Conf. on Advanced Technologies for Communications (ATC 2008), pp. 335-338, Hanoi, Vietnam, October 6-9, 2008.
  8. Ngo Xuan Bach, Le Anh Cuong, Nguyen Viet Ha, Nguyen Ngoc Binh, Transformation Rule Learning without Rule Templates: A Case Study in Part of Speech Tagging, The 7th Intern. Conf. on Advanced Language Processing and Web Information Technology (ALPIT 2008), pp. 9-14, Dalian, China, July 23-25, 2008.
  9. Truong Ninh Thuan, Tran Vu Viet Anh, and Nguyen Viet Ha, Consistency between UCM and PSMs in component models, 2008 IEEE Intern. Conf. on Research, Innovation and Vision for the Future in Computing & Communication Technologies, Addendum Contribution, pp. 184-189, Ho Chi Minh City, July 13-17, 2008.
  10. Ngô Xuân Bách, Lê Anh Cường, Nguyễn Việt Hà, Nguyễn Ngọc Bình, Một mô hình học các luật chuyển đổi cho bài toán gán nhãn từ loại, Hội thảo quốc gia lần thứ 11 “Một số vấn đề chọn lọc của Công nghệ thông tin và Truyền thông”, Huế, 6/2008.
  11. Võ Văn Thành, Trần Thị Mai Thương, Trương Anh Hoàng, Lê Việt Hà, Nguyễn Việt Hà, Tối ưu trọng số thuộc tính cho mô hình ước lượng chi phí dự án phần mềm, Hội thảo quốc gia lần thứ 11 “Một số vấn đề chọn lọc của Công nghệ thông tin và Truyền thông”, Huế, 6/2008.

2007

  1. Trần Vũ Việt Anh, Nguyễn Việt Hà, Một cách tiếp cận phát triển hệ thống đào tạo trực tuyến dựa trên công nghệ Portal, Tạp chí Khoa học (Khoa học Tự nhiên và Công nghệ), Đại học Quốc gia Hà Nội, Vol. 23, No. 3, pp. 152-159, 2007.
  2. Vu Quang Dung, Nguyen Viet Ha, To Van Khanh, Dynamically Reconfiguration Architecture for Embedded Systems using Kaffe, Tạp chí Khoa học (Toán - Vật lý), Đại học Quốc gia Hà Nội, Vol. 23, No. 1, pp. 15-21, 2007.
  3. Truong Ninh Thuan and Nguyen Viet Ha, Using B to Verify the Weaving of Aspects, 14th Asia-Pacific Software Engineering Conference (APSEC 2007), pp. 199-205, Dec 2007, Nagoya, Japan.
  4. Nguyen Hoang Ha, Tran Thi Mai Thuong, Truong Ninh Thuan, and Nguyen Viet Ha, Verifying the Compatibility of Components’ Ports upon Specification, Japan-Vietnam Workshop on Software Engineering 2007 - Verifiable and Evolvable e-Society, pp. 37-46, Sep 26-27, 2007, Hanoi.
  5. Ho Tat Thanh, Nguyen Thi Thu Trang, Truong Ninh Thuan, and Nguyen Viet Ha, An Approach for Verifying Invariants of Java Objects at Runtime, Japan-Vietnam Workshop on Software Engineering 2007 - Verifiable and Evolvable e-Society, pp. 17-28, Sep 26-27, 2007, Hanoi.
  6. Truong Ninh Thuan, Nguyen Viet Ha, Checking static crosscuts of AspectJ model using B notation, MCSE'07, pp. 21-25, 2007.
  7. Trịnh Thanh Bình, Đỗ Văn Chiểu, Nguyễn Việt Hà, Khảo sát các phương pháp kiểm chứng chương trình Java, Hội thảo quốc gia lần thứ 10 “Một số vấn đề chọn lọc của Công nghệ thông tin và Truyền thông”. Đại Lải, 9/2007.
  8. Nguyen Thi Thu Trang, Ho Tat Thanh, Truong Ninh Thuan, Nguyen Viet Ha, Ho Si Dam, An Approach for Verifying Aspect Advives using Model Checking, Hội thảo Quốc gia lần thứ 3 “Nghiên cứu cơ bản và ứng dụng CNTT” (FAIR'07), pp. 15-26, Nha Trang 5/2007.

2006

  1. Nguyen Ngoc Bao, Le Viet Ha, Nguyen Viet Ha, Applying CBR to Estimate Software Costs, Japan-Vietnam Workshop on Software Engineering 2006 - Verifiable and Evolvable e-Society, pp. 53-62, August 24-25, 2006, Hanoi.
  2. Nguyen Ngoc Bao, Nguyen Viet Ha, An Approach to Estimate Software Cost within a Narrow Context, ICTACS 2006, (Hochiminh city), pp. 203-214, World Scientific Publisher.
  3. Phan Hồ Việt Phương, Nguyễn Việt Hà, Hồ Sĩ Đàm, Ứng dụng biểu diễn ngữ nghĩa cho quản lý nội dung E-learning, Hội thảo “Kỷ niệm 30 năm ngày thành lập Viện Công nghệ Thông tin, Viện Khoa học và Công nghệ Việt Nam 1976-2006”, pp. 449-460.
  4. Trần Vũ Việt Anh, Nguyễn Việt Hà, Portal - Công nghệ hỗ trợ cho đào tạo trực tuyến, Hội thảo “Kỷ niệm 30 năm ngày thành lập Viện Công nghệ Thông tin, Viện Khoa học và Công nghệ Việt Nam 1976-2006”.
  5. Nguyễn Ngọc Bảo, Võ Văn Thành, Lê Việt Hà, Nguyễn Việt Hà, Ứng dụng Ontology trong mô hình ước lượng chi phí phần mềm sử dụng lập luận theo tình huống, Hội thảo quốc gia lần thứ 9 “Một số vấn đề chọn lọc của Công nghệ thông tin”, Đà Lạt, 6/2006.

2005

  1. Nguyễn Việt Hà, Phạm Ngọc Hùng, Thu hẹp không gian tìm kiếm lời giải trong các hệ lập luận dựa trên luật sử dụng lập luận theo tình huống, Tạp chí Bưu chính Viễn thông và Công nghệ thông tin, Chuyên san Các công trình nghiên cứu triển khai Viễn thông và Công nghệ thông tin, No. 15, pp. 36-42, 12/2005.
  2. Tran Vu Viet Anh, Nguyen Viet Ha, A Graphical Editor for the Statecharts Language, Tạp chí Khoa học (Toán - Vật lý), Đại học Quốc gia Hà Nội, Vol. 21, No. 3, pp. 1-9, 2005.
  3. Viet-Anh Vu Tran, Viet-Ha Nguyen and Wei-Ngan Chin, Working with Low-Level System Design from High Level-Language, 3rd Intern. Conf. in Computer Science, Research, Innovation & Vision of the Future (RIVF 2005), pp. 239-246, Can Tho, Vietnam, February, 2005.
  4. Phan Hồ Việt Phương, Nguyễn Việt Hà, Hồ Sĩ Đàm. Áp dụng lập luận theo tình huống để đánh giá sơ đồ biểu diễn giải thuật. Hội thảo Quốc gia FAIR'05, pp. 454-463.
  5. Nguyễn Ngọc Bảo, Phạm Ngọc Hùng, Nguyễn Việt Hà. Mô hình ước lượng sớm chi phí phần mềm sử dụng phương pháp lập luận theo kinh nghiệm. Hội thảo Quốc gia FAIR'05, pp. 178-186.
  6. Trịnh Thanh Bình, Nguyễn Việt Hà. Xây dựng hệ hỗ trợ khách hàng dựa trên mô hình lập luận theo kinh nghiệm. Hội thảo quốc gia lần thứ 8 “Một số vấn đề chọn lọc của công nghệ thông tin và truyền thông”. Hải Phòng, 2005.
  7. Đặng Việt Dũng, Đào Kiến Quốc, Nguyễn Việt Hà. Xây dựng bộ công cụ trợ giúp làm bài giảng điện tử. Hội thảo quốc gia lần thứ 8 “Một số vấn đề chọn lọc của công nghệ thông tin và truyền thông”. Hải Phòng, 2005.
  8. Đỗ Văn Chiểu, Phạm Ngọc Hùng, Nguyễn Việt Hà. Tối ưu trọng số cho hàm tính độ tương tự giữa các ca lập luận trong Case-based reasoning. Hội thảo quốc gia lần thứ 8 “Một số vấn đề chọn lọc của công nghệ thông tin và truyền thông”, pp. 130-138. Hải Phòng, 2005.
  9. Nguyễn Thị Minh Ánh, Đinh Việt Cường, Ngô Trí Hoài, Nguyễn Việt Hà. Mô hình liên mạng Nơ-ron ứng dụng trong nhận dạng chữ viết tay tiếng Việt. Hội thảo quốc gia lần thứ 8 “Một số vấn đề chọn lọc của công nghệ thông tin và truyền thông”, pp. 37-46. Hải Phòng, 2005.
  10. Phạm Ngọc Hùng, Lê Việt Hà, Nguyễn Việt Hà. Lập luận theo kinh nghiệm và ứng dụng. Hội thảo quốc gia lần thứ 8 “Một số vấn đề chọn lọc của công nghệ thông tin và truyền thông”. Hải Phòng, 2005.
  11. Lưu Hồng Vân, Trần Vũ Việt Anh, Nguyễn Việt Hà. Khảo sát khả năng xây dựng hệ thống E-learning dựa trên nền tảng công nghệ Portal. Hội thảo quốc gia lần thứ 8 “Một số vấn đề chọn lọc của công nghệ thông tin và truyền thông”, pp. 271-277. Hải Phòng, 2005.

2004

  1. Nguyễn Việt Hà, Phạm Ngọc Hùng, Hồ Sĩ Đàm, Trần Vũ Việt Anh, Case-based reasoning và khả năng tiếp cận bằng logic vị từ, Tạp chí Khoa học (Khoa học Tự nhiên và Công nghệ), Đại học Quốc gia Hà Nội, Vol. 20, No. 4, pp. 51-60, 2004.
  2. Tran Vu Viet Anh and Nguyen Viet Ha. A Bridge of Statecharts to Low-Level Language. Proc. of The 9th Biennial Vietnam Conference on Radio & Electronics (REV'04), pp. 291-295, Hanoi, November 2004.
  3. Trần Vũ Việt Anh, Nguyễn Việt Hà. Khảo sát khả năng tạo qui trình của workflow vào xây dựng bài học điện tử. Hội thảo quốc gia lần thứ 7 “Một số vấn đề chọn lọc của công nghệ thông tin và truyền thông”, pp. 15-21, Đà Nẵng 2004.
  4. Phạm Ngọc Hùng, Nguyễn Việt Hà, Hồ Sĩ Đàm. Khảo sát khả năng tiếp cận bằng logic vị từ trong lập luận theo kinh nghiệm. Hội thảo quốc gia lần thứ 7 “Một số vấn đề chọn lọc của công nghệ thông tin và truyền thông”, pp. 159-165, Đà Nẵng 2004.
  5. Phan Hồ Việt Phương, Nguyễn Việt Hà. Một cách đánh giá thiết kế giải thuật trong bài toán lập trình sử dụng lập luận theo kinh nghiệm. Hội thảo quốc gia lần thứ 7 “Một số vấn đề chọn lọc của công nghệ thông tin và truyền thông”, Đà Nẵng 2004.
  6. Phan Hồ Việt Phương, Hồ Ngân Hương, Nguyễn Việt Hà. Mô hình tri thức cho xây dựng bài giảng điện tử theo ngữ cảnh. Hội thảo quốc gia lần thứ 7 “Một số vấn đề chọn lọc của công nghệ thông tin và truyền thông”, pp. 315-323, Đà Nẵng 2004.
  7. Hồ Sĩ Đàm, Nguyễn Việt Hà, Đào Kiến Quốc, Lê Quang Hiếu. Mô hình đại học số hóa - một giải pháp tất yếu để đổi mới giáo dục đại học. Hội thảo "Đổi mới giáo dục đại học Việt Nam - Hội nhập và thách thức", pp. 47-54. Trích đăng trong "Tạp chí giáo dục", No. 88, 6/2004, pp. 7-9.

Before 2004

  1. Nguyen Viet Ha, Hokari Y., Ishikawa T., and Kasahara K., A Large-scale Knowledge Base for Measuring Semantic Similarity between Words, Journal of Information Processing Society of Japan (IPSJ), Vol. 43, No. 10, pp. 3127-3136, 2002.
  2. Nguyen Viet Ha, Ishikawa T., and Abe A., A Mechanism for Inferring Approximate Solutions under Incomplete Knowledge Based on Rule Similarity, Transactions of The Institute of Electronics, Information and Communication Engineers (IEICE), Vol. J84-D-I, No. 4, pp. 389-400, 2001.
  3. Ishikawa T., Izawa J., Nguyen Viet Ha, and Kasahara K., Optimal Realization of a Large Scale Knowledge Base for Measuring Semantic Similarity between Words, Journal of Japanese Society for Artificial Intelligence (JSAI), Vol. 13, No. 3, pp. 470-479, 1998.
  4. Nguyen Viet Ha, Ishikawa T., and Abe A., An Inference Mechanism under Incomplete Knowledge based on Rule Similarity Considering Viewpoint, 4th Intern. Conf. on Knowledge-based Intelligent Engineering Systems & Allied Technologies, pp. 750-755, Brighton - UK, 2000.
  5. Nguyen Viet Ha, Ishikawa T., and Abe A., A Mechanism for Inferring Approximate Solutions under Incomplete Knowledge based on Rule Similarity, in Mohammadian M. (ed.): Advances in Intelligent Systems: Theory and Applications, pp. 280-287, IOS Press, Canberra - Aus, 2000.
  6. Kobayashi T., Nguyen V.H., Shiono Y., and Ishikawa T.: A Dialogue System Featuring Mechanism to Answer Questions and Respond with Emotional Expression, JSAI technical report, SIG-SLUD-A003-1, pp. 1-8, 2001.
  7. Nguyen V.H., Ishikawa T., and Kasahara K.: Methods for Measuring Semantic Similarity between Vector-presented Words, JSAI technical report, SIG-LSE-A001-6, pp. 49-55, 2000.
  8. Nguyen V.H., Ishikawa T., and Abe A.: An Inference Mechanism for Approximate Solutions based on the Similarity between Rules, JSAI technical report, SIG-FAI-9802-9, pp. 55-62, 1998.
  9. Nguyen V.H., Ishikawa T., and Abe A.: An Inference Mechanism under Incomplete Knowledge based on Rule Similarity Considering Viewpoint, Proc. of the 14th conf. of JSAI, pp. 100-103, 2000.
  10. Kobayashi T., Nguyen V.H., Shiono Y., and Ishikawa T.: A Dialogue System using Common Sense Knowledge and User Information, Proc. of the 61st conf. of IPSJ, pp. (2)147-148, 2000.
  11. Nguyen V.H., Ishikawa T., and Abe A.: An Inference Mechanism for Approximate Solutions Using Similar Inference Paths and Solutions, Proc. of the 12th conf. of JSAI, pp. 246-249, 1998.
  12. Nguyen V.H., Ishikawa T., and Kanasugi T.: Solving Crossword Puzzles by a Scheme of Constraint Satisfaction Problems, Proc. of the 56th conf. of IPSJ, pp. (2)314-315, 1998.
  13. Nguyen V.H., Ishikawa T., and Abe A.: Inference Mechanism for an Approximate Solution Using the Similar Knowledge, Proc. of the 11th conf. of JSAI, pp. 120-123, 1997.

Books

  1. Trần Thị Minh Châu, Nguyễn Việt Hà, Lập trình hướng đối tượng, NXB ĐHQGHN, 2013.
  2. Hồ Sĩ Đàm, Nguyễn Việt Hà, Phạm Ngọc Hùng, Nguyễn Thế Lộc, Nguyễn Chí Trung, Lê Thủy Thạch, Đề kiểm tra theo chuẩn kiến thức, kỹ năng Tin học, lớp 10, 11, 12, NXB Giáo dục Việt Nam, 2011.
  3. Bùi Việt Hà, Nguyễn Việt Hà, Nguyễn Ngọc Huy, Kiều Văn Hưng, Phạm Thị Minh Phương, Bài tập thực hành Tin học dành cho Trung học cơ sở, quyển 1~4, NXB Giáo dục Việt Nam, 2010.
  4. Hồ Sĩ Đàm, Hồ Cẩm Hà, Nguyễn Việt Hà, Trần Đỗ Hùng, Từ điển Giáo khoa Tin học, NXB Giáo dục, 2009.
  5. Nguyễn Văn Vỵ, Nguyễn Việt Hà, Giáo trình Kỹ nghệ phần mềm, NXB Đại học quốc gia Hà Nội, 2008.
  6. Nguyen Viet Ha, Truong Ninh Thuan, Vu Quang Dung, Data Structures and Algorithms, Vietnam Open Courseware
  7. Hồ Sĩ Đàm, Nguyễn Việt Hà, Bùi Thế Duy, Cấu trúc dữ liệu và giải thuật, NXB Giáo dục, 2007.
  8. Hồ Sĩ Đàm, Hồ Cẩm Hà, Nguyễn Việt Hà, Trần Đỗ Hùng, Bài tập trắc nghiệm và đề kiểm tra Tin học 11, NXB Giáo dục, 2007.
  9. Hồ Sĩ Đàm, Hồ Cẩm Hà, Nguyễn Việt Hà, Quách Tất Kiên, Bài tập trắc nghiệm và đề kiểm tra Tin học 10, NXB Giáo dục, 2006.