A Polynomial-time Algorithm to Compute Generalized Hermite Normal Form of Matrices over Z[x]. - Rui-Juan Jing; Chun-Ming Yuan; Xiao-Shan Gao (CoRR, 2016)

Computing the Integer Points of a Polyhedron, I: Algorithm. - Rui-Juan Jing; Marc Moreno Maza (CASC, 2017)

Computing the Integer Points of a Polyhedron, II: Complexity Estimates. - Rui-Juan Jing; Marc Moreno Maza (CASC, 2017)

The polyhedra library in maple. - Rui-Juan Jing; Marc Moreno Maza (ACM Commun. Comput. Algebra, 2017)

A modular algorithm to compute the generalized Hermite normal form for Z[x]-lattices. - Rui-Juan Jing; Chun-Ming Yuan (J. Symb. Comput., 2017)

Computing the integer points of a polyhedron. - Rui-Juan Jing; Marc Moreno Maza (ACM Commun. Comput. Algebra, 2018)

The Z_Polyhedra Library in Maple. - Rui-Juan Jing; Marc Moreno Maza (MC, 2019)

A polynomial-time algorithm to compute generalized Hermite normal forms of matrices over Z[x]. - Rui-Juan Jing; Chun-Ming Yuan; Xiao-Shan Gao (Theor. Comput. Sci., 2019)

Complexity Estimates for Fourier-Motzkin Elimination. - Rui-Juan Jing; Marc Moreno Maza; Delaram Talaashrafi (CASC, 2020)

Distributedly Solving Boolean Equations over Networks. - Hongsheng Qi; Bo Li 039; Rui-Juan Jing; Alexandre Proutière; Guodong Shi (CDC, 2020)

Distributed Algorithms for Boolean Equations Over Networks. - Hongsheng Qi; Bo Li 039; Rui-Juan Jing; Lei Wang 059; Alexandre Proutière; Guodong Shi (IEEE Trans. Autom. Control., 2023)

A Dataset for Suggesting Variable Orderings for Cylindrical Algebraic Decompositions. - Changbo Chen; Rui-Juan Jing; Chengrong Qian; Yaru Yuan; Yuegang Zhao (CASC, 2024)

Counting the Integer Points of Parametric Polytopes: A Maple Implementation. - Rui-Juan Jing; Yuzhuo Lei; Christopher F. S. Maligec; Marc Moreno Maza (CASC, 2024)

Efficient detection of redundancies in systems of linear inequalities✱. - Rui-Juan Jing; Marc Moreno Maza; Yan-Feng Xie; Chun-Ming Yuan (ISSAC, 2024)

Counting the number of integer points of non-parametric and parametric polytopes with the PolyhedralSets in Maple. - Yuzhuo Lei; Marc Moreno Maza; Christopher F. S. Maligec; Rui-Juan Jing; Linxiao Wang (Maple Trans., 2025)