Papers
6
Total Citations
77
H-Index
4
About
No biography available yet.
Research Focus
Computer science6 · 77 citations
Artificial intelligence4 · 66 citations
Theoretical computer science3 · 66 citations
Scalability3 · 63 citations
Algorithm2 · 58 citations
Reachability2 · 58 citations
Computation2 · 57 citations
Artificial neural network1 · 49 citations
Set operations1 · 49 citations
Parallelizable manifold1 · 49 citations
Set (abstract data type)1 · 49 citations
Programming language4 · 19 citations
Key Achievements
4
H-Index
6
Papers
77
Total Citations
13
Avg Citations/Paper
🏆 Most Cited Paper
Parallelizable Reachability Analysis Algorithms for Feed-Forward Neural Networks
49 citations · 2019
📈 Most Prolific Year: 2023 (2 Papers)
🤝 Key Collaborators: 23
🏛 Institutions: California University of Pennsylvania, The University of Texas at Arlington, University of Dayton
Top Papers
- 1
- 2Large-Scale Linear Systems from Order-Reduction9 citations · 2018
- 3Motion Planning Using Hyperproperties for Time Window Temporal Logic8 citations · 2023
- 4
- 5Model Checking Time Window Temporal Logic for Hyperproperties3 citations · 2023
- 6
Key Collaborators
HTHoang-Dung Tran3 shared papersTTTaylor T. Johnson3 shared papersKAKhaza Anuarul Hoque2 shared papersEBErnest Bonnah2 shared papersWXWeiming Xiang2 shared papersPMPatrick Musau1 shared papersBQBolun Qi1 shared papersMVMahesh Viswanathan1 shared papersSBStanley Bak1 shared papersDMDiego Manzanas Lopez1 shared papersXYXiaodong Yang1 shared papersSMSayan Mitra1 shared papersHTHoang-Dung Tran1 shared papersPSParasara Sridhar Duggirala1 shared papersMPMatthew Potok1 shared papersAPApala Pramanik1 shared papersCSChristian Schilling1 shared papersASAndrew Sogokon1 shared papersCFChuchu Fan1 shared papersKKKyungki Kim1 shared papers
Not generated yet