Dang Van Pham
Chủ đề nghiên cứu: Logic, lập trình và hệ thống kiểuTrực quan hóa và phân tích dữ liệuMô hình hóa 3D trong ứng dụng không gian địa lý
Trường ĐH Nguyễn Tất Thành
Nguồn: OpenAlex24 công bố57 trích dẫn







6.90216%

24.70358%

51 / 42.309 người
7.03517%

3.9109%
Chủ đề nghiên cứu: Logic, lập trình và hệ thống kiểuTrực quan hóa và phân tích dữ liệuMô hình hóa 3D trong ứng dụng không gian địa lý
Trường ĐH Nguyễn Tất Thành
Nguồn: OpenAlex24 công bố57 trích dẫn
Chủ đề nghiên cứu: Logic, lập trình và hệ thống kiểuPhương pháp hình thức trong kiểm chứngHệ thống phân tán và khả năng chịu lỗi
University of Illinois Chicago
Nguồn: OpenAlex5 công bố39 trích dẫn
Chủ đề nghiên cứu: Logic, lập trình và hệ thống kiểuPhương pháp hình thức trong kiểm chứngPhương pháp luận kỹ nghệ phần mềm tiên tiến
VNU University of Engineering and Technology
Nguồn: OpenAlex9 công bố39 trích dẫn
Chủ đề nghiên cứu: Logic, lập trình và hệ thống kiểuPhương pháp hình thức trong kiểm chứngKỹ thuật kiểm thử và gỡ lỗi phần mềm
University College London
Nguồn: OpenAlex39 công bố541 trích dẫn
Chủ đề nghiên cứu: Logic, lập trình và hệ thống kiểuPhương pháp hình thức trong kiểm chứngLogic, suy luận và tri thức
VNU University of Engineering and Technology
Nguồn: OpenAlex5 công bố12 trích dẫn
Chủ đề nghiên cứu: Logic, lập trình và hệ thống kiểuKỹ thuật kỹ nghệ phần mềm hướng mô hìnhPhương pháp hình thức trong kiểm chứng
Eastern International University
Nguồn: OpenAlex124 công bố3.370 trích dẫn
Chủ đề nghiên cứu: Logic, lập trình và hệ thống kiểuPhương pháp hình thức trong kiểm chứngKỹ thuật kiểm thử và gỡ lỗi phần mềm
Vietnam National University Ho Chi Minh City
Nguồn: OpenAlex24 công bố124 trích dẫn
Chủ đề nghiên cứu: Logic, lập trình và hệ thống kiểuKỹ thuật kiểm thử và gỡ lỗi phần mềmPhương pháp hình thức trong kiểm chứng
University of Economics and Law
Nguồn: OpenAlex22 công bố143 trích dẫn
Chủ đề nghiên cứu: Logic, lập trình và hệ thống kiểuPhương pháp hình thức trong kiểm chứngKỹ thuật kỹ nghệ phần mềm hướng mô hình
Industrial University of Ho Chi Minh City
Nguồn: OpenAlex7 công bố262 trích dẫn
Chủ đề nghiên cứu: Logic, lập trình và hệ thống kiểuPhương pháp hình thức trong kiểm chứngLogic, suy luận và tri thức
Vietnamese-German University
Nguồn: OpenAlex34 công bố169 trích dẫn
Chủ đề nghiên cứu: Logic, lập trình và hệ thống kiểuPhương pháp hình thức trong kiểm chứngĐiều khiển và quản lý giao thông
Vietnam National University Ho Chi Minh City
Nguồn: OpenAlex13 công bố42 trích dẫn
Chủ đề nghiên cứu: Logic, lập trình và hệ thống kiểuKỹ thuật kiểm thử và gỡ lỗi phần mềmPhương pháp hình thức trong kiểm chứng
VNU University of Engineering and Technology
Nguồn: OpenAlex34 công bố48 trích dẫn
Chủ đề nghiên cứu: Logic, lập trình và hệ thống kiểuTính toán song song và kỹ thuật tối ưu hóaHệ thống tính toán phân tán và song song
University of Transport and Communications
Nguồn: OpenAlex10 công bố982 trích dẫn
Chủ đề nghiên cứu: Logic, lập trình và hệ thống kiểuPhương pháp hình thức trong kiểm chứngThuật toán lập kế hoạch đường đi cho robot
Ho Chi Minh City University of Technology and Engineering
Nguồn: OpenAlex15 công bố353 trích dẫn
Chủ đề nghiên cứu: Logic, lập trình và hệ thống kiểuPhân tích dữ liệu không gian và dữ liệu bảngHệ thống nhận dạng hoạt động nhận biết ngữ cảnh
Trường ĐH Nguyễn Tất Thành
Nguồn: OpenAlex9 công bố7 trích dẫn
Chủ đề nghiên cứu: Logic, lập trình và hệ thống kiểuHệ thống nhận dạng hoạt động nhận biết ngữ cảnhPhương pháp luận kỹ nghệ phần mềm tiên tiến
Trường ĐH Nguyễn Tất Thành
Nguồn: OpenAlex130 công bố432 trích dẫn
Chủ đề nghiên cứu: Logic, lập trình và hệ thống kiểuPhương pháp hình thức trong kiểm chứngKỹ thuật kỹ nghệ phần mềm hướng mô hình
Trường Đại học Khoa học và Công nghệ Hà Nội
Nguồn: OpenAlex10 công bố59 trích dẫn
Chủ đề nghiên cứu: Logic, lập trình và hệ thống kiểuPhương pháp hình thức trong kiểm chứngKỹ thuật kỹ nghệ phần mềm hướng mô hình
VNU University of Engineering and Technology
Nguồn: OpenAlex27 công bố36 trích dẫn
Chủ đề nghiên cứu: Logic, lập trình và hệ thống kiểuIoT và điện toán biên/sương mùĐiều khiển và động lực học robot di động
Vietnam Maritime University
Nguồn: OpenAlex7 công bố15 trích dẫn
Chủ đề nghiên cứu: Logic, lập trình và hệ thống kiểuThuật toán tiến hóa và ứng dụngNghiên cứu thuật toán tối ưu metaheuristic
Le Quy Don Technical University
Nguồn: OpenAlex14 công bố158 trích dẫn
Chủ đề nghiên cứu: Logic, lập trình và hệ thống kiểuKỹ thuật kiểm thử và gỡ lỗi phần mềmPhương pháp hình thức trong kiểm chứng
Posts and Telecommunications Institute of Technology
Nguồn: OpenAlex12 công bố73 trích dẫn
Chủ đề nghiên cứu: Logic, lập trình và hệ thống kiểuHệ đa tác tử và đàm phánLogic, suy luận và tri thức
VinUniversity
Nguồn: OpenAlex5 công bố59 trích dẫn
Chủ đề nghiên cứu: Logic, lập trình và hệ thống kiểuLý thuyết tính được, logic, thuật toán trí tuệ nhân tạoĐộ phức tạp và thuật toán trên đồ thị
Ho Chi Minh City University of Technology
Nguồn: OpenAlex11 công bố46 trích dẫn
Chủ đề nghiên cứu: Logic, lập trình và hệ thống kiểuThuật toán tiến hóa và ứng dụngNghiên cứu thuật toán tối ưu metaheuristic
Hanoi University of Science and Technology
Nguồn: OpenAlex62 công bố1.617 trích dẫn