XiaoShan Gao
Orcid: 0000000320219395
According to our database^{1},
XiaoShan Gao
authored at least 195 papers
between 1990 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:

on dl.acm.org
On csauthors.net:
Bibliography
2024
J. Symb. Comput., March, 2024
CoRR, 2024
Alignment Calibration: Machine Unlearning for Contrastive Learning under Auditing.
CoRR, 2024
Efficient Availability Attacks against Supervised and Contrastive Learning Simultaneously.
CoRR, 2024
CoRR, 2024
CoRR, 2024
Proceedings of the Fortyfirst International Conference on Machine Learning, 2024
Proceedings of the Fortyfirst International Conference on Machine Learning, 2024
Efficient Blackbox Adversarial Attacks via Bayesian Optimization Guided by a Function Prior.
Proceedings of the Fortyfirst International Conference on Machine Learning, 2024
Proceedings of the Twelfth International Conference on Learning Representations, 2024
Proceedings of the ThirtyEighth AAAI Conference on Artificial Intelligence, 2024
Proceedings of the ThirtyEighth AAAI Conference on Artificial Intelligence, 2024
2023
J. Comput. Des. Eng., November, 2023
IEEE Trans. Inf. Theory, August, 2023
Improve Robustness and Accuracy of Deep Neural Network with L<sub>2,∞</sub> Normalization.
J. Syst. Sci. Complex., February, 2023
Proceedings of the 2023 International Symposium on Symbolic and Algebraic Computation, 2023
Proceedings of the Neural Information Processing  30th International Conference, 2023
Proceedings of the International Conference on Machine Learning, 2023
2022
Quantum Algorithm for Boolean Equation Solving and Quantum Algebraic Attack on Cryptosystems.
J. Syst. Sci. Complex., 2022
Optimal feedrate planning on a fiveaxis parametric tool path with global geometric and kinematic constraints.
J. Comput. Des. Eng., 2022
Entropy, 2022
CoRR, 2022
Achieve Optimal Adversarial Accuracy for Adversarial Deep Learning using Stackelberg Game.
CoRR, 2022
CoRR, 2022
Proceedings of the Advances in Neural Information Processing Systems 35: Annual Conference on Neural Information Processing Systems 2022, 2022
2021
Analyzing the barren plateau phenomenon in training quantum neural networks with the ZXcalculus.
Quantum, 2021
Quantum Mach. Intell., 2021
Math. Comput. Sci., 2021
Entropy, 2021
Robust and Informationtheoretically Safe Bias Classifier against Adversarial Attacks.
CoRR, 2021
CoRR, 2021
CoRR, 2021
Analyzing the barren plateau phenomenon in training quantum neural network with the ZXcalculus.
CoRR, 2021
Proceedings of the ISSAC '21: International Symposium on Symbolic and Algebraic Computation, 2021
Proceedings of the IEEE International Symposium on Information Theory, 2021
2020
Faster interpolation algorithms for sparse multivariate polynomials given by straightline programs.
J. Symb. Comput., 2020
Prove Costa's Entropy Power Inequality and High Order Inequality for Differential Entropy with Semidefinite Programming.
CoRR, 2020
2019
A polynomialtime algorithm to compute generalized Hermite normal forms of matrices over Z[x].
Theor. Comput. Sci., 2019
RittWu Characteristic Set Method for Laurent Partial Differential Polynomial Systems.
J. Syst. Sci. Complex., 2019
J. Syst. Sci. Complex., 2019
CoRR, 2019
CoRR, 2019
Revisit Sparse Polynomial Interpolation Based on Randomized Kronecker Substitution.
Proceedings of the Computer Algebra in Scientific Computing  21st International Workshop, 2019
2018
J. Symb. Comput., 2018
Quantum Algorithms for Boolean Equation Solving and Quantum Algebraic Attack on Cryptosystems.
IACR Cryptol. ePrint Arch., 2018
Quantum Algorithms for Optimization and Polynomial Systems Solving over Finite Fields.
CoRR, 2018
2017
An efficient stochastic approach for robust timeoptimal trajectory planning of robotic manipulators under limited actuation.
Robotica, 2017
J. Symb. Comput., 2017
A triangular decomposition algorithm for differential polynomial systems with elementary computation complexity.
J. Syst. Sci. Complex., 2017
J. Syst. Sci. Complex., 2017
Preface  Special issue to celebrate the 30th anniversary of Journal of Systems Science and Complexity.
J. Syst. Sci. Complex., 2017
CoRR, 2017
Sparse Interpolation of Blackbox Multivariate Polynomials using Kronecker Type Substitutions.
CoRR, 2017
Faster Deterministic Sparse Interpolation Algorithms for StraightLine Program Multivariate Polynomials.
CoRR, 2017
Criteria for Finite Difference Groebner Bases of Normal Binomial Difference Ideals.
CoRR, 2017
ACM Commun. Comput. Algebra, 2017
Sparse Rational Function Interpolation with Finitely Many Values for the Coefficients.
Proceedings of the Mathematical Aspects of Computer and Information Sciences, 2017
Criteria for Finite Difference Gröbner Bases of Normal Binomial Difference Ideals.
Proceedings of the 2017 ACM on International Symposium on Symbolic and Algebraic Computation, 2017
Proceedings of the Computer Algebra in Scientific Computing  19th International Workshop, 2017
Proceedings of the Computer Algebra in Scientific Computing  19th International Workshop, 2017
2016
Timeoptimal path tracking for robots under dynamics constraints based on convex optimization.
Robotica, 2016
A Polynomialtime Algorithm to Compute Generalized Hermite Normal Form of Matrices over Z[x].
CoRR, 2016
Sci. China Inf. Sci., 2016
Proceedings of the IEEE International Conference on Information and Automation, 2016
2015
J. Symb. Comput., 2015
Time optimal feedrate generation with confined tracking error based on linear programming.
J. Syst. Sci. Complex., 2015
Tractable Algorithm for Robust TimeOptimal Trajectory Planning of Robotic Manipulators under Confined Torque.
Int. J. Comput. Commun. Control, 2015
Found. Comput. Math., 2015
ACM Commun. Comput. Algebra, 2015
Curve fitting and optimal interpolation for CNC machining under confined error using quadratic Bsplines.
Comput. Aided Des., 2015
Proceedings of the Computer Algebra in Scientific Computing  17th International Workshop, 2015
2014
J. Syst. Sci. Complex., 2014
CoRR, 2014
2013
J. Syst. Sci. Complex., 2013
Efficient timeoptimal feedrate planning under dynamic constraints for a highorder CNC servo system.
Comput. Aided Des., 2013
Practical smooth minimum time trajectory planning for path following robotic manipulators.
Proceedings of the American Control Conference, 2013
2012
Math. Comput. Sci., 2012
J. Symb. Comput., 2012
J. Symb. Comput., 2012
J. Symb. Comput., 2012
Root isolation of zerodimensional polynomial systems with linear univariate representation.
J. Symb. Comput., 2012
On functional decomposition of multivariate polynomials with differentiation and homogenization.
J. Syst. Sci. Complex., 2012
Matrix Formula of Differential Resultant for First Order Generic Ordinary Differential Polynomials
CoRR, 2012
Certified Rational Parametric Approximation of Real Algebraic Space Curves with Local Generic Position Method
CoRR, 2012
Comput. Geom., 2012
Comput. Aided Geom. Des., 2012
Comput. Aided Geom. Des., 2012
Matrix Formulae of Differential Resultant for First Order Generic Ordinary Differential Polynomials.
Proceedings of the Computer Mathematics, 2012
2011
J. Syst. Sci. Complex., 2011
CoRR, 2011
Curve fitting and optimal interpolation on CNC machines based on quadratic Bsplines.
Sci. China Inf. Sci., 2011
Proceedings of the Symbolic and Algebraic Computation, International Symposium, 2011
2010
Visually Dynamic Presentation of Proofs in Plane Geometry  Part 2. Automated Generation of Visually Dynamic Presentations with the FullAngle Method and the Deductive Database Method.
J. Autom. Reason., 2010
Visually Dynamic Presentation of Proofs in Plane Geometry  Part 1. Basic Features and the Manual Input Method.
J. Autom. Reason., 2010
Efficient Characteristic Set Algorithms for Equation Solving in Finite Fields and Applications in Cryptanalysis
CoRR, 2010
Intersection Theory for Generic Differential Polynomials and Differential Chow Form
CoRR, 2010
Articulationconstrained Skeleton Extraction.
Proceedings of the 2010 International Conference on Image Processing, 2010
2009
Theor. Comput. Sci., 2009
J. Symb. Comput., 2009
J. Symb. Comput., 2009
J. Symb. Comput., 2009
Complete numerical isolation of real roots in zerodimensional triangular systems.
J. Symb. Comput., 2009
J. Syst. Sci. Complex., 2009
Efficient Characteristic Set Algorithms for Equation Solving in Finite Fields and Application in Analysis of Stream Ciphers.
IACR Cryptol. ePrint Arch., 2009
CoRR, 2009
Proceedings of the 2009 ACM Symposium on Applied Computing (SAC), 2009
Root isolation for bivariate polynomial systems with local generic position method.
Proceedings of the Symbolic and Algebraic Computation, International Symposium, 2009
Proceedings of the Computer Algebra in Scientific Computing, 11th International Workshop, 2009
Arbitrary shape reconstruction from NC sectional data and applications in space cutter compensation and interference detection.
Proceedings of the 11th International Conference on ComputerAided Design and Computer Graphics, 2009
2008
J. Symb. Comput., 2008
A characteristic set method for solving boolean equations and applications in cryptanalysis of stream ciphers.
J. Syst. Sci. Complex., 2008
J. Comput. Sci. Technol., 2008
IEEE Intell. Syst., 2008
ACM Commun. Comput. Algebra, 2008
Appl. Algebra Eng. Commun. Comput., 2008
Proceedings of the 2008 ACM Symposium on Applied Computing (SAC), 2008
Proceedings of the Automated Deduction in Geometry  7th International Workshop, 2008
2007
J. Heuristics, 2007
Frontiers Comput. Sci. China, 2007
Appl. Math. Comput., 2007
Complete numerical isolation of real zeros in zerodimensional triangular systems.
Proceedings of the Symbolic and Algebraic Computation, International Symposium, 2007
Proceedings of the Computer Mathematics, 8th Asian Symposium, 2007
A Modified Van der Waerden Algorithm to Decompose Algebraic Varieties and ZeroDimensional Radical Ideals.
Proceedings of the Computer Mathematics, 8th Asian Symposium, 2007
2006
Quadratic approximation to plane parametric curves and its application in approximate implicitization.
Vis. Comput., 2006
A polynomial time algorithm for finding rational general solutions of first order autonomous ODEs.
J. Symb. Comput., 2006
J. Syst. Sci. Complex., 2006
J. Math. Imaging Vis., 2006
J. Comput. Sci. Technol., 2006
Wellconstrained Completion and Decomposition for underconstrained Geometric Constraint Problems.
Int. J. Comput. Geom. Appl., 2006
Int. J. Comput. Geom. Appl., 2006
ACM Commun. Comput. Algebra, 2006
Comput. Aided Geom. Des., 2006
Comput. Aided Des., 2006
Proceedings of the 2006 ACM Symposium on Applied Computing (SAC), 2006
Proceedings of the 2006 ACM Symposium on Applied Computing (SAC), 2006
Proceedings of the Symbolic and Algebraic Computation, International Symposium, 2006
Proceedings of the Challenges in Symbolic Computation Software, 02.07.  07.07.2006, 2006
2005
IEEE Trans. Robotics, 2005
J. Comput. Sci. Technol., 2005
SIGSAM Bull., 2005
SIGSAM Bull., 2005
Proceedings of the Symbolic and Algebraic Computation, 2005
Proceedings of the Mathematics of Surfaces XI, 2005
2004
J. Symb. Comput., 2004
Discret. Appl. Math., 2004
Comput. Aided Geom. Des., 2004
Solving spatial basic geometric constraint configurations with locus intersection.
Comput. Aided Des., 2004
A Hybrid Genetic Algorithm Based on Simulated Annealing and Applications to Optimization and SAT Problems.
Proceedings of the 4th IEEE International Workshop on Source Code Analysis and Manipulation (SCAM 2004), 2004
Proceedings of the Symbolic and Algebraic Computation, 2004
Proceedings of the Symbolic and Algebraic Computation, 2004
Proceedings of the 2004 Geometric Modeling and Processing (GMP 2004), 2004
Proceedings of the Computer Algebra and Geometric Algebra with Applications, 2004
Proceedings of the Automated Deduction in Geometry, 5th International Workshop, 2004
2003
IEEE Trans. Pattern Anal. Mach. Intell., 2003
J. Symb. Comput., 2003
SIGSAM Bull., 2003
Proceedings of the 2003 International Conference on Shape Modeling and Applications (SMI 2003), 2003
Proceedings of the Eighth ACM Symposium on Solid Modeling and Applications 2003, 2003
2002
Comput. Aided Des., 2002
Proceedings of the 2002 Geometric Modeling and Processing (GMP 2002), 2002
Proceedings of the Automated Deduction in Geometry, 2002
2001
J. Comput. Sci. Technol., 2001
Sci. China Ser. F Inf. Sci., 2001
Proceedings of the Handbook of Automated Reasoning (in 2 volumes), 2001
2000
A Deductive Database Approach to Automated Geometry Theorem Proving and Discovering.
J. Autom. Reason., 2000
Proceedings of the Automated Deduction in Geometry, Third International Workshop, 2000
1999
J. Comput. Sci. Technol., 1999
Comput. Aided Des., 1999
1998
Solving geometric constraint systems. II. A symbolic approach and decision of Rcconstructibility.
Comput. Aided Des., 1998
Comput. Aided Des., 1998
Proceedings of the Automated Deduction in Geometry, 1998
1996
J. Autom. Reason., 1996
Automated Generation of Readable Proofs with Geometric Invariants I. Multiple and Shortest Proof Generation.
J. Autom. Reason., 1996
Proceedings of the Automated Deduction  CADE13, 13th International Conference on Automated Deduction, New Brunswick, NJ, USA, July 30, 1996
Proceedings of the Automated Deduction in Geometry, 1996
1995
J. Autom. Reason., 1995
Ann. Math. Artif. Intell., 1995
1994
Mechanically Proving Geometry Theorems Using a Combination of Wu's Method and Collins' Method.
Proceedings of the Automated Deduction  CADE12, 12th International Conference on Automated Deduction, Nancy, France, June 26, 1994
Machine proofs in geometry  automated production of readable proofs for geometry theorems.
Series on applied mathematics 6, World Scientific, ISBN: 9789810215842, 1994
1993
J. Symb. Comput., 1993
Automated Reasoning in Differential Geometry and Mechanics Using the Characteristic Set Method. Part II. Mechanical Theorem Proving.
J. Autom. Reason., 1993
Automated Reasoning in Differential Geometry and Mechanics Using the Characteristic Set Method. Part I. An Improved Version of RittWu's Decomposition Algorithm.
J. Autom. Reason., 1993
Proceedings of the Eighth Annual Symposium on Logic in Computer Science (LICS '93), 1993
Proceedings of the 1993 International Symposium on Symbolic and Algebraic Computation, 1993
1992
J. Symb. Comput., 1992
Appl. Algebra Eng. Commun. Comput., 1992
An Introduction to Wu's Method of Mechanical Geometry Theorem Proving.
Proceedings of the Automated Reasoning, 1992
Automated Reasoning in Differential Geometry and Mechanics Using Characteristic Method.
Proceedings of the Automated Reasoning, 1992
Proceedings of the 1992 International Symposium on Symbolic and Algebraic Computation, 1992
Proceedings of the Automated Deduction, 1992
1991
Int. J. Comput. Geom. Appl., 1991
Proceedings of the 1991 International Symposium on Symbolic and Algebraic Computation, 1991
1990
J. Autom. Reason., 1990
Proceedings of the International Symposium on Symbolic and Algebraic Computation, 1990
Proceedings of the 10th International Conference on Automated Deduction, 1990