Xiao-Shan Gao - RankMe

249 papers A* 16A 4B 24C 4Misc 4Journal 171Unranked 23

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Mechanic: Sorrifier-Driven Formal Decomposition Workflow for Automated Theorem Proving. CoRR Ruichen Qiu, Yichuan Cao, Junqi Liu, Dakai Guo, Xiao-Shan Gao, Lihong Zhi, Ruyong Feng
2026	J	`jnl`	Why Do Unlearnable Examples Work: A Novel Perspective of Mutual Information. CoRR Yifan Zhu, Yibo Miao, Yinpeng Dong, Xiao-Shan Gao
2025	J	`jnl`	A Survey on Unlearning in Large Language Models. CoRR Ruichen Qiu, Jiajun Tan, Jiayue Pu, Honglin Wang, Xiao-Shan Gao, Fei Sun
2025	J	`jnl`	Analyzing the Power of Chain of Thought through Memorization Capabilities. CoRR Lijia Yu, Xiao-Shan Gao, Lijun Zhang
2025	J	`jnl`	Bit complexity of polynomial GCD on sparse representation. Math. Comput. Qiao-Long Huang, Xiao-Shan Gao
2025	J	`jnl`	Data-dependent stability analysis of adversarial training. Neural Networks Yihan Wang, Shuang Liu, Xiao-Shan Gao
2025	J	`jnl`	Generalizability of Neural Networks Minimizing Empirical Risk Based on Expressive Ability. CoRR Lijia Yu, Yibo Miao, Yifan Zhu, Xiao-Shan Gao, Lijun Zhang
2025	A*	`conf`	Generalizability of Neural Networks Minimizing Empirical Risk Based on Expressive Power. ICLR Lijia Yu, Yibo Miao, Yifan Zhu, Xiao-Shan Gao, Lijun Zhang
2025	J	`jnl`	MUC: Machine Unlearning for Contrastive Learning with Black-box Evaluation. Trans. Mach. Learn. Res. Yihan Wang, Yiwei Lu, Guojun Zhang, Franziska Boenisch, Adam Dziedzic, Yaoliang Yu, Xiao-Shan Gao
2025	A*	`conf`	PowerMLP: An Efficient Version of KAN. AAAI Ruichen Qiu, Yibo Miao, Shiwen Wang, Yifan Zhu, Lijia Yu, Xiao-Shan Gao
2025	A*	`conf`	Provable Robust Overfitting Mitigation in Wasserstein Distributionally Robust Optimization. ICLR Shuang Liu, Yihan Wang, Yifan Zhu, Yibo Miao, Xiao-Shan Gao
2025	J	`jnl`	Provable Robust Overfitting Mitigation in Wasserstein Distributionally Robust Optimization. CoRR Shuang Liu, Yihan Wang, Yifan Zhu, Yibo Miao, Xiao-Shan Gao
2025	J	`jnl`	Provable Watermarking for Data Poisoning Attacks. CoRR Yifan Zhu, Lijia Yu, Xiao-Shan Gao
2025	J	`jnl`	Proving Information Inequalities by Gaussian Elimination. IEEE Trans. Inf. Theory Laigang Guo, Raymond W. Yeung, Xiao-Shan Gao
2025	J	`jnl`	Red-Teaming Text-to-Image Systems by Rule-based Preference Modeling. CoRR Yichuan Cao, Yibo Miao, Xiao-Shan Gao, Yinpeng Dong
2024	J	`jnl`	Alignment Calibration: Machine Unlearning for Contrastive Learning under Auditing. CoRR Yihan Wang, Yiwei Lu, Guojun Zhang, Franziska Boenisch, Adam Dziedzic, Yaoliang Yu, Xiao-Shan Gao
2024	J	`jnl`	BridgePure: Revealing the Fragility of Black-box Data Protection. CoRR Yihan Wang, Yiwei Lu, Xiao-Shan Gao, Gautam Kamath, Yaoliang Yu
2024	J	`jnl`	Data-Dependent Stability Analysis of Adversarial Training. CoRR Yihan Wang, Shuang Liu, Xiao-Shan Gao
2024	A*	`conf`	Detection and Defense of Unlearnable Examples. AAAI Yifan Zhu, Lijia Yu, Xiao-Shan Gao
2024	A*	`conf`	Efficient Availability Attacks against Supervised and Contrastive Learning Simultaneously. NeurIPS Yihan Wang, Yifan Zhu, Xiao-Shan Gao
2024	J	`jnl`	Efficient Availability Attacks against Supervised and Contrastive Learning Simultaneously. CoRR Yihan Wang, Yifan Zhu, Xiao-Shan Gao
2024	A*	`conf`	Efficient Black-box Adversarial Attacks via Bayesian Optimization Guided by a Function Prior. ICML Shuyu Cheng, Yibo Miao, Yinpeng Dong, Xiao Yang, Xiao-Shan Gao, Jun Zhu
2024	J	`jnl`	Efficient Black-box Adversarial Attacks via Bayesian Optimization Guided by a Function Prior. CoRR Shuyu Cheng, Yibo Miao, Yinpeng Dong, Xiao Yang, Xiao-Shan Gao, Jun Zhu
2024	A*	`conf`	Game-Theoretic Unlearnable Example Generator. AAAI Shuang Liu, Yihan Wang, Xiao-Shan Gao
2024	J	`jnl`	Game-Theoretic Unlearnable Example Generator. CoRR Shuang Liu, Yihan Wang, Xiao-Shan Gao
2024	J	`jnl`	Generalizability of Memorization Neural Networks. CoRR Lijia Yu, Xiao-Shan Gao, Lijun Zhang, Yibo Miao
2024	A*	`conf`	Generalizablity of Memorization Neural Network. NeurIPS Lijia Yu, Xiao-Shan Gao, Lijun Zhang, Yibo Miao
2024	A*	`conf`	Generalization Bound and New Algorithm for Clean-Label Backdoor Attack. ICML Lijia Yu, Shuang Liu, Yibo Miao, Xiao-Shan Gao, Lijun Zhang
2024	J	`jnl`	Generalization Bound and New Algorithm for Clean-Label Backdoor Attack. CoRR Lijia Yu, Shuang Liu, Yibo Miao, Xiao-Shan Gao, Lijun Zhang
2024	A*	`conf`	Improving Robustness of 3D Point Cloud Recognition from a Fourier Perspective. NeurIPS Yibo Miao, Yinpeng Dong, Jinlai Zhang, Lijia Yu, Xiao Yang, Xiao-Shan Gao
2024	A*	`conf`	Optimal robust Memorization with ReLU Neural Networks. ICLR Lijia Yu, Xiao-Shan Gao, Lijun Zhang
2024	J	`jnl`	PowerMLP: An Efficient Version of KAN. CoRR Ruichen Qiu, Yibo Miao, Shiwen Wang, Lijia Yu, Yifan Zhu, Xiao-Shan Gao
2024	B	`conf`	Proving Information Inequalities by Gaussian Elimination. ISIT Laigang Guo, Raymond W. Yeung, Xiao-Shan Gao
2024	J	`jnl`	Proving Information Inequalities by Gaussian Elimination. CoRR Laigang Guo, Raymond W. Yeung, Xiao-Shan Gao
2024	J	`jnl`	Skew-polynomial-sparse matrix multiplication. J. Symb. Comput. Qiao-Long Huang, Ke Ye, Xiao-Shan Gao
2024	A*	`conf`	T2VSafetyBench: Evaluating the Safety of Text-to-Video Generative Models. NeurIPS Yibo Miao, Yifan Zhu, Lijia Yu, Jun Zhu, Xiao-Shan Gao, Yinpeng Dong
2024	J	`jnl`	T2VSafetyBench: Evaluating the Safety of Text-to-Video Generative Models. CoRR Yibo Miao, Yifan Zhu, Yinpeng Dong, Lijia Yu, Jun Zhu, Xiao-Shan Gao
2024	A*	`conf`	Toward Availability Attacks in 3D Point Clouds. ICML Yifan Zhu, Yibo Miao, Yinpeng Dong, Xiao-Shan Gao
2024	J	`jnl`	Toward Availability Attacks in 3D Point Clouds. CoRR Yifan Zhu, Yibo Miao, Yinpeng Dong, Xiao-Shan Gao
2023	A*	`conf`	Adversarial Parameter Attack on Deep Neural Networks. ICML Lijia Yu, Yihan Wang, Xiao-Shan Gao
2023	J	`jnl`	Cubic time-spline fitting and interpolation for five-axis CNC machining. J. Comput. Des. Eng. Qin Wu, Chun-Ming Yuan, Li-Yong Shen, Shitao He, Xiao-Shan Gao
2023	J	`jnl`	Detection and Defense of Unlearnable Examples. CoRR Yifan Zhu, Lijia Yu, Xiao-Shan Gao
2023	J	`jnl`	Improve Robustness and Accuracy of Deep Neural Network with L J. Syst. Sci. Complex. Lijia Yu, Xiao-Shan Gao
2023	B	`conf`	New Sparse Multivariate Polynomial Factorization Algorithms over Integers. ISSAC Qiao-Long Huang, Xiao-Shan Gao
2023	J	`jnl`	Proving Information Inequalities and Identities With Symbolic Computation. IEEE Trans. Inf. Theory Laigang Guo, Raymond W. Yeung, Xiao-Shan Gao
2023	—	`conf`	Restore Translation Using Equivariant Neural Networks. ICONIP (8) Yihan Wang, Lijia Yu, Xiao-Shan Gao
2023	J	`jnl`	Restore Translation Using Equivariant Neural Networks. CoRR Yihan Wang, Lijia Yu, Xiao-Shan Gao
2022	J	`jnl`	Achieve Optimal Adversarial Accuracy for Adversarial Deep Learning using Stackelberg Game. CoRR Xiao-Shan Gao, Shuang Liu, Lijia Yu
2022	J	`jnl`	Adversarial Parameter Attack on Deep Neural Networks. CoRR Lijia Yu, Yihan Wang, Xiao-Shan Gao
2022	J	`jnl`	Bit Complexity of Polynomial GCD on Sparse Representation. CoRR Qiao-Long Huang, Xiao-Shan Gao
2022	A*	`conf`	Isometric 3D Adversarial Examples in the Physical World. NeurIPS Yibo Miao, Yinpeng Dong, Jun Zhu, Xiao-Shan Gao
2022	J	`jnl`	Isometric 3D Adversarial Examples in the Physical World. CoRR Yibo Miao, Yinpeng Dong, Jun Zhu, Xiao-Shan Gao
2022	J	`jnl`	Lower Bounds on Multivariate Higher Order Derivatives of Differential Entropy. Entropy Laigang Guo, Chun-Ming Yuan, Xiao-Shan Gao
2022	J	`jnl`	Optimal feedrate planning on a five-axis parametric tool path with global geometric and kinematic constraints. J. Comput. Des. Eng. Hong-Yu Ma, Chun-Ming Yuan, Li-Yong Shen, Xiao-Shan Gao
2022	B	`conf`	Proving Information Inequalities and Identities with Symbolic Computation. ISIT Laigang Guo, Raymond W. Yeung, Xiao-Shan Gao
2022	J	`jnl`	Proving Information Inequalities and Identities with Symbolic Computation. CoRR Laigang Guo, Raymond W. Yeung, Xiao-Shan Gao
2022	J	`jnl`	Quantum Algorithm for Boolean Equation Solving and Quantum Algebraic Attack on Cryptosystems. J. Syst. Sci. Complex. Yu-Ao Chen, Xiao-Shan Gao
2022	J	`jnl`	Skew-sparse matrix multiplication. CoRR Qiao-Long Huang, Ke Ye, Xiao-Shan Gao
2021	J	`jnl`	A Generalization of the Concavity of Rényi Entropy Powe. CoRR Laigang Guo, Chun-Ming Yuan, Xiao-Shan Gao
2021	J	`jnl`	A Generalization of the Concavity of Rényi Entropy Power. Entropy Laigang Guo, Chun-Ming Yuan, Xiao-Shan Gao
2021	J	`jnl`	A Robust Classification-autoencoder to Defend Outliers and Adversaries. CoRR Lijia Yu, Xiao-Shan Gao
2021	J	`jnl`	Analyzing the barren plateau phenomenon in training quantum neural network with the ZX-calculus. CoRR Chen Zhao, Xiao-Shan Gao
2021	J	`jnl`	Analyzing the barren plateau phenomenon in training quantum neural networks with the ZX-calculus. Quantum Chen Zhao, Xiao-Shan Gao
2021	B	`conf`	Lower Bound for Derivatives of Costa's Differential Entropy. ISIT Laigang Guo, Chun-Ming Yuan, Xiao-Shan Gao
2021	B	`conf`	New Developments of Mathematics Mechanization. ISSAC Xiao-Shan Gao
2021	J	`jnl`	QDNN: deep neural networks with quantum layers. Quantum Mach. Intell. Chen Zhao, Xiao-Shan Gao
2021	J	`jnl`	Robust and Information-theoretically Safe Bias Classifier against Adversarial Attacks. CoRR Lijia Yu, Xiao-Shan Gao
2021	J	`jnl`	Tropical Differential Gröbner Bases. Math. Comput. Sci. Youren Hu, Xiao-Shan Gao
2020	J	`jnl`	Faster interpolation algorithms for sparse multivariate polynomials given by straight-line programs. J. Symb. Comput. Qiao-Long Huang, Xiao-Shan Gao
2020	J	`jnl`	Improve the Robustness and Accuracy of Deep Neural Network with L CoRR Lijia Yu, Xiao-Shan Gao
2020	J	`jnl`	Lower Bound on Derivatives of Costa's Differential Entropy. CoRR Laigang Guo, Chun-Ming Yuan, Xiao-Shan Gao
2020	J	`jnl`	Prove Costa's Entropy Power Inequality and High Order Inequality for Differential Entropy with Semidefinite Programming. CoRR Laigang Guo, Chun-Ming Yuan, Xiao-Shan Gao
2019	J	`jnl`	A polynomial-time algorithm to compute generalized Hermite normal forms of matrices over Z[x]. Theor. Comput. Sci. Rui-Juan Jing, Chun-Ming Yuan, Xiao-Shan Gao
2019	J	`jnl`	Foreword to the Special Issue. J. Syst. Sci. Complex. Xiao-Shan Gao, Hongbo Li, Dongming Wang
2019	J	`jnl`	QDNN: DNN with Quantum Neural Network Layers. CoRR Chen Zhao, Xiao-Shan Gao
2019	B	`conf`	Revisit Sparse Polynomial Interpolation Based on Randomized Kronecker Substitution. CASC Qiao-Long Huang, Xiao-Shan Gao
2019	J	`jnl`	Ritt-Wu Characteristic Set Method for Laurent Partial Differential Polynomial Systems. J. Syst. Sci. Complex. Youren Hu, Xiao-Shan Gao
2019	J	`jnl`	Tropical Differential Groebner Basis. CoRR Youren Hu, Xiao-Shan Gao
2018	J	`jnl`	Preface. J. Symb. Comput. Xiao-Shan Gao
2018	J	`jnl`	Quantum Algorithms for Boolean Equation Solving and Quantum Algebraic Attack on Cryptosystems. IACR Cryptol. ePrint Arch. Yu-Ao Chen, Xiao-Shan Gao
2018	J	`jnl`	Quantum Algorithms for Optimization and Polynomial Systems Solving over Finite Fields. CoRR Yu-Ao Chen, Xiao-Shan Gao, Chun-Ming Yuan
2017	J	`jnl`	A triangular decomposition algorithm for differential polynomial systems with elementary computation complexity. J. Syst. Sci. Complex. Wei Zhu, Xiao-Shan Gao
2017	J	`jnl`	An efficient stochastic approach for robust time-optimal trajectory planning of robotic manipulators under limited actuation. Robotica Ming-Yong Zhao, Xiao-Shan Gao, Qiang Zhang
2017	J	`jnl`	Binomial difference ideals. J. Symb. Comput. Xiao-Shan Gao, Zhang Huang, Chun-Ming Yuan
2017	B	`conf`	Characteristic Set Method for Laurent Differential Polynomial Systems. CASC Youren Hu, Xiao-Shan Gao
2017	J	`jnl`	Criteria for Finite Difference Groebner Bases of Normal Binomial Difference Ideals. CoRR Yu-Ao Chen, Xiao-Shan Gao
2017	B	`conf`	Criteria for Finite Difference Gröbner Bases of Normal Binomial Difference Ideals. ISSAC Yu-Ao Chen, Xiao-Shan Gao
2017	J	`jnl`	Faster Deterministic Sparse Interpolation Algorithms for Straight-Line Program Multivariate Polynomials. CoRR Qiao-Long Huang, Xiao-Shan Gao
2017	J	`jnl`	Preface - Special issue to celebrate the 30th anniversary of Journal of Systems Science and Complexity. J. Syst. Sci. Complex. Xiao-Shan Gao, Jie Chen, Jun Shao, Shouyang Wang
2017	J	`jnl`	Quantum Algorithms for Boolean Equation Solving and Quantum Algebraic Attack on Cryptosystems. CoRR Yu-Ao Chen, Xiao-Shan Gao
2017	J	`jnl`	Revisit Randomized Kronecker Substitution based Sparse Polynomial Interpolation. CoRR Qiao-Long Huang, Xiao-Shan Gao
2017	J	`jnl`	Sparse Interpolation of Black-box Multivariate Polynomials using Kronecker Type Substitutions. CoRR Qiao-Long Huang, Xiao-Shan Gao
2017	B	`conf`	Sparse Polynomial Interpolation with Finitely Many Values for the Coefficients. CASC Qiao-Long Huang, Xiao-Shan Gao
2017	J	`jnl`	Sparse Polynomial Interpolation with Finitely Many Values for the Coefficients. CoRR Qiao-Long Huang, Xiao-Shan Gao
2017	—	`conf`	Sparse Rational Function Interpolation with Finitely Many Values for the Coefficients. MACIS Qiao-Long Huang, Xiao-Shan Gao
2017	J	`jnl`	Sparse Rational Function Interpolation with Finitely Many Values for the Coefficients. CoRR Qiao-Long Huang, Xiao-Shan Gao
2017	J	`jnl`	Toric difference variety. J. Syst. Sci. Complex. Xiao-Shan Gao, Zhang Huang, Jie Wang, Chun-Ming Yuan
2017	J	`jnl`	Wen-Tsun Wu: His Life and Legacy. ACM Commun. Comput. Algebra Xiao-Shan Gao
2016	J	`jnl`	A Polynomial-time Algorithm to Compute Generalized Hermite Normal Form of Matrices over Z[x]. CoRR Rui-Juan Jing, Chun-Ming Yuan, Xiao-Shan Gao
2016	J	`jnl`	Binomial Difference Ideals. CoRR Xiao-Shan Gao, Zhang Huang, Chun-Ming Yuan
2016	—	`conf`	Practical feedrate optimization for planar high precision contouring. ICIA Qiang Zhang, Xiao-Shan Gao
2016	B	`ed.`	Proceedings of the ACM on International Symposium on Symbolic and Algebraic Computation, ISSAC 2016, Waterloo, ON, Canada, July 19-22, 2016 ISSAC Sergei A. Abramov, Eugene V. Zima, Xiao-Shan Gao
2016	J	`jnl`	Solving Boolean equation systems and applications in cryptanalysis. Sci. China Inf. Sci. Xiao-Shan Gao, Zhenyu Huang
2016	J	`jnl`	Time-optimal path tracking for robots under dynamics constraints based on convex optimization. Robotica Qiang Zhang, Shurong Li, Jian-Xin Guo, Xiao-Shan Gao
2016	J	`jnl`	Toric Difference Variety. CoRR Xiao-Shan Gao, Zhang Huang, Jie Wang, Chun-Ming Yuan
2015	J	`jnl`	A Triangular Decomposition Algorithm for Differential Polynomial Systems with Elementary Computation Complexity. CoRR Wei Zhu, Xiao-Shan Gao
2015	J	`jnl`	Binomial difference ideal and toric difference variety. ACM Commun. Comput. Algebra Xiao-Shan Gao
2015	J	`jnl`	Curve fitting and optimal interpolation for CNC machining under confined error using quadratic B-splines. Comput. Aided Des. Zhengyuan Yang, Liyong Shen, Chun-Ming Yuan, Xiao-Shan Gao
2015	B	`conf`	On the Topology and Visualization of Plane Algebraic Curves. CASC Kai Jin, Jin-San Cheng, Xiao-Shan Gao
2015	J	`jnl`	Sparse Differential Resultant for Laurent Differential Polynomials. Found. Comput. Math. Wei Li, Chun-Ming Yuan, Xiao-Shan Gao
2015	J	`jnl`	Sparse difference resultant. J. Symb. Comput. Wei Li, Chun-Ming Yuan, Xiao-Shan Gao
2015	J	`jnl`	Time optimal feedrate generation with confined tracking error based on linear programming. J. Syst. Sci. Complex. Jian-Xin Guo, Qiang Zhang, Xiao-Shan Gao, Hongbo Li
2015	J	`jnl`	Tractable Algorithm for Robust Time-Optimal Trajectory Planning of Robotic Manipulators under Confined Torque. Int. J. Comput. Commun. Control Qiang Zhang, Shurong Li, Jian-Xin Guo, Xiao-Shan Gao
2014	J	`jnl`	Binomial Difference Ideal and Toric Difference Variety. CoRR Xiao-Shan Gao, Zhang Huang, Chun-Ming Yuan
2014	J	`jnl`	Multiplicity-preserving triangular set decomposition of two polynomials. J. Syst. Sci. Complex. Jin-San Cheng, Xiao-Shan Gao
2013	J	`jnl`	Efficient time-optimal feedrate planning under dynamic constraints for a high-order CNC servo system. Comput. Aided Des. Jian-Xin Guo, Ke Zhang, Qiang Zhang, Xiao-Shan Gao
2013	C	`conf`	Practical smooth minimum time trajectory planning for path following robotic manipulators. ACC Qiang Zhang, Shurong Li, Xiao-Shan Gao
2013	B	`conf`	Sparse difference resultant. ISSAC Wei Li, Chun-Ming Yuan, Xiao-Shan Gao
2013	J	`jnl`	Tracking error reduction in CNC machining by reshaping the kinematic trajectory. J. Syst. Sci. Complex. Jian-Xin Guo, Qiang Zhang, Xiao-Shan Gao
2012	J	`jnl`	A brief introduction to Wen-Tsun Wu's academic career. J. Symb. Comput. Xiao-Shan Gao, Deepak Kapur
2012	J	`jnl`	Certified Approximation of Parametric Space Curves with Cubic B-spline Curves CoRR Liyong Shen, Chun-Ming Yuan, Xiao-Shan Gao
2012	J	`jnl`	Certified Rational Parametric Approximation of Real Algebraic Space Curves with Local Generic Position Method CoRR Jin-San Cheng, Kai Jin, Xiao-Shan Gao, Daniel Lazard
2012	J	`jnl`	Certified approximation of parametric space curves with cubic B-spline curves. Comput. Aided Geom. Des. Liyong Shen, Chun-Ming Yuan, Xiao-Shan Gao
2012	J	`jnl`	Characteristic set algorithms for equation solving in finite fields. J. Symb. Comput. Xiao-Shan Gao, Zhenyu Huang
2012	J	`jnl`	Discrete Interpolation of G01 Codes in 2D Machining under Bounded Accelerations. Math. Comput. Sci. Hongbo Li, Xiao-Shan Gao, Lixian Zhang, Ruiyong Sun
2012	J	`jnl`	Editorial message. Comput. Aided Geom. Des. Xiao-Shan Gao, Christoph M. Hoffmann, Robert Joan-Arinyo
2012	J	`jnl`	Matrix Formula of Differential Resultant for First Order Generic Ordinary Differential Polynomials CoRR Zhi-Yong Zhang, Chun-Ming Yuan, Xiao-Shan Gao
2012	—	`conf`	Matrix Formulae of Differential Resultant for First Order Generic Ordinary Differential Polynomials. ASCM Zhi-Yong Zhang, Chun-Ming Yuan, Xiao-Shan Gao
2012	J	`jnl`	On functional decomposition of multivariate polynomials with differentiation and homogenization. J. Syst. Sci. Complex. Shang-Wei Zhao, Ruyong Feng, Xiao-Shan Gao
2012	J	`jnl`	Preface. J. Symb. Comput. Xiao-Shan Gao, Deepak Kapur
2012	J	`jnl`	Root isolation of zero-dimensional polynomial systems with linear univariate representation. J. Symb. Comput. Jin-San Cheng, Xiao-Shan Gao, Leilei Guo
2012	J	`jnl`	Sparse Difference Resultant CoRR Wei Li, Chun-Ming Yuan, Xiao-Shan Gao
2012	J	`jnl`	Sparse differential resultant for laurent differential polynomials. ACM Commun. Comput. Algebra Wei Li, Chun-Ming Yuan, Xiao-Shan Gao
2012	J	`jnl`	Special issue on geometric constraints and reasoning. Comput. Geom. Xiao-Shan Gao, Robert Joan-Arinyo, Dominique Michelucci
2011	J	`jnl`	Curve fitting and optimal interpolation on CNC machines based on quadratic B-splines. Sci. China Inf. Sci. Mei Zhang, Wei Yan, Chun-Ming Yuan, Dingkang Wang, Xiao-Shan Gao
2011	J	`jnl`	Differential Chow Form for Projective Differential Variety CoRR Wei Li, Xiao-Shan Gao
2011	J	`jnl`	Multiplicity Preserving Triangular Set Decomposition of Two Polynomials CoRR Jin-San Cheng, Xiao-Shan Gao
2011	J	`jnl`	Proper reparametrization for inherently improper unirational varieties. J. Syst. Sci. Complex. Liyong Shen, Eng-Wee Chionh, Xiao-Shan Gao, Jia Li
2011	J	`jnl`	Root Isolation of Zero-dimensional Polynomial Systems with Linear Univariate Representation CoRR Jin-San Cheng, Xiao-Shan Gao, Leilei Guo
2011	J	`jnl`	Sparse Differential Resultant for Laurent Differential Polynomials CoRR Wei Li, Chun-Ming Yuan, Xiao-Shan Gao
2011	B	`conf`	Sparse differential resultant. ISSAC Wei Li, Xiao-Shan Gao, Chun-Ming Yuan
2010	—	`conf`	Articulation-constrained Skeleton Extraction. IPCV Li Han, Xiao-Shan Gao
2010	J	`jnl`	Efficient Characteristic Set Algorithms for Equation Solving in Finite Fields and Applications in Cryptanalysis CoRR Xiao-Shan Gao, Zhenyu Huang
2010	J	`jnl`	Intersection Theory for Generic Differential Polynomials and Differential Chow Form CoRR Xiao-Shan Gao, Wei Li, Chun-Ming Yuan
2010	J	`jnl`	On Functional Decomposition of Multivariate Polynomials with Differentiation and Homogenization CoRR Shang-Wei Zhao, Ruyong Feng, Xiao-Shan Gao
2010	J	`jnl`	On Functional Decomposition of Multivariate Polynomials with Differentiation and Homogenization. IACR Cryptol. ePrint Arch. Shang-Wei Zhao, Ruyong Feng, Xiao-Shan Gao
2010	J	`jnl`	Visually Dynamic Presentation of Proofs in Plane Geometry - Part 1. Basic Features and the Manual Input Method. J. Autom. Reason. Zheng Ye, Shang-Ching Chou, Xiao-Shan Gao
2010	J	`jnl`	Visually Dynamic Presentation of Proofs in Plane Geometry - Part 2. Automated Generation of Visually Dynamic Presentations with the Full-Angle Method and the Deductive Database Method. J. Autom. Reason. Zheng Ye, Shang-Ching Chou, Xiao-Shan Gao
2009	J	`jnl`	A characteristic set method for ordinary difference polynomial systems. J. Symb. Comput. Xiao-Shan Gao, Yong Luo, Chun-Ming Yuan
2009	J	`jnl`	A criterion for testing whether a difference ideal is prime. J. Syst. Sci. Complex. Chun-Ming Yuan, Xiao-Shan Gao
2009	B	`conf`	Ambient Isotopic Meshing for Implicit Algebraic Surfaces with Singularities. CASC Jin-San Cheng, Xiao-Shan Gao, Jia Li
2009	J	`jnl`	Ambient Isotopic Meshing of Implicit Algebraic Surface with Singularities CoRR Jin-San Cheng, Xiao-Shan Gao, Jia Li
2009	—	`conf`	Arbitrary shape reconstruction from NC sectional data and applications in space cutter compensation and interference detection. CAD/Graphics Li Han, Xiao-Shan Gao, Hongbo Li, Lixian Zhang, Jie Liu
2009	J	`jnl`	Characteristic set method for differential-difference polynomial systems. J. Symb. Comput. Xiao-Shan Gao, Joris van der Hoeven, Chun-Ming Yuan, Gui-Lin Zhang
2009	J	`jnl`	Complete numerical isolation of real roots in zero-dimensional triangular systems. J. Symb. Comput. Jin-San Cheng, Xiao-Shan Gao, Chee-Keng Yap
2009	J	`jnl`	Decomposition of ordinary difference polynomials. J. Symb. Comput. Mingbo Zhang, Xiao-Shan Gao
2009	J	`jnl`	Efficient Characteristic Set Algorithms for Equation Solving in Finite Fields and Application in Analysis of Stream Ciphers. IACR Cryptol. ePrint Arch. Xiao-Shan Gao, Zhenyu Huang
2009	J	`jnl`	Minimal achievable approximation ratio for MAX-MQ in finite fields. Theor. Comput. Sci. Shang-Wei Zhao, Xiao-Shan Gao
2009	B	`conf`	Root isolation for bivariate polynomial systems with local generic position method. ISSAC Jin-San Cheng, Xiao-Shan Gao, Jia Li
2009	Misc	`conf`	Topology determination and isolation for implicit plane curves. SAC Jin-San Cheng, Xiao-Shan Gao, Jia Li
2008	J	`jnl`	A characteristic set method for equation solving over finite fields. ACM Commun. Comput. Algebra Xiao-Shan Gao, Zhenyu Huang
2008	J	`jnl`	A characteristic set method for solving boolean equations and applications in cryptanalysis of stream ciphers. J. Syst. Sci. Complex. Fengjuan Chai, Xiao-Shan Gao, Chun-Ming Yuan
2008	J	`jnl`	AI in China: A Survey. IEEE Intell. Syst. Xiao-Shan Gao, Dantong Ouyang, Ji-gui Sun, Sanjiang Li, Tian-shun Yao, Ruzhan Lu, Chun-Yi Shi, Zhangang Han, Jue Wang, Cun-gen Cao, Ruqian Lu
2008	—	`conf`	An Introduction to Java Geometry Expert - (Extended Abstract). Automated Deduction in Geometry Zheng Ye, Shang-Ching Chou, Xiao-Shan Gao
2008	J	`jnl`	Decomposition of ordinary differential polynomials. Appl. Algebra Eng. Commun. Comput. Xiao-Shan Gao, Mingbo Zhang
2008	J	`jnl`	Proper Reparametrization of Rational Ruled Surface. J. Comput. Sci. Technol. Jia Li, Liyong Shen, Xiao-Shan Gao
2008	J	`jnl`	Rational solutions of ordinary difference equations. J. Symb. Comput. Ruyong Feng, Xiao-Shan Gao, Zhenyu Huang
2008	Misc	`conf`	Special track on Geometric Constraints and Reasoning: editorial message. SAC Xiao-Shan Gao, Dominique Michelucci, Pascal Schreck
2007	—	`conf`	A Modified Van der Waerden Algorithm to Decompose Algebraic Varieties and Zero-Dimensional Radical Ideals. ASCM Jia Li, Xiao-Shan Gao
2007	J	`jnl`	Affinity genetic algorithm. J. Heuristics Xinchao Zhao, Xiao-Shan Gao
2007	B	`conf`	Complete numerical isolation of real zeros in zero-dimensional triangular systems. ISSAC Jin-San Cheng, Xiao-Shan Gao, Chee-Keng Yap
2007	J	`jnl`	Evolutionary programming based on non-uniform mutation. Appl. Math. Comput. Xinchao Zhao, Xiao-Shan Gao, Ze-Chun Hu
2007	J	`jnl`	Mathematics mechanization and applications after thirty years. Frontiers Comput. Sci. China Wenjun Wu, Xiao-Shan Gao
2007	—	`conf`	Proper Reparametrization of Rational Ruled Surface. CAD/Graphics Jia Li, Liyong Shen, Xiao-Shan Gao
2007	—	`conf`	Properties of Ascending Chains for Partial Difference Polynomial Systems. ASCM Gui-Lin Zhang, Xiao-Shan Gao
2006	J	`jnl`	A C-tree decomposition algorithm for 2D and 3D geometric constraint solving. Comput. Aided Des. Xiao-Shan Gao, Qiang Lin, Gui-Fang Zhang
2006	J	`jnl`	A polynomial time algorithm for finding rational general solutions of first order autonomous ODEs. J. Symb. Comput. Ruyong Feng, Xiao-Shan Gao
2006	J	`jnl`	Automated Reasoning and Equation Solving with the Characteristic Set Method. J. Comput. Sci. Technol. Wen-tsun Wu, Xiao-Shan Gao
2006	—	`conf`	Decomposition of Differential Polynomials. Challenges in Symbolic Computation Software Xiao-Shan Gao, Mingbo Zhang
2006	Misc	`conf`	Editorial message: technical track on geometric computing and reasoning. SAC Xiao-Shan Gao, Dominique Michelucci, Pascal Schreck
2006	J	`jnl`	Guest Editors' Foreword. Int. J. Comput. Geom. Appl. Xiao-Shan Gao, Dominique Michelucci
2006	J	`jnl`	Inherently improper surface parametric supports. Comput. Aided Geom. Des. Eng-Wee Chionh, Xiao-Shan Gao, Liyong Shen
2006	J	`jnl`	On the Probability of the Number of Solutions for the P4P Problem. J. Math. Imaging Vis. Xiao-Shan Gao, Jianliang Tang
2006	J	`jnl`	Quadratic approximation to plane parametric curves and its application in approximate implicitization. Vis. Comput. Ming Li, Xiao-Shan Gao, Shang-Ching Chou
2006	B	`conf`	Resolvent systems of difference polynomial ideals. ISSAC Xiao-Shan Gao, Chun-Ming Yuan
2006	Misc	`conf`	Spatial geometric constraint solving based on k-connected graph decomposition. SAC Gui-Fang Zhang, Xiao-Shan Gao
2006	J	`jnl`	The Proper Parametrization of a Special Class of Rational Parametric Equations. J. Syst. Sci. Complex. Jia Li, Xiao-Shan Gao
2006	J	`jnl`	Well-constrained Completion and Decomposition for under-constrained Geometric Constraint Problems. Int. J. Comput. Geom. Appl. Gui-Fang Zhang, Xiao-Shan Gao
2006	J	`jnl`	Wen-Tsun Wu's academic career. ACM Commun. Comput. Algebra Xiao-Shan Gao
2005	J	`jnl`	2D and 3D generalized Stewart Platforms. SIGSAM Bull. Xiao-Shan Gao, Gui-Fang Zhang
2005	B	`conf`	Algebraic general solutions of algebraic ordinary differential equations. ISSAC J. M. Aroca, J. Cano, Ruyong Feng, Xiao-Shan Gao
2005	—	`conf`	Determining the Topology of Real Algebraic Surfaces. IMA Conference on the Mathematics of Surfaces Jin-San Cheng, Xiao-Shan Gao, Ming Li
2005	J	`jnl`	Generalized Stewart-Gough platforms and their direct kinematics. IEEE Trans. Robotics Xiao-Shan Gao, Deli Lei, Qizheng Liao, Gui-Fang Zhang
2005	J	`jnl`	Generating Symbolic Interpolants for Scattered Data with Normal Vectors. J. Comput. Sci. Technol. Ming Li, Xiao-Shan Gao, Jin-San Cheng
2005	J	`jnl`	Intrinsic topological representation of real algebraic surfaces. SIGSAM Bull. Jin-San Cheng, Xiao-Shan Gao, Ming Li
2004	C	`conf`	A Hybrid Genetic Algorithm Based on Simulated Annealing and Applications to Optimization and SAT Problems. SNPD Xinchao Zhao, Xiao-Shan Gao
2004	J	`jnl`	An algorithm for solving partial differential parametric systems. Discret. Appl. Math. Jimin Wang, Xiao-Shan Gao
2004	B	`conf`	Decomposition of differential polynomials with constant coefficients. ISSAC Xiao-Shan Gao, Mingbo Zhang
2004	J	`jnl`	Editorial. J. Symb. Comput. Arjeh M. Cohen, Xiao-Shan Gao, Nobuki Takayama
2004	—	`conf`	Planar Generalized Stewart Platforms and Their Direct Kinematics. Automated Deduction in Geometry Gui-Fang Zhang, Xiao-Shan Gao
2004	—	`conf`	Polynomial General Solutions for First Order Autonomous ODEs. IWMM/GIAE Ruyong Feng, Xiao-Shan Gao
2004	C	`conf`	Rational Quadratic Approximation to Real Plane Algebraic Curves. GMP Xiao-Shan Gao, Ming Li
2004	B	`conf`	Rational general solutions of algebraic ordinary differential equations. ISSAC Ruyong Feng, Xiao-Shan Gao
2004	J	`jnl`	Rational quadratic approximation to real algebraic curves. Comput. Aided Geom. Des. Xiao-Shan Gao, Ming Li
2004	J	`jnl`	Solving spatial basic geometric constraint configurations with locus intersection. Comput. Aided Des. Xiao-Shan Gao, Christoph M. Hoffmann, Wei-Qiang Yang
2003	—	`conf`	Classification and Solving of Merge Patterns in Geometric Constraint Solving. Shape Modeling International Xiao-Shan Gao, Gui-Fang Zhang
2003	J	`jnl`	Complete Solution Classification for the Perspective-Three-Point Problem. IEEE Trans. Pattern Anal. Mach. Intell. Xiao-Shan Gao, Xiaorong Hou, Jianliang Tang, Hang-Fei Cheng
2003	—	`conf`	Geometric constraint solving via C-tree decomposition. Symposium on Solid Modeling and Applications Xiao-Shan Gao, Gui-Fang Zhang
2003	J	`jnl`	Implicitization of differential rational parametric equations. J. Symb. Comput. Xiao-Shan Gao
2003	J	`jnl`	Polynomial solutions for first order ODEs with constant coefficients. SIGSAM Bull. Ruyong Feng, Xiao-Shan Gao
2002	C	`conf`	Construct Piecewise Hermite Interpolation Surface with Blending Methods. GMP Xiao-Shan Gao, Ming Li
2002	J	`jnl`	Geometric constraint solving with conics and linkages. Comput. Aided Des. Xiao-Shan Gao, Kun Jiang, Chang-Cai Zhu
2002	—	`conf`	MMP/Geometer - A Software Package for Automated Geometric Reasoning. Automated Deduction in Geometry Xiao-Shan Gao, Qiang Lin
2002	—	`conf`	Solving spatial basic geometric constraint configurations with locus intersection. Symposium on Solid Modeling and Applications Xiao-Shan Gao, Christoph M. Hoffmann, Wei-Qiang Yang
2001	—	`ch.`	Automated Reasoning in Geometry. Handbook of Automated Reasoning Shang-Ching Chou, Xiao-Shan Gao
2001	J	`jnl`	Geometric constraint solving with geometric transformation. Sci. China Ser. F Inf. Sci. Xiao-Shan Gao, Lei-Dong Huang, Kun Jiang
2001	J	`jnl`	New Algorithms for the Perspective-Three-Point Problem. J. Comput. Sci. Technol. Xiao-Shan Gao, Hangfei Chen
2000	J	`jnl`	A Deductive Database Approach to Automated Geometry Theorem Proving and Discovering. J. Autom. Reason. Shang-Ching Chou, Xiao-Shan Gao, Jing-Zhong Zhang
2000	—	`conf`	A Hybrid Method for Solving Geometric Constraint Problems. Automated Deduction in Geometry Xiao-Shan Gao, Lei-Dong Huang, Kun Jiang
1999	—	`ed.`	Automated Deduction in Geometry, Second International Workshop, ADG'98, Beijing, China, August 1-3, 1998, Proceedings Automated Deduction in Geometry Xiao-Shan Gao, Dongming Wang, Lu Yang
1999	J	`jnl`	Automated generation of Kempe linkage and its complexity. J. Comput. Sci. Technol. Xiao-Shan Gao, Changcai Zhu
1999	J	`jnl`	Geometric constraint satisfaction using optimization methods. Comput. Aided Des. Jian-Xin Ge, Shang-Ching Chou, Xiao-Shan Gao
1998	—	`conf`	Automated Geometry Diagram Construction and Engineering Geometry. Automated Deduction in Geometry Xiao-Shan Gao
1998	J	`jnl`	Solving geometric constraint systems. I. A global propagation approach. Comput. Aided Des. Xiao-Shan Gao, Shang-Ching Chou
1998	J	`jnl`	Solving geometric constraint systems. II. A symbolic approach and decision of Rc-constructibility. Comput. Aided Des. Xiao-Shan Gao, Shang-Ching Chou
1996	A	`conf`	An Introduction to Geometry Expert. CADE Shang-Ching Chou, Xiao-Shan Gao, Jing-Zhong Zhang
1996	J	`jnl`	Automated Generation of Readable Proofs with Geometric Invariants I. Multiple and Shortest Proof Generation. J. Autom. Reason. Shang-Ching Chou, Xiao-Shan Gao
1996	J	`jnl`	Automated Generation of Readable Proofs with Geometric Invariants. J. Autom. Reason. Shang-Ching Chou, Xiao-Shan Gao, Jing-Zhong Zhang
1996	—	`conf`	Automated Production of Readable Proofs for Theorems in Non-Euclidian Geometries. Automated Deduction in Geometry Lu Yang, Xiao-Shan Gao, Shang-Ching Chou, Jing-Zhong Zhang
1995	J	`jnl`	Automated Production of Traditional Proofs for Theorems in Euclidean Geometry. Ann. Math. Artif. Intell. Jing-Zhong Zhang, Shang-Ching Chou, Xiao-Shan Gao
1995	J	`jnl`	Automated Production of Traditional Proofs in Solid Geometry. J. Autom. Reason. Shang-Ching Chou, Xiao-Shan Gao, Jing-Zhong Zhang
1994	—	`book`	Machine proofs in geometry - automated production of readable proofs for geometry theorems. Shang-Ching Chou, Xiao-Shan Gao, Jing-Zhong Zhang
1994	A	`conf`	Mechanically Proving Geometry Theorems Using a Combination of Wu's Method and Collins' Method. CADE Nicholas Freitag McPhee, Shang-Ching Chou, Xiao-Shan Gao
1993	J	`jnl`	A Zero Structure Theorem for Differential Parametric Systems. J. Symb. Comput. Xiao-Shan Gao, Shang-Ching Chou
1993	B	`conf`	Automated Geometry Theorem Proving by Vector Calculation. ISSAC Shang-Ching Chou, Xiao-Shan Gao, Jing-Zhong Zhang
1993	A*	`conf`	Automated Production of Traditional Proofs for Constructive Geometry Theorems LICS Shang-Ching Chou, Xiao-Shan Gao, Jing-Zhong Zhang
1993	J	`jnl`	Automated Reasoning in Differential Geometry and Mechanics Using the Characteristic Set Method. Part I. An Improved Version of Ritt-Wu's Decomposition Algorithm. J. Autom. Reason. Shang-Ching Chou, Xiao-Shan Gao
1993	J	`jnl`	Automated Reasoning in Differential Geometry and Mechanics Using the Characteristic Set Method. Part II. Mechanical Theorem Proving. J. Autom. Reason. Shang-Ching Chou, Xiao-Shan Gao
1992	—	`conf`	An Introduction to Wu's Method of Mechanical Geometry Theorem Proving. IWAR Xiao-Shan Gao
1992	—	`conf`	Automated Reasoning in Differential Geometry and Mechanics Using Characteristic Method. IWAR Shang-Ching Chou, Xiao-Shan Gao
1992	J	`jnl`	Implicitization of Rational Parametric Equations. J. Symb. Comput. Xiao-Shan Gao, Shang-Ching Chou
1992	J	`jnl`	On the Parameterization of Algebraic Curves. Appl. Algebra Eng. Commun. Comput. Xiao-Shan Gao, Shang-Ching Chou
1992	A	`conf`	Proving Geometry Statements of Constructive Type. CADE Shang-Ching Chou, Xiao-Shan Gao
1992	B	`conf`	Solving Parametric Algebraic Systems. ISSAC Xiao-Shan Gao, Shang-Ching Chou
1991	B	`conf`	Computations with Parametric Equations. ISSAC Xiao-Shan Gao, Shang-Ching Chou
1991	J	`jnl`	On the normal parametrization of curves and surfaces. Int. J. Comput. Geom. Appl. Xiao-Shan Gao, Shang-Ching Chou
1990	B	`conf`	Methods for Mechanical Geometry Formula Deriving. ISSAC Shang-Ching Chou, Xiao-Shan Gao
1990	A	`conf`	Ritt-Wu's Decomposition Algorithm and Geometry Theorem Proving. CADE Shang-Ching Chou, Xiao-Shan Gao
1990	J	`jnl`	Transcendental Functions and Mechanical Theorem Proving in Elemantary Geometries. J. Autom. Reason. Xiao-Shan Gao