PT

Paulo Tabuada

University of California, Los Angeles 0000-0002-3417-0951

348

Publications

22,054

Citations

55

h-index

152

i10-index

Loading papers...

Search by keywords

Filter by Type

Article (223)
Preprint (80)
Book Chapter (31)
Book (6)
Other (4)

Filter by Open Access Type

Open Access (136)
Closed Access (212)

Filter by Authors

Paulo Tabuada (348)
George J. Pappas (43)
Yasser Shoukry (31)
Aaron D. Ames (28)
Adolfo Anta (26)

Filter by 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)