Lifting techniques for triangular decompositions. - Xavier Dahan; Marc Moreno Maza; Éric Schost; Wenyuan Wu; Yuzhen Xie (ISSAC, 2005)

On the complexity of the D5 principle. - Xavier Dahan; Éric Schost; Marc Moreno Maza; Wenyuan Wu; Yuzhen Xie (SIGSAM Bull., 2005)

The RegularChains library in MAPLE. - François Lemaire; Marc Moreno Maza; Yuzhen Xie (SIGSAM Bull., 2005)

An implementation report for parallel triangular decompositions. - Marc Moreno Maza; Yuzhen Xie (SPAA, 2006)

Efficient Computations of Irredundant Triangular Decompositions with the RegularChains Library. - Changbo Chen; François Lemaire; Marc Moreno Maza; Wei Pan 001; Yuzhen Xie (International Conference on Computational Science (2), 2007)

Multiprocessed parallelism support in ALDOR on SMPs and multicores. - Marc Moreno Maza; Ben Stephenson; Stephen M. Watt; Yuzhen Xie (PASCO, 2007)

Component-level parallelization of triangular decompositions. - Marc Moreno Maza; Yuzhen Xie (PASCO, 2007)

Fast algorithms, modular methods, parallel approaches and software engineering for solving polynomial systems symbolically. - Yuzhen Xie (ACM Commun. Comput. Algebra, 2007)

When does (T) equal sat(T)? - François Lemaire; Marc Moreno Maza; Wei Pan 001; Yuzhen Xie (ISSAC, 2008)

On the representation of constructible sets. - Changbo Chen; Liyun Li; Marc Moreno Maza; Wei Pan 001; Yuzhen Xie (ACM Commun. Comput. Algebra, 2008)

The ConstructibleSetTools and ParametricSystemTools modules of the RegularChains library in Maple. - Changbo Chen; Marc Moreno Maza; François Lemaire; Wei Pan 001; Liyun Li; Yuzhen Xie (ACM Commun. Comput. Algebra, 2008)

Automatic variable order selection for polynomial system solving (abstract only). - John P. May; Mark Giesbrecht; Daniel S. Roche; Marc Moreno Maza; Yuzhen Xie (ACM Commun. Comput. Algebra, 2008)

On the verification of polynomial system solvers. - Changbo Chen; Marc Moreno Maza; Wei Pan 001; Yuzhen Xie (Frontiers Comput. Sci. China, 2008)

FFT-Based Dense Polynomial Arithmetic on Multi-cores. - Marc Moreno Maza; Yuzhen Xie (HPCS, 2009)

Parallel computation of the minimal elements of a poset. - Charles E. Leiserson; Marc Moreno Maza; Liyun Li; Yuzhen Xie (PASCO, 2010)

Spiral-generated modular FFT algorithms. - Lingchuan Meng; Yevgen Voronenko; Jeremy R. Johnson; Marc Moreno Maza; Franz Franchetti; Yuzhen Xie (PASCO, 2010)

Efficient Evaluation of Large Polynomials. - Charles E. Leiserson; Liyun Li; Marc Moreno Maza; Yuzhen Xie (ICMS, 2010)

Cache complexity and multicore implementation for univariate real root isolation. - Changbo Chen; Marc Moreno Maza; Yuzhen Xie (ACM Commun. Comput. Algebra, 2010)

Abstract only: SPIRAL-generated modular FFTs. - Lingchuan Meng; Jeremy Johnson 001; Franz Franchetti; Yevgen Voronenko; Marc Moreno Maza; Yuzhen Xie (ACM Commun. Comput. Algebra, 2010)

Computing the real solutions of polynomial systems with the RegularChains library in Maple. - Changbo Chen; James H. Davenport; François Lemaire; Marc Moreno Maza; Bican Xia; Rong Xiao 004; Yuzhen Xie (ACM Commun. Comput. Algebra, 2011)

