PiecewiseAffine Approximations for a Powertrain Control Verification Benchmark
by Jyotirmoy V. Deshmukh, Hisahiro Ito, Xiaoqing Jin, James Kapinski, Ken Butts, Juergen Gerhard, Behzad Samadi, Kevin Walker, Yuzhen Xie (2015)

Cache Complexity and Multicore Implementation for Univariate Real Root Isolation
by Changbo Chen, Marc Moreno Maza and Yuzhen Xie.
Submitted to Proceedings of the High Performance Computing Symposium (HPCS 2011) in Journal of Physics, 2011.
pdf

HighPerformance Parallel and Stream Processing of Xray Microdiffraction Data on Multicores
by M. A. Bauer, A. Biem, S. McIntyre, N. Tamura and Y. Xie.
Submitted to Proceedings of the High Performance Computing Symposium (HPCS 2011) in Journal of Physics, 2011.
pdf

Parallel Univariate Real Root Isolation on Multicore Processors
by C. Chen, M. Moreno Maza and Y. Xie.
Proceedings of the International Conference on Applied Mathematics, Modeling and Computational Science (AMMCS2011), Waterloo, Ontario, Canada. July 2529, 2011.
pdf

Pipelined Processing of Xray Microdiffraction Data on Multicores
by M. A. Bauer, A. Biem, S. McIntyre and Y. Xie.
Extended abstract, Proceedings of the International Conference on Applied Mathematics, Modeling and Computational Science (AMMCS2011), Waterloo, Ontario, Canada. July 2529, 2011.
pdf

Balanced Dense Polynomial Multiplication on Multicores
by M. Moreno Maza and Y. Xie
International Journal of Foundations of Computer Science (IJFCS), Volume No.22, Issue No. 5. 2011.
pdf

When does 〈T〉 equal sat(T)?
by Lemaire, F., Moreno Maza, M., Pan, W. and Xie, Y.
To appear, Journal of Symbolic Computation, 2011.
pdf

