Rui-Juan Jing

Publication Activity (10 Years)

Years Active: 2016-2024
Publications (10 Years): 16

Top Topics

Davis Putnam Logemann Loveland

Top Venues

ACM Commun. Comput. Algebra

Publications

Rui-Juan Jing, Yuzhuo Lei, Christopher F. S. Maligec, Marc Moreno Maza
Counting the Integer Points of Parametric Polytopes: A Maple Implementation. CASC (2024)
Changbo Chen, Rui-Juan Jing, Chengrong Qian, Yaru Yuan, Yuegang Zhao
A Dataset for Suggesting Variable Orderings for Cylindrical Algebraic Decompositions. CASC (2024)
Rui-Juan Jing, Marc Moreno Maza, Yan-Feng Xie, Chun-Ming Yuan
Efficient detection of redundancies in systems of linear inequalities✱. ISSAC (2024)
Hongsheng Qi, Bo Li, Rui-Juan Jing, Lei Wang, Alexandre Proutière, Guodong Shi
Distributed Algorithms for Boolean Equations Over Networks. IEEE Trans. Autom. Control. 68 (11) (2023)
Rui-Juan Jing, Marc Moreno Maza, Delaram Talaashrafi
Complexity Estimates for Fourier-Motzkin Elimination. CASC (2020)
Hongsheng Qi, Bo Li, Rui-Juan Jing, Alexandre Proutière, Guodong Shi
Distributedly Solving Boolean Equations over Networks. CDC (2020)
Rui-Juan Jing, Marc Moreno Maza
The Z_Polyhedra Library in Maple. MC (2019)
Rui-Juan Jing, Chun-Ming Yuan, Xiao-Shan Gao
A polynomial-time algorithm to compute generalized Hermite normal forms of matrices over Z[x]. Theor. Comput. Sci. 755 (2019)
Rui-Juan Jing, Marc Moreno Maza
Computing the integer points of a polyhedron. ACM Commun. Comput. Algebra 52 (4) (2018)
Rui-Juan Jing, Marc Moreno Maza, Delaram Talaashrafi
Complexity Estimates for Fourier-Motzkin Elimination. CoRR (2018)
Rui-Juan Jing, Marc Moreno Maza
Computing the Integer Points of a Polyhedron, I: Algorithm. CASC (2017)
Rui-Juan Jing, Chun-Ming Yuan
A modular algorithm to compute the generalized Hermite normal form for Z[x]-lattices. J. Symb. Comput. 81 (2017)
Rui-Juan Jing, Marc Moreno Maza
The polyhedra library in maple. ACM Commun. Comput. Algebra 51 (3) (2017)
Rui-Juan Jing, Marc Moreno Maza
Computing the Integer Points of a Polyhedron, II: Complexity Estimates. CASC (2017)
Rui-Juan Jing, Marc Moreno Maza
Computing the Integer Points of a Polyhedron. SC²@ISSAC (2017)
Rui-Juan Jing, Chun-Ming Yuan, Xiao-Shan Gao
A Polynomial-time Algorithm to Compute Generalized Hermite Normal Form of Matrices over Z[x]. CoRR (2016)