Balanced Dense Polynomial Multiplication on Multi-Cores. - Marc Moreno Maza; Yuzhen Xie (Int. J. Found. Comput. Sci., 2011)

When does <T> equal sat(T)? - François Lemaire; Marc Moreno Maza; Wei Pan 001; Yuzhen Xie (J. Symb. Comput., 2011)

Basic Polynomial Algebra Subprograms. - Changbo Chen; Svyatoslav Covanov; Farnam Mansouri; Marc Moreno Maza; Ning Xie 001; Yuzhen Xie (ACM Commun. Comput. Algebra, 2014)

Piecewise-Affine Approximations for a Powertrain Control Verification Benchmark. - Jyotirmoy V. Deshmukh; Hisahiro Ito; Xiaoqing Jin; James Kapinski; Kenneth R. Butts; Jürgen Gerhard; Behzad Samadi; Kevin Walker; Yuzhen Xie (ARCH@CPSWeek, 2015)

Parallel Integer Polynomial Multiplication. - Changbo Chen; Svyatoslav Covanov; Farnam Mansouri; Marc Moreno Maza; Ning Xie 001; Yuzhen Xie (SYNASC, 2016)

The basic polynomial algebra subprograms. - Changbo Chen; Svyatoslav Covanov; Farnam Mansouri; Robert H. C. Moir; Marc Moreno Maza; Ning Xie 001; Yuzhen Xie (ACM Commun. Comput. Algebra, 2016)

On the Parallelization of Triangular Decomposition of Polynomial Systems. - Mohammadali Asadi; Alexander Brandt; Robert H. C. Moir; Marc Moreno Maza; Yuzhen Xie (CoRR, 2019)

On the parallelization of triangular decompositions. - Mohammadali Asadi; Alexander Brandt; Robert H. C. Moir; Marc Moreno Maza; Yuzhen Xie (ISSAC, 2020)

Optical and SAR Image Registration Based on Feature Decoupling Network. - Deliang Xiang; Yuzhen Xie; Jianda Cheng; Yihao Xu; Han Zhang 005; Yanpeng Zheng (IEEE Trans. Geosci. Remote. Sens., 2022)

Parallelization of triangular decompositions: Techniques and implementation. - Mohammadali Asadi; Alexander Brandt; Robert H. C. Moir; Marc Moreno Maza; Yuzhen Xie (J. Symb. Comput., 2023)

Progressive Keypoint Detection With Dense Siamese Network for SAR Image Registration. - Deliang Xiang; Yihao Xu; Jianda Cheng; Yuzhen Xie; Dongdong Guan (IEEE Trans. Aerosp. Electron. Syst., 2023)

Comparative Analysis of Advanced Feature Matching Algorithms in Challenging High Spatial Resolution Optical Satellite Stereo Scenarios. - Qiyan Luo; Jidan Zhang; Yuzhen Xie; Xu Huang; Ting Han (IGARSS, 2024)

A Teleoperation System of Flexible Manipulator Based on Sign-Switching Control. - Yuzhen Xie; Aiguo Song; Xinke Wang; Yi Wu (RobCE, 2024)

Multi-View Registration of Partially Overlapping Point Clouds for Robotic Manipulation. - Yuzhen Xie; Aiguo Song (IEEE Robotics Autom. Lett., 2024)

SAR Target Recognition With Image Generation and Azimuth Angle Feature Constraints. - Deliang Xiang; Ye Liu; Jianda Cheng; Xinyu Lu; Yuzhen Xie; Dongdong Guan (IEEE J. Sel. Top. Appl. Earth Obs. Remote. Sens., 2025)

SEGPR: Semantic-Enhanced Geopositioning Refinement of Satellite Geographic Products by Combining Multitemporal Coarse-Accuracy Geographic Base Maps. - Qiyan Luo; Jidan Zhang; Xu Huang 005; Liangchen Zhu; Yuzhen Xie; Tongxi Hu (IEEE Trans. Geosci. Remote. Sens., 2025)