1. Implementing the Thull-Yap Algorithm for Computing Euclidean Remainder Sequences;Proceedings of the 2022 International Symposium on Symbolic and Algebraic Computation;2022-07-04
2. Binomiality Testing and Computing Sparse Polynomials via Witness Sets;Vietnam Journal of Mathematics;2022-02-22
3. Multi-party Private Set Intersection in Vertical Federated Learning;2020 IEEE 19th International Conference on Trust, Security and Privacy in Computing and Communications (TrustCom);2020-12
4. Certifying solutions to overdetermined and singular polynomial systems over Q;Journal of Symbolic Computation;2018-01
5. Solving Very Sparse Rational Systems of Equations;ACM Transactions on Mathematical Software;2011-02