( en | de | ru )

 

Disambiguation of "Xie, Yuzhen"

Author of the publication

copydeleteadd this publication to your clipboard
Piecewise-Affine Approximations for a Powertrain Control Verification Benchmark.

, , , , , , , , and . ARCH@CPSWeek, volume 34 of EPiC Series in Computing, page 98-112. EasyChair, (2015)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Jian Xie

Yangpei Xie

Zhenwei Xie

Qian Xie

Mingliang Xie

 

Other publications of authors with the same name

On the representation of constructible sets., , , , and . ACM Commun. Comput. Algebra, 42 (3): 162-163 (2008)An implementation report for parallel triangular decompositions., and . SPAA, page 235. ACM, (2006)Parallel computation of the minimal elements of a poset., , , and . PASCO, page 53-62. ACM, (2010)FFT-Based Dense Polynomial Arithmetic on Multi-cores., and . HPCS, volume 5976 of Lecture Notes in Computer Science, page 378-399. Springer, (2009)On the verification of polynomial system solvers., , , and . Frontiers Comput. Sci. China, 2 (1): 55-66 (2008)On the Parallelization of Triangular Decomposition of Polynomial Systems., , , , and . CoRR, (2019)When does <T> equal sat(T)?, , , and . J. Symb. Comput., 46 (12): 1291-1305 (2011)Classification of Multi-spectral/Hyperspectral Data using Genetic Programming and Error-correcting Output Codes, , , , and . 1ST IEEE Conference on Industrial Electronics and Applications, page 1--6. Singapore,, IEEE, (24-26 May 2006)On the parallelization of triangular decompositions., , , , and . ISSAC, page 22-29. ACM, (2020)Multiprocessed parallelism support in ALDOR on SMPs and multicores., , , and . PASCO, page 60-68. ACM, (2007)