Hoang-Dung Tran

Vanderbilt University, The University of Texas at Arlington

论文数

7

总引用数

452

H-Index

6

关于

暂无简介。

研究焦点

Artificial intelligence7 · 452 次引用
Computer science7 · 452 次引用
Algorithm6 · 446 次引用
Set (abstract data type)5 · 437 次引用
Artificial neural network5 · 437 次引用
Perceptron4 · 388 次引用
Engineering4 · 314 次引用
Mathematics3 · 313 次引用
Convex optimization2 · 304 次引用
Regular polygon2 · 304 次引用
Monotonic function2 · 304 次引用
Mathematical optimization2 · 304 次引用

主要成就

6
H 指数
7
论文
452
总引用数
65
篇均引用
🏆 最高被引论文
Output Reachable Set Estimation and Verification for Multilayer Neural Networks
270 次引用 · 2018
📈 最高产年份: 2018 (2 论文)
🤝 主要合作者: 16
🏛 所属机构: Vanderbilt University, The University of Texas at Arlington

代表论文

  1. 1
    Output Reachable Set Estimation and Verification for Multilayer Neural Networks
    270 次引用 · 2018
  2. 2
    Reachable Set Estimation for Neural Network Control Systems: A Simulation-Guided Approach
    80 次引用 · 2020
  3. 3
    Parallelizable Reachability Analysis Algorithms for Feed-Forward Neural Networks
    49 次引用 · 2019
  4. 4
    Output Reachable Set Estimation and Verification for Multi-Layer Neural Networks
    34 次引用 · 2017
  5. 5
    Large-Scale Linear Systems from Order-Reduction
    9 次引用 · 2018
  6. 6
    Tutorial: Software tools for hybrid systems verification, transformation, and synthesis: C2E2, HyST, and TuLiP
    6 次引用 · 2016
  7. 7
    Reachable Set Estimation for Neural Network Control Systems: A Simulation-Guided Approach
    4 次引用 · 2020

主要合作者

TTTaylor T. Johnson7 篇合著论文WXWeiming Xiang6 篇合著论文LVLuan Viet Nguyen3 篇合著论文XYXiaodong Yang3 篇合著论文DMDiego Manzanas Lopez1 篇合著论文PMPatrick Musau1 篇合著论文SMSayan Mitra1 篇合著论文PSParasara Sridhar Duggirala1 篇合著论文MPMatthew Potok1 篇合著论文BQBolun Qi1 篇合著论文CSChristian Schilling1 篇合著论文ASAndrew Sogokon1 篇合著论文CFChuchu Fan1 篇合著论文SBSergiy Bogomolov1 篇合著论文MVMahesh Viswanathan1 篇合著论文SBStanley Bak1 篇合著论文

联系与链接

可合作
内容已生成 · 16 天前