Luan Viet Nguyen

California University of Pennsylvania, The University of Texas at Arlington, University of Dayton

论文数

6

总引用数

77

H-Index

4

关于

暂无简介。

研究焦点

Computer science6 · 77 次引用
Artificial intelligence4 · 66 次引用
Theoretical computer science3 · 66 次引用
Scalability3 · 63 次引用
Algorithm2 · 58 次引用
Reachability2 · 58 次引用
Computation2 · 57 次引用
Artificial neural network1 · 49 次引用
Set operations1 · 49 次引用
Parallelizable manifold1 · 49 次引用
Set (abstract data type)1 · 49 次引用
Programming language4 · 19 次引用

主要成就

4
H 指数
6
论文
77
总引用数
13
篇均引用
🏆 最高被引论文
Parallelizable Reachability Analysis Algorithms for Feed-Forward Neural Networks
49 次引用 · 2019
📈 最高产年份: 2023 (2 论文)
🤝 主要合作者: 23
🏛 所属机构: California University of Pennsylvania, The University of Texas at Arlington, University of Dayton

代表论文

  1. 1
    Parallelizable Reachability Analysis Algorithms for Feed-Forward Neural Networks
    49 次引用 · 2019
  2. 2
    Large-Scale Linear Systems from Order-Reduction
    9 次引用 · 2018
  3. 3
    Motion Planning Using Hyperproperties for Time Window Temporal Logic
    8 次引用 · 2023
  4. 4
    Tutorial: Software tools for hybrid systems verification, transformation, and synthesis: C2E2, HyST, and TuLiP
    6 次引用 · 2016
  5. 5
    Model Checking Time Window Temporal Logic for Hyperproperties
    3 次引用 · 2023
  6. 6
    Perception-based Runtime Monitoring and Verification for Human-Robot Construction Systems
    2 次引用 · 2024

主要合作者

HTHoang-Dung Tran3 篇合著论文TTTaylor T. Johnson3 篇合著论文KAKhaza Anuarul Hoque2 篇合著论文EBErnest Bonnah2 篇合著论文WXWeiming Xiang2 篇合著论文PMPatrick Musau1 篇合著论文BQBolun Qi1 篇合著论文MVMahesh Viswanathan1 篇合著论文SBStanley Bak1 篇合著论文DMDiego Manzanas Lopez1 篇合著论文XYXiaodong Yang1 篇合著论文SMSayan Mitra1 篇合著论文HTHoang-Dung Tran1 篇合著论文PSParasara Sridhar Duggirala1 篇合著论文MPMatthew Potok1 篇合著论文APApala Pramanik1 篇合著论文CSChristian Schilling1 篇合著论文ASAndrew Sogokon1 篇合著论文CFChuchu Fan1 篇合著论文KKKyungki Kim1 篇合著论文
尚未生成