- On Algebraic Proofs of Stability for Homogeneous Vector Fieldstac, 65(1):325-332, 2020. [doi]

- On the Construction of Converging Hierarchies for Polynomial Optimization Based on Certificates of Global Positivitymor, 44(4):1192-1207, 2019. [doi]
- DSOS and SDSOS Optimization: More Tractable Alternatives to Sum of Squares and Semidefinite Optimizationsiaga, 3(2):193-230, 2019. [doi]
- Polynomial Normssiamjo, 29(1):399-422, 2019. [doi]

- Optimization over structured subsets of positive semidefinite matrices via column generationdisopt, 24:129-151, 2017. [doi]
- Sum of Squares Certificates for Stability of Planar, Homogeneous, and Switched Systemstac, 62(10):5269-5274, 2017. [doi]
- Improving efficiency and scalability of sum of squares optimization: Recent advances and limitationscdc 2017: 453-462 [doi]
- A Characterization of Lyapunov Inequalities for Stability of Switched Systemstac, 62(6):3062-3067, 2017. [doi]

- Switched stability of nonlinear systems via SOS-convex Lyapunov functions and semidefinite programmingcdc 2013: 727-732 [doi]
- A Complete Characterization of the Gap between Convexity and SOS-Convexitysiamjo, 23(2):811-833, 2013. [doi]
- NP-hardness of deciding convexity of quartic polynomials and related problemsmp, 137(1-2):453-476, 2013. [doi]

- Algebraic relaxations and hardness results in polynomial optimization and Lyapunov analysisPhD thesis, Massachusetts Institute of Technology, Cambridge, MA, USA, 2011. [doi]