Diego Manzanas Lopez

Author

Vanderbilt University ORCID

Also Known As

Diego Manzanas Lopez, Lopez, Diego Manzanas, Manzanas Lopez Diego

Publications

516

Citations

H-Index

Concepts

All Affiliations

Vanderbilt University University of Dayton Stony Brook University Aalborg University University of Nebraska–Lincoln

About

Diego Manzanas Lopez is an author at Vanderbilt University specializing in computer science, engineering, and systems engineering.

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	10	10	278
2	Computer Science	10	10	278
3	Systems Engineering	9	9	264
4	Computer Engineering	8	8	246
5	Space Engineering	1	1	15

Diego Manzanas Lopez

Publications

372

Citations

H-Index

Page 1

	Year	Citations
Verification for Machine Learning, Autonomy, and Neural Networks Survey Weiming Xiang, Patrick Musau, Ayana A. Wild, arXiv (Cornell University) Artificial IntelligenceEngineeringMachine LearningVerificationAutonomous Systems	2018	93
Parallelizable Reachability Analysis Algorithms for Feed-Forward Neural Networks Hoang-Dung Tran, Patrick Musau, Diego Manzanas Lopez, Artificial IntelligenceEngineeringMachine LearningReachability ProblemAi Foundation	2019	49
NNV: The Neural Network Verification Tool for Deep Neural Networks and Learning-Enabled Cyber-Physical Systems Hoang-Dung Tran, Xiaodong Yang, Diego Manzanas Lopez, Lecture notes in computer science	2020	30
ARCH-COMP20 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants Taylor T. Johnson, Diego Manzanas Lopez, Patrick Musau, EPiC series in computing Artificial IntelligenceEngineeringMachine LearningAutomationIntelligent Control	2020	25
Verification of Closed-loop Systems with Neural Network Controllers Diego Manzanas Lopez, Patrick Musau, Hoang-Dung Tran, EPiC series in computing Artificial IntelligenceReal-time ControlEngineeringVerificationComplex Systems	2019	18
ARCH-COMP22 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants Diego Manzanas Lopez, Matthias Althoff, Luis Benet, EPiC series in computing Artificial IntelligenceEngineeringMachine LearningArch-comp22 Category ReportVerification	2022	18
ARCH-COMP23 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants Diego Manzanas Lopez, Matthias Althoff, Marcelo Forets, EPiC series in computing	2023	18
ARCH-COMP19 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants Diego Manzanas Lopez, Patrick Musau, Hoang-Dung Tran, EPiC series in computing Artificial IntelligenceEngineeringMachine LearningVerificationIntelligent Systems	2019	17
Verification of Neural Network Compression of ACAS Xu Lookup Tables with Star Set Reachability Diego Manzanas Lopez, Taylor T. Johnson, Hoang-Dung Tran, AIAA Scitech 2021 Forum	2021	17
Verification of piecewise deep neural networks: a star set approach with zonotope pre-filter Hoang-Dung Tran, Neelanjana Pal, Diego Manzanas Lopez, Formal Aspects of Computing	2021	17

Page 1