Associate Researcher (优青副研究员)

Research Affiliate

AMSS-CAS

办公室（office）：思源楼，518

地址（address）：北京市海淀区中关村东路55号

**Links**

Google Scholar

GitHub

**Contact: **wangjie212@amss.ac.cn

Exploiting Term Sparsity in Moment-SOS hierarchy for Dynamical Systems

with Corbinian Schlosser, Milan Korda, and Victor Magron.

2021.

Certifying Global Optimality of AC-OPF Solutions via the CS-TSSOS Hierarchy

with Victor Magron and Jean-Bernard Lasserre.

2021.

Stability of Control Systems under Extended Weakly-Hard Constraints

with Nils Vreman, Paolo Pazzaglia, Victor Magron and Martina Maggio.

2021.

Exploiting Constant Trace Property in Large-Scale Polynomial Optimization

with Ngoc Hoang Anh Mai, Jean-Bernard Lasserre and Victor Magron.

2020.

Model Fitting by Semialgebraic Clustering

with Jared Miller, Mario Sznaier and Octavia Camps.

2020.

CS-TSSOS: Correlative and Term Sparsity for Large-Scale Polynomial Optimization

with Victor Magron, Jean-Bernard Lasserre and Ngoc Hoang Anh Mai.

2020.

Exploiting Sparsity in Complex Polynomial Optimization

with Victor Magron. *Journal of Optimization Theory and Applications*, 2021.

Nonnegative Polynomials and Circuit Polynomials *SIAM Journal on Applied Algebra and Aeometry*, 2021.

Exploiting Term Sparsity in Noncommutative Polynomial Optimization

with Victor Magron. *Computational Optimization and Applications*, 2021.

SONC Optimization and Exact Nonnegativity Certificates via Second-Order Cone Programming

with Victor Magron. *Journal of Symbolic Computation*, 2021.

TSSOS: a Julia Library to Exploit Sparsity for Large-Scale Polynomial Optimization

with Victor Magron. *MEGA'21*, 2021.

On Radically Expanding the Landscape of Potential Applications for Automated Proof Methods

with Jeffrey Uhlmann. *SN Computer Science*, 2021.

SparseJSR: A Fast Algorithm to Compute Joint Spectral Radius via Sparse SOS Decompositions

with Martina Maggio and Victor Magron. *ACC'21*, 2021.

Chordal-TSSOS: a moment-SOS hierarchy that exploits Term Sparsity with Chordal Extension

with Victor Magron and Jean-Bernard Lasserre. *SIAM Journal on Optimization*, 2021.

TSSOS: A Moment-SOS Hierarchy That Exploits Term Sparsity

with Victor Magron and Jean-Bernard Lasserre. *SIAM Journal on Optimization*, 2021.

A Second Order Cone Characterization for Sums of Nonnegative Circuits

with Victor Magron. *The 45th ISSAC*, 2020.

Bistability of sequestration networks

with Xiaoxian Tang.* Discrete Contin. Dyn. Syst. Ser. B*, 2020.

Toric P-difference varieties

*Science China Mathematics*, 63:643–670, 2020.

Systems of polynomials with at least one positive real zero *Journal of Algebra and Its Applications*, 2019.

A new sparse SOS decomposition algorithm based on term sparsity

with Haokun Li and Bican Xia.*The 44th ISSAC*, 2019.

Finite basis for radical well-mixed difference ideals generated by binomials

*Communications in Algebra*, 46(6):2589-2599, 2018.

Difference indices of quasi-prime difference algebraic systems

*Journal of Symbolic Computation*, 87:1-13, 2018.

Difference indices of quasi-regular difference algebraic systems

*Journal of Mathematical Sciences: Advances and Applications*, 46:31-49, 2017.

Monomial difference ideals

*Proceedings of the American Mathematical Society*, 145(4):1481-1496, 2017.

Toric difference variety

with Xiaoshan Gao, Zhang Huang, and Chunming Yuan.

*Journal of Systems Science and Complexity*, 30(1):173-195, 2017.