 | 1．Changbo Chen, Rui-Juan Jing, Chengrong Qian, Yaru Yuan, and Yuegang Zhao. A dataset for suggesting variable orderings for cylindrical algebraic decompositions. Proceedings of Computer Algebra in Scientific Computing, 2024, accepted.
2．Rui-Juan Jing, Yuzhuo Lei, Christopher F. S. Maligec, and Marc Moreno Maza. Counting the integer points of parametric polytopes: A Maple implementation. Proceedings of Computer Algebra in Scientific Computing, 2024, accepted.
3．Rui-Juan Jing, Marc Moreno Maza, Yan-Feng Xie, Chun-Ming Yuan. Efficient detection of redundancies in systems of linear inequalities. Proceedings of the 2024 International Symposium on Symbolic and Algebraic Computation (ISSAC 2024), accepted.
4．Yan-Feng Xie, Chun-Ming Yuan, Rui-Juan Jing*. A sampling-based method to estimate the volume of solution space for linear arithmetic constraints. Journal of Systems Science and Complexity, 2024.
5．荆瑞娟, 钱铖镕, 陈长波*. 基于强化学习的柱形代数分解变元择序. 系统科学与数学, https://doi.org/10.12341/jssms22799, 2023.
6．Hongsheng Qi, Bo Li, Rui-Juan Jing, Lei Wang, Alexandre Proutiere, Guodong Shi. Distributed Algorithms for Boolean Equations Over Networks, IEEE Transactions on Automatic Control, 2023. doi: 10.1109/TAC.2023.3241237.
7．Rui-Juan Jing, Marc Moreno Maza, Delaram Talaashrafi. Complexity estimates for Fourier-Motzkin elimination, International Workshop on Computer Algebra in Scientific Computing. Springer, Cham, 2020: 282-306.
8．Hongsheng Qi, Bo Li, Rui-Juan Jing, Alexandre Proutière, Guodong Shi. Distributedly Solving Boolean Equations over Networks, IEEE Conference on Decision and Control (CDC 2020).
9．Rui-Juan Jing, Chun-Ming Yuan, Xiao-Shan Gao*, A Polynomial-time Algorithm to Compute Generalized Hermite Normal Form of Matrices over Z[x], Theoretical Computer Science, 2019, 755, 89-109.
10．Rui-Juan Jing, Marc Moreno Maza, The Z_Polyhedra Library in Maple, Maple Conference. Springer, Cham, 2019: 132-144.
11．Rui-Juan Jing, Chun-Ming Yuan, A Modular Algorithm to Compute the Generalized Hermite Normal Form for Z[x]-Lattices, Journal of Symbolic Computation, 2017, 81, 97-118.
12．Rui-Juan Jing, Marc Moreno Maza, Computing the Integer Points of a Polyhedron, I: Algorithm, Proceedings of Computer Algebra in Scientific Computing, 2017, page 225-241.
13．Rui-Juan Jing, Marc Moreno Maza, Computing the Integer Points of a Polyhedron, II: Complexity estimates, Proceedings of Computer Algebra in Scientific Computing, 2017, page 242-256.
14．Rui-Juan Jing, Marc Moreno Maza, The polyhedra library in maple, ACM Communications in Computer Algebra, 2017, 51(3), page 86-88. |
