Weiming Xiang

Vanderbilt University, Augusta University, The University of Texas at Arlington

Papers

9

Total Citations

473

H-Index

6

About

No biography available yet.

Research Focus

Artificial intelligence9 · 473 citations
Computer science9 · 473 citations
Artificial neural network8 · 467 citations
Algorithm7 · 465 citations
Set (abstract data type)6 · 461 citations
Perceptron4 · 388 citations
Mathematical optimization4 · 332 citations
Mathematics4 · 332 citations
Engineering4 · 314 citations
Monotonic function2 · 304 citations
Convex optimization2 · 304 citations
Regular polygon2 · 304 citations

Key Achievements

6
H-Index
9
Papers
473
Total Citations
53
Avg Citations/Paper
🏆 Most Cited Paper
Output Reachable Set Estimation and Verification for Multilayer Neural Networks
270 citations · 2018
📈 Most Prolific Year: 2020 (2 Papers)
🤝 Key Collaborators: 19
🏛 Institutions: Vanderbilt University, Augusta University, The University of Texas at Arlington

Top Papers

  1. 1
    Output Reachable Set Estimation and Verification for Multilayer Neural Networks
    270 citations · 2018
  2. 2
    Reachable Set Estimation for Neural Network Control Systems: A Simulation-Guided Approach
    80 citations · 2020
  3. 3
    Parallelizable Reachability Analysis Algorithms for Feed-Forward Neural Networks
    49 citations · 2019
  4. 4
    Output Reachable Set Estimation and Verification for Multi-Layer Neural Networks
    34 citations · 2017
  5. 5
    Guaranteed approximation error estimation of neural networks and model modification
    24 citations · 2022
  6. 6
    Tutorial: Software tools for hybrid systems verification, transformation, and synthesis: C2E2, HyST, and TuLiP
    6 citations · 2016
  7. 7
    Robust Optimization Framework for Training Shallow Neural Networks Using Reachability Method
    4 citations · 2021
  8. 8
    Reachable Set Estimation for Neural Network Control Systems: A Simulation-Guided Approach
    4 citations · 2020
  9. 9
    A Distributed Neural Hybrid System Learning Framework in Modeling Complex Dynamical Systems
    2 citations · 2024

Key Collaborators

TTTaylor T. Johnson6 shared papersHTHoang-Dung Tran6 shared papersYYYejiang Yang3 shared papersXYXiaodong Yang3 shared papersTWTao Wang2 shared papersLVLuan Viet Nguyen2 shared papersSMSayan Mitra1 shared papersPSParasara Sridhar Duggirala1 shared papersMPMatthew Potok1 shared papersCSChristian Schilling1 shared papersASAndrew Sogokon1 shared papersCFChuchu Fan1 shared papersSBSergiy Bogomolov1 shared papersMVMahesh Viswanathan1 shared papersJPJefferson P. Woolard1 shared papersPMPatrick Musau1 shared papersBQBolun Qi1 shared papersSBStanley Bak1 shared papersDMDiego Manzanas Lopez1 shared papers
Not generated yet