Ứng dụng công nghệ mô phỏng phục vụ giảng dạy các môn học ngành cơ khí trong trường Cao đẳng GTVT

Ứng dụng công nghệ mô phỏng xây dựng một số tình huống dạy lái ô tô

Nghiên cứu xây dựng phần mềm quản lý hệ thống bán vé trực tuyến cho hành khách sử dụng dịch vụ của hãng xe kinh doanh vận tải hành khách.

Tăng cường độ chính xác trong việc nhận diện đối tượng trên các thiết bị cạnh thông minh

Tạp chí an toàn thông tin, Số 2.CS(19) 2023

An Efficient Sliding Window for Improving Edge-Object Detectors

The 7th Edition of RICE-2022 proceedings will be included in Annals of Computer Science and Information Systems, Poland (ISSN- 2300-5963).

EdgeLabel: A Video Annotation Method for Moving Camera using Edge Devices

Proceedings of the 2nd International Conference on Human-centered Artificial Intelligence, pp 91-99, 2021.

Real-Time End-to-End 3D Human Pose Prediction on AI Edge Devices

Intelligent Systems and Networks, Springer pp 248-255, ICISN 2021

A Method for Modelling and Verifying of UML 2.0 Sequence Diagrams using SPIN

Information security journal, pp. 20(1), 2019

On Implementation of the Assumption Generation Method for Component-Based Software Verification

Advanced Topics in Intelligent Information and Database Systems. Springer International Publishing, pp. 549-558. 3-5 April 2017, Kanazawa, Japan.

A Framework for Modeling and Modular Verification of Component – Based System Designs

VNU journal of Computer Science and Communication Engineering, 32(2), 2016

On Improvents of the Model Generation Method from UML 2.0 Sequence Diagram

Proceedings of the 9th National Conference on Fundamental and Applied Information Technology Research

A Strongest Assumption Generation Method for Component-Based Software Verification

In Proc. of the 12th IEEE - RIVF International Conference on Computing and Communication Technologies, IEEE Computer Society Press, 2016

An Efficient Method for Automated Generating Models of Component – based Software

Knowledge and Systems Engineering, Springer International Publishing, volumn 326, pp. 499-511, 2015

Ngôn ngữ lập trình Java

Toán rời rạc

Ngôn ngữ lập trình C

Creative Approaches Towards Development of Computing and Multidisciplinary IT Solutions for Socitety (295-307)

Lê Thành Đoàn

Nghiên cứu phương pháp kiểm thử tự động, ứng dụng kiểm thử cho website thương mại điện tử

Nguyễn Văn Hoàn

Xây dựng công cụ hỗ trợ tìm kiếm và kiểm thử tự động cho biểu thức chính quy trong các dự án mã nguồn C/C++.

Nguyễn Thị Huyền

Tự động phát hiện và sửa lỗi chương trình Java.

Nguyễn Phan Lực

Hoàn thiện công tác quản lý chất lượng vận tải hành khách công cộng bằng xe buýt tại tổng công ty vận tải Hà Nội.

Phạm Chí Hiếu

Nghiên cứu lý thuyết về tọa độ không gian qua hệ trực chuẩn, ứng dụng xây dựng phần mềm kiểm tra, huấn luyện bắn súng bộ binh