David Padua
Papers
1
Total Citations
31
H-Index
1
About
No biography available yet.
Research Focus
Artificial intelligence1 · 31 citations
Code (set theory)1 · 31 citations
Component (thermodynamics)1 · 31 citations
Component-based software engineering1 · 31 citations
Computer science1 · 31 citations
Computer security1 · 31 citations
Control (management)1 · 31 citations
Control engineering1 · 31 citations
Control system1 · 31 citations
Cyber-physical system1 · 31 citations
Distributed computing1 · 31 citations
Embedded system1 · 31 citations
Key Achievements
1
H-Index
1
Papers
31
Total Citations
31
Avg Citations/Paper
🏆 Most Cited Paper
High-Assurance SPIRAL: End-to-End Guarantees for Robot and Car Control
31 citations · 2017
📈 Most Prolific Year: 2017 (1 Papers)
🤝 Key Collaborators: 12
🏛 Institutions: University of Illinois System
Top Papers
- 1High-Assurance SPIRAL: End-to-End Guarantees for Robot and Car Control31 citations · 2017
Key Collaborators
LGLiang-Yan Gui1 shared papersAPAndré Platzer1 shared papersMFMike Franusich1 shared papersJJJeremy Johnson1 shared papersAPAmarin Phaosawasdi1 shared papersSKSoummya Kar1 shared papersFFFranz Franchetti1 shared papersJMJosé M. F. Moura1 shared papersTMTze Meng Low1 shared papersSMStefan Mitsch1 shared papersJPJuan Pablo Mendoza1 shared papersMVManuela Veloso1 shared papers
Not generated yet