| 2026 | CASC | On the Computation of Extended Convex Hulls. | Rui-Juan Jing, Yuzhuo Lei, Marc Moreno Maza, Chirantan Mukherjee |
| 2025 | CASC | Parallel Computation of the Power Series Solutions to Linear Ordinary Differential Equations. | Greg Alejandro Solis-Reyes, Marc Moreno Maza, Alexander Brandt |
| 2025 | ISSAC | Quantifier Elimination Over the Integers. | Rui-Juan Jing, Yuzhuo Lei, Christopher Frank Stephan Maligec, Marc Moreno Maza, Chirantan Mukherjee |
| 2025 | SYNASC | Fraction-Free Comprehensive LU Decomposition and Variants. | Aishat Olagunju, Marc Moreno Maza, David J. Jeffrey |
| 2024 | CASC | Counting the Integer Points of Parametric Polytopes: A Maple Implementation. | Rui-Juan Jing, Yuzhuo Lei, Christopher F. S. Maligec, Marc Moreno Maza |
| 2024 | ISSAC | Efficient detection of redundancies in systems of linear inequalities✱. | Rui-Juan Jing, Marc Moreno Maza, Yan-Feng Xie, Chun-Ming Yuan |
| 2024 | SYNASC | Comprehensive LU Decomposition and True Path. | Aishat Olagunju, Marc Moreno Maza, David J. Jeffrey |
| 2023 | CASC | A Modular Algorithm for Computing the Intersection of a One-Dimensional Quasi-Component and a Hypersurface. | Alexander Brandt, Juan Pablo Gonzlez Trochez, Marc Moreno Maza, Haoze Yuan |
| 2022 | CASC | Subresultant Chains Using Bzout Matrices. | Mohammadali Asadi, Alexander Brandt, David J. Jeffrey, Marc Moreno Maza |
| 2022 | CASC | Computing the Integer Hull of Convex Polyhedral Sets. | Marc Moreno Maza, Linxiao Wang |
| 2022 | SYNASC | Balanced Dense Multivariate Multiplication: The General Case. | Marc Moreno Maza, Haoze Yuan |
| 2021 | CASC | Computational Schemes for Subresultant Chains. | Mohammadali Asadi, Alexander Brandt, Marc Moreno Maza |
| 2021 | CASC | On the Complexity and Parallel Implementation of Hensel's Lemma and Weierstrass Preparation. | Alexander Brandt, Marc Moreno Maza |
| 2021 | CASC | Towards Extending Fulton's Algorithm for Computing Intersection Multiplicities Beyond the Bivariate Case. | Marc Moreno Maza, Ryan Sandford |
| 2021 | CASC | On the Pseudo-Periodicity of the Integer Hull of Parametric Convex Polygons. | Marc Moreno Maza, Linxiao Wang |
| 2021 | ISSAC | Design and Implementation of Multi-Threaded Algorithms in Polynomial Algebra. | Marc Moreno Maza |
| 2020 | CASC | Power Series Arithmetic with the BPAS Library. | Alexander Brandt, Mahsa Kazemi, Marc Moreno Maza |
| 2020 | CASC | Complexity Estimates for Fourier-Motzkin Elimination. | Rui-Juan Jing, Marc Moreno Maza, Delaram Talaashrafi |
| 2020 | ISSAC | On the parallelization of triangular decompositions. | Mohammadali Asadi, Alexander Brandt, Robert H. C. Moir, Marc Moreno Maza, Yuzhen Xie |
| 2019 | CVPR | Divergence Prior and Vessel-Tree Reconstruction. | Zhongwen Zhang, Dmitrii Marin, Egor Chesakov, Marc Moreno Maza, Maria Drangova, Yuri Boykov |
| 2019 | ISSAC | Big Prime Field FFT on Multi-core Processors. | Svyatoslav Covanov, Davood Mohajerani, Marc Moreno Maza, Lin-Xiao Wang |
| 2018 | CASC | Sparse Polynomial Arithmetic with the BPAS Library. | Mohammadali Asadi, Alexander Brandt, Robert H. C. Moir, Marc Moreno Maza |
| 2017 | CASC | Computing the Integer Points of a Polyhedron, I: Algorithm. | Rui-Juan Jing, Marc Moreno Maza |
| 2017 | CASC | Computing the Integer Points of a Polyhedron, II: Complexity Estimates. | Rui-Juan Jing, Marc Moreno Maza |
| 2017 | ISSAC | On the Extended Hensel Construction and its Application to the Computation of Limit Points. | Parisa Alvandi, Masoud Ataei, Marc Moreno Maza |
| 2017 | ISSAC | Big Prime Field FFT on the GPU. | Liangyu Chen, Svyatoslav Covanov, Davood Mohajerani, Marc Moreno Maza |
| 2017 | ISSAC | Plain, and Somehow Sparse, Univariate Polynomial Division on Graphics Processing Units. | Sardar Anisul Haque, Amir Hashemi, Davood Mohajerani, Marc Moreno Maza |
| 2017 | ISSAC | Computing the Integer Points of a Polyhedron. | Rui-Juan Jing, Marc Moreno Maza |
| 2017 | ISSAC | Multithreaded programming on the GPU: pointers and hints for the computer algebraist. | Marc Moreno Maza |
| 2016 | ISSAC | Computing Limits of Real Multivariate Rational Functions. | Parisa Alvandi, Mahsa Kazemi, Marc Moreno Maza |
| 2016 | SYNASC | Parallel Integer Polynomial Multiplication. | Changbo Chen, Svyatoslav Covanov, Farnam Mansouri, Marc Moreno Maza, Ning Xie, Yuzhen Xie |
| 2015 | CASC | Regular Chains under Linear Changes of Coordinates and Applications. | Parisa Alvandi, Changbo Chen, Amir Hashemi, Marc Moreno Maza |
| 2015 | CASC | A Standard Basis Free Algorithm for Computing the Tangent Cones of a Space Curve. | Parisa Alvandi, Marc Moreno Maza, ric Schost, Paul Vrbik |
| 2015 | CASC | Simplification of Cylindrical Algebraic Formulas. | Changbo Chen, Marc Moreno Maza |
| 2014 | CASC | Truth Table Invariant Cylindrical Algebraic Decomposition by Regular Chains. | Russell J. Bradford, Changbo Chen, James H. Davenport, Matthew England, Marc Moreno Maza, David J. Wilson |
| 2014 | CASC | On the Parallelization of Subproduct Tree Techniques Targeting Many-Core Architectures. | Sardar Anisul Haque, Farnam Mansouri, Marc Moreno Maza |
| 2014 | ISSAC | Quantifier elimination by cylindrical algebraic decomposition based on regular chains. | Changbo Chen, Marc Moreno Maza |
| 2013 | CASC | Computing the Limit Points of the Quasi-component of a Regular Chain in Dimension One. | Parisa Alvandi, Changbo Chen, Marc Moreno Maza |
| 2012 | CASC | On Fulton's Algorithm for Computing Intersection Multiplicities. | Steffen Marcus, Marc Moreno Maza, Paul Vrbik |
| 2012 | CASC | Inversion Modulo Zero-Dimensional Regular Chains. | Marc Moreno Maza, ric Schost, Paul Vrbik |
| 2011 | CASC | Semi-algebraic Description of the Equilibria of Dynamical Systems. | Changbo Chen, Marc Moreno Maza |
| 2011 | ISSAC | Computing with semi-algebraic sets represented by triangular decomposition. | Changbo Chen, James H. Davenport, Marc Moreno Maza, Bican Xia, Rong Xiao |
| 2011 | ISSAC | Algorithms for computing triangular decompositions of polynomial systems. | Changbo Chen, Marc Moreno Maza |
| 2010 | ISSAC | Triangular decomposition of semi-algebraic systems. | Changbo Chen, James H. Davenport, John P. May, Marc Moreno Maza, Bican Xia, Rong Xiao |
| 2009 | ISSAC | Computing cylindrical algebraic decomposition via triangular decomposition. | Changbo Chen, Marc Moreno Maza, Bican Xia, Lu Yang |
| 2009 | ISSAC | Computations modulo regular chains. | Xin Li, Marc Moreno Maza, Wei Pan |
| 2009 | PDCAT | Balanced Dense Polynomial Multiplication on Multi-Cores. | Marc Moreno Maza, Yuzhen Xie |
| 2008 | ICCSA | The ConstructibleSetTools and ParametricSystemTools Modules of the RegularChains Library in Maple. | Changbo Chen, Franois Lemaire, Liyun Li, Marc Moreno Maza, Wei Pan, Yuzhen Xie |
| 2008 | ICCSA | High-Performance Symbolic Computation in a Hybrid Compiled-Interpreted Programming Environment. | Xin Li, Marc Moreno Maza, Raqeeb Rasheed, ric Schost |
| 2008 | ISSAC | When does ( | Franois Lemaire, Marc Moreno Maza, Wei Pan, Yuzhen Xie |
| 2008 | ISSAC | The complete root classification of a parametric polynomial on an interval. | Songxin Liang, David J. Jeffrey, Marc Moreno Maza |
| 2007 | CASC | Comprehensive Triangular Decomposition. | Changbo Chen, Oleg Golubitsky, Franois Lemaire, Marc Moreno Maza, Wei Pan |
| 2007 | ICCS | Efficient Computations of Irredundant Triangular Decompositions with the RegularChains Library. | Changbo Chen, Franois Lemaire, Marc Moreno Maza, Wei Pan, Yuzhen Xie |
| 2007 | ICCS | On the Virtues of Generic Programming for Symbolic Computation. | Xin Li, Marc Moreno Maza, ric Schost |
| 2007 | ISSAC | Multithreaded parallel implementation of arithmetic operations modulo a triangular set. | Xin Li, Marc Moreno Maza |
| 2007 | ISSAC | Fast arithmetic for triangular sets: from theory to practice. | Xin Li, Marc Moreno Maza, ric Schost |
| 2007 | ISSAC | Multiprocessed parallelism support in ALDOR on SMPs and multicores. | Marc Moreno Maza, Ben Stephenson, Stephen M. Watt, Yuzhen Xie |
| 2007 | ISSAC | Component-level parallelization of triangular decompositions. | Marc Moreno Maza, Yuzhen Xie |
| 2006 | ISSAC | Implementation techniques for fast polynomial arithmetic in a high-level programming environment. | Akpodigha Filatei, Xin Li, Marc Moreno Maza, ric Schost |
| 2006 | ISSAC | Triangular decompositions of polynomial systems: from theory to practice. | Marc Moreno Maza |
| 2006 | SPAA | An implementation report for parallel triangular decompositions. | Marc Moreno Maza, Yuzhen Xie |
| 2005 | ISSAC | Lifting techniques for triangular decompositions. | Xavier Dahan, Marc Moreno Maza, ric Schost, Wenyuan Wu, Yuzhen Xie |
| 2002 | ISSAC | Computation of canonical forms for ternary cubics. | Irina A. Kogan, Marc Moreno Maza |
| 2001 | ISSAC | PARDI!. | Franois Boulier, Franois Lemaire, Marc Moreno Maza |
| 2001 | ISSAC | On computer-assisted classification of coupled integrable equations. | Mikhail V. Foursov, Marc Moreno Maza |