Công trình khoa học

Tạp chí

  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. 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.
  5. 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, 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.
  6. 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.
  7. 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
  8. Nguyen Viet Ha, Hokari Y., Ishikawa T., and Kasahara K., A Large-scale Knowledge Base for Measuring Semantic Similarity between Words, IPSJ Transactions, Vol. 43, No. 10, pp. 3127-3136, 2002.
  9. Nguyen Viet Ha, Ishikawa T., and Abe A., A Mechanism for Inferring Approximate Solutions under Incomplete Knowledge Based on Rule Similarity, IEICE Transactions, Vol. J84-D-I, No. 4, pp. 389-400, 2001.
  10. 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 JSAI, Vol. 13, No. 3, pp. 470-479, 1998.

Hội nghị Quốc tế

  1. Viet Anh Nguyen , Viet Ha Nguyen, Si Dam Ho, Hitoshi Sasaki, Bayesian Network Student Model for Adapting Learning Activity Tasks in Adaptive Course Generation System, TELearn'08, Dec 6th 2008, Hanoi.
  2. 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.
  3. 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 International Conferences on Software Engineering and Formal Method (SEFM 2008), Cape Town, South Africa, 10-14 November 2008.
  4. Vu Quang Dung and Nguyen Viet Ha, Real-Time Garbage Collection for Java Microprocessor, 1st International Conference on Advanced Technologies for Communications (ATC 2008), pp. 339-342, Hanoi, Vietnam, October 6-9, 2008.
  5. 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 International Conference on Advanced Language Processing and Web Information Technology (ALPIT 2008), pp. 9-14, Dalian, China, July 23-25, 2008.
  6. Truong Ninh Thuan, Tran Vu Viet Anh, and Nguyen Viet Ha, Consistency between UCM and PSMs in component models, 2008 IEEE International Conference on Research, Innovation and Vision for the Future in Computing & Communication Technologies, Ho Chi Minh City, July 13-17, 2008.
  7. 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.
  8. 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.
  9. 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.
  10. Truong Ninh Thuan, Nguyen Viet Ha, Checking static crosscuts of AspectJ model using B notation, MCSE'07, pp. 21-25, 2007.
  11. 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.
  12. 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.
  13. Viet-Anh Vu Tran, Viet-Ha Nguyen and Wei-Ngan Chin, Working with Low-Level System Design from High Level-Language, in the proceeding of 3rd International Conference in Computer Science, Research, Innovation & Vision of the Future (RIVF 2005), pp. 239-246, Can Tho, Vietnam, February, 2005.
  14. Nguyen Viet Ha, Ishikawa T., and Abe A., An Inference Mechanism under Incomplete Knowledge based on Rule Similarity Considering Viewpoint, Proc. of the 4th Inter. Conf. on Knowledge-based Intelligent Engineering Systems & Allied Technologies, pp. 750-755, Brighton - UK, 2000.
  15. 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 System: Theory and Applications, pp. 280-287, IOS Press, Canberra - Aus, 2000.

Hội thảo quốc gia

Năm 2008:

  1. 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.
  2. 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.

Năm 2007:

  1. 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.
  2. 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 FAIR'07, Nha Trang 5/2007.

Năm 2006:

  1. 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.
  2. 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”.
  3. 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.

Năm 2005:

  1. 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.
  2. 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.
  3. 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.
  4. Đặ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.
  5. Đỗ 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.
  6. 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.
  7. 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.
  8. 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.

Năm 2004:

  1. 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.
  2. 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.
  3. 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.
  4. 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.
  5. 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.
  6. 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.

Sách, giáo trình, tài liệu tham khảo

  1. 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.
  2. Nguyen Viet Ha, Truong Ninh Thuan, Vu Quang Dung, Data Structures and Algorithms, Vietnam Open Courseware
  3. 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.
  4. 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.
  5. 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.