Paulo Tabuada
0000-0002-3417-0951
Publication & Citation Trends
Publications
0 total
No publications found.
Research Topics
Formal Methods in Verification
(118)
Petri Nets in System Modeling
(82)
Advanced Control Systems Optimization
(60)
Smart Grid Security and Resilience
(53)
Stability and Control of Uncertain Systems
(41)
Affiliations
University of Notre Dame
University of Southern California
Centre National de la Recherche Scientifique
University of Lisbon
University of California, Los Angeles