| 2026 | CASC | On the Computation of Extended Convex Hulls. | Rui-Juan Jing, Yuzhuo Lei, Marc Moreno Maza, Chirantan Mukherjee |
| 2026 | ISIT | Toward the Minimal Set of Information Inequalities in Regenerating Codes: An Algebraic Approach. | Rui-Juan Jing, Laigang Guo, Chun-Ming Yuan, Yan-Feng Xie |
| 2025 | ICFEM | Synthesizing Loops from Linear Ranking Functions. | Rui-Juan Jing, Yaru Yuan, Yuxing Cai, Yi Li, Changbo Chen |
| 2025 | ISSAC | Quantifier Elimination Over the Integers. | Rui-Juan Jing, Yuzhuo Lei, Christopher Frank Stephan Maligec, Marc Moreno Maza, Chirantan Mukherjee |
| 2024 | CASC | A Dataset for Suggesting Variable Orderings for Cylindrical Algebraic Decompositions. | Changbo Chen, Rui-Juan Jing, Chengrong Qian, Yaru Yuan, Yuegang Zhao |
| 2024 | CASC | Counting the Integer Points of Parametric Polytopes: A Maple Implementation. | Rui-Juan Jing, Yuzhuo Lei, Christopher F. S. Maligec, Marc Moreno Maza |
| 2024 | ISSAC | Efficient detection of redundancies in systems of linear inequalities✱. | Rui-Juan Jing, Marc Moreno Maza, Yan-Feng Xie, Chun-Ming Yuan |
| 2020 | CASC | Complexity Estimates for Fourier-Motzkin Elimination. | Rui-Juan Jing, Marc Moreno Maza, Delaram Talaashrafi |
| 2017 | CASC | Computing the Integer Points of a Polyhedron, I: Algorithm. | Rui-Juan Jing, Marc Moreno Maza |
| 2017 | CASC | Computing the Integer Points of a Polyhedron, II: Complexity Estimates. | Rui-Juan Jing, Marc Moreno Maza |
| 2017 | ISSAC | Computing the Integer Points of a Polyhedron. | Rui-Juan Jing, Marc Moreno Maza |