Parallel computation of the minimal elements of a poset
by Charles E. Leiserson, Liyun Li, Marc Moreno Maza and Yuzhen Xie
Proceedings of the 4th International Workshop on Parallel and Symbolic Computation (PASCO'10), ACM Press, 2010, pp. 5362.
pdf

Efficient Evaluation of Large Polynomials
by Charles E. Leiserson, Liyun Li, Marc Moreno Maza and Yuzhen Xie
Proceedings of the International Congress of Mathematical Software (ICMS 2010), LNCS 6327, Springer, 2010.
pdf

SPIRALgenerated modular FFT algorithms
by Lingchua Meng, Yevgen Voronenko, Jeremy R. Johnson, Marc Moreno Maza, Franz Franchetti and Yuzhen Xie
Proceedings of the 4th International Workshop on Parallel and Symbolic Computation (PASCO'10), ACM Press, 2010, pp. 169170.
pdf

A Pipelining Implementation for Parsing Xray Diffraction Source Data and Removing the Background Noise
by Michael A. Bauer, Alain Biem, Stewart McIntyre and Yuzhen Xie
Proceedings of the High Performance Computing Symposium (HPCS 2010), Journal of Physics: Conference Series, 256 012017, 2010.
pdf

Balanced Dense Polynomial Multiplication on Multicores
by M. Moreno Maza and Y. Xie
In Proc. of the 10th International Conference on
Parallel and Distributed Computing, Applications and Technologies
(PDCAT), 9 pages, 2009.
pdf

FFTbased Dense Polynomial Arithmetic on Multicores
by M. Moreno Maza and Y. Xie
High Performance Computing Symposium 2009,
D.J.K. Mewhort et al. (Eds.): (HPCS 2009), LNCS 5976, pp. 378399. SpringerVerlag Berlin, Heidelberg 2010
pdf

User Interface Design for Geometrical Decomposition Algorithms in Maple
by C. Chen, J. H. Davenport, J. May, M. Moreno Maza, B. Xia, R. Xiao and Y. Xie
Proceedings of Mathematical UserInterface , 12 pages, 2009.
pdf

On the verification of polynomial system solvers.
by Chen, C.; Moreno Maza, M.; Pan, W. and Xie, Y.
Journal of Frontiers of Computer Science in China.
2(1): 5566, 2008. Higher Education Press and SpringerVerlag.
pdf

When does 〈T〉 equal sat(T)?
by Lemaire, F., Moreno Maza, M., Pan, W. and Xie, Y.
In Proc. of ISSAC'2008, pages 207214. Linz, Austria, July 2008.
pdf

The ConstructibleSetTools and ParametricSystemTools modules of
the RegularChains library in Maple
by Chen, C.; Lemaire, F.; Li, L.; Moreno Maza, M.; Pan, W. and Xie, Y.
In Proc. of Computer Algebra Systems and Their Applications 2008, IEEE Computer Society.
Perugia, Italy, 30 June3 July 2008.
pdf

On the representation of constructible sets.
by Chen, C.; Li, L.; Moreno Maza, M.; Pan, W. and Xie, Y.
extended abstract, Milestones in Computer Algebra 2008
Tobago, May 13, 2008..
pdf

Multiprocessed Parallelism Support in Aldor on SMPs and Multicores
by Moreno Maza, M., Stephenson, B., Watt, S. M. and Xie, Y.
In Proc. of PASCO 2007, July, 2007, London, Canada
pdf

Componentlevel Parallelization of Triangular Decompositions
by Moreno Maza, M. and Xie, Y.
In Proc. of PASCO 2007, July, 2007, London, Canada
pdf
Invited talk at MSRI 2007 Workshop: Interactive Parallel Computation in Support of Research in Algebra, Geometry and Number Theory, January, 2007, Berkeley CA

On the Verification of Polynomial System Solvers
by Chen, C., Moreno Maza, M., Pan, W. and Xie, Y.
In Proc. of AWFS 2007, June 2007, Xiamen, China
pdf

Efficient Computations of Irredundant Triangular Decompositions with the RegularChains Library
by Chen, C., Lemaire, F., Moreno Maza, M., Pan, W. and Xie, Y.
In Proc. of the Fifth International Workshop on Computer Algebra Systems and Applications,May, 2007, Beijing
pdf

Making a Sophisticated Symbolic Solver Available to Different Communities of Users
by Lemaire, F., Moreno Maza, M. and Xie, Y
Proceedings of 11th Asian Technology Conference in Mathematics, December, 2006, Hong Kong
pdf

Parallelization of Triangular Decompositions
by Moreno Maza, M. and Xie, Y.
Proceedings of Algebraic Geometry and Geometric Modeling, August, 2006, Barcelona University
pdf

Brief Announcement: An Implementation Report for Parallel Triangular Decompositions
by Moreno Maza, M. and Xie, Y.
Proceedings of 19th ACM Symposium on Parallelism in Algorithms and Architectures (SPAA), July, 2006, Cambridge, MA
pdf

On the Complexity of D5 Principle
by Dahan, X., Moreno Maza, M., Schost, E. and Xie, Y.
Proceedings of Transgressive Computing, April, 2006, Granada
pdf

Lifting Techniques for Triangular Decompositions
by Dahan, X., Moreno Maza, M., Schost, E., Wu, W. and Xie, Y.
Proceedings of International Symposium on Symbolic
and Algebraic Computation, Beijing, July, 2005.
ISSAC 2005 Distinguished Student Author Award
pdf

The RegularChains Library in Maple
by Lemaire, F., Moreno Maza, M. and Xie, Y.
Maple Conference 2005, July, 2005, Waterloo
pdf

Equiprojectable Decomposition of Zerodimensional Varieties
by Dahan, X., Moreno Maza, M., Schost, E., Wu, W. and Xie, Y.
Proceedings of International Conference on Polynomial System Solving, November, 2004, Paris
pdf

A Family of Modular XML Schemas for MathML
by Watt, S. M. and Xie, Y.
Proceedings of Internet Accessible Mathematical Computation, July, 2002, Lille
pdf

A Lisp Subset based on MathML
by Watt, S., Padovani, L. and Xie, Y.
Proceedings of MathML 2002 Conference, July, 2002, Chicago
pdf

Effect of Permeating Solutions on Complex Permittivity of Compacted Clay
by Rowe, R.K., Shang, J.Q. and Xie, Y.
Canadian Geotechnical Journal, 39: 10161025, 2002
pdf

Complex Permittivity Measurement System for Detecting Soil Contamination
by Rowe, R.K., Shang, J.Q. and Xie, Y.
Canadian Geotechnical Journal, 38: 498506, 2000
pdf


Parallel and Stream Processing of XRD Data in IBM InfoSphere Streams by A. Biem and Y. Xie, 2011.

Parallel Univariate Real Root Isolation in C++/Cilk++ by C. Chen and Y. Xie, 2011 (available upon request).

Parallel Transversal Hypergraph Generation in C++/Cilk++ by Y. Xie, 2010 (available upon request).

Basic Polynomial Algebra Subroutines (BPAS) in C++/Cilk++ by Y. Xie, 2009 (preparing for GPL license).

MatrixTools, ConstructibleSetTools, ParametricSystemTools and FastArithmeticTools of the RegularChains library in Maple (1214)
by Chen, C.; Lemaire, F.; Li, L.; Moreno Maza, M.; Pan, W. and Xie, Y.
Maplesoft, Waterloo, Canada, 20052009

Modular Methods for Triangular Decompositions in Maple 11
by Dahan, X., Moreno Maza, M., Schost, E., Wu, W. and Xie, Y.
Maplesoft, Waterloo, Canada, September, 2006

The RegularChains Library in Maple 10
by Lemaire, F., Moreno Maza, M. and Xie, Y.
Maplesoft, Waterloo, Canada, May, 2005

XMLScheme Interpreter
by Xie, Y.
ORCCA, London, Ontario, 2002

"enttran" program (to perform conversion between the types of entity references in an XML file or HTML file)
by Xie, Y.
ORCCA, London, Ontario, 2001

Design and Process List (DPL) Project Manager
by Xie, Y.
FAG Aerospace Canada, 2000 (enterprise distributed software)


Computing the Real Solutions of Polynomial Systems with the RegularChains Library in Maple
by C. Chen, J. H. Davenport, F. Lemaire, M. Moreno Maza, B. Xia, R. Xiao and Y. Xie
Software demo presented by M. Moreno Maza in ISSAC2011, San Jose, CA USA. June 811, 2011.
ISSAC 2011 Distinguished Software Presentation Award.
Talk in pdf, Maple worksheet

HighPerformance Parallel and Stream Processing of Xray Microdiffraction Data on Multicores
by M. A. Bauer, A. Biem, S. McIntyre, N. Tamura and Y. Xie
Poster in HPCS2011. Montreal, Canada, June 1517, 2011
PDF

Cache Complexity and Multicore Implementation for Univariate Real Root Isolation
by C. Chen, M. Moreno Maza and Y. Xie
Poster in ISSAC 2010 and extended abstract in ACM Communications in Computer
Algebra, 2010.
PDF

Balanced Dense Polynomial Multiplication on Multicores
by M. Moreno Maza and Y. Xie
Poster in ISSAC2009 and extended abstract in ACM Communications in Computer
Algebra, Vol. 43, No. 3, Sept. 2009, Issue 169.
ISSAC 2009 Best Poster Award, Seoul, Korean. 2009.
PDF

Two new modules of the RegularChains library in Maple 12: ConstructibleSetTools and ParametricSystemTools
by Chen, C.; Lemaire, F.; Li, L.; Moreno Maza, M.; Pan, W. and Xie, Y.
20 minutes software demo in ISSAC'2008, Linz, Austria, July 2008.
Maple worksheet

On the representation of constructible sets.
by Chen, C.; Li, L.; Moreno Maza, M.; Pan, W. and Xie, Y.
Poster in Second CanadaFrance Congress 2008, University of Montreal, June 15, 2008.
pdf

Solving Polynomial Systems Symbolically and in Parallel
by Moreno Maza, M. and Xie, Y.
Poster in ISSAC2006, July, 2006, Genowa
pdf

Parallel Triangular Decompositions
by Moreno Maza, M. and Xie, Y.
Poster in MITACS 7th Annual Conference, May, 2006, Toronto
pdf

On the Complexity of D5 Principle
by Dahan, X., Moreno Maza, M., Schost, E., Wu, W., and Xie, Y.
ISSAC 2005 Best Poster
Award, Beijing, July, 2005.
pdf

The RegularChains Library in Maple 10
by Lemaire, F., Moreno Maza, M. and Xie, Y.
Poster in ISSAC2005, July, 2005, Beijing
pdf

Equiprojectable Decomposition of Zerodimensional Varieties
by Dahan, X., Moreno Maza, M., Schost E., Wu, W., and Xie, Y.
Poster in MITACS 6th Annual Conference, April, 2005, Calgary
pdf

