default search action

combined dblp search
author search
venue search
publication search

ask others

Rui-Juan Jing

> Home > Persons

Person information

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Journal Articles

see FAQ

What is the meaning of the colors in the publication lists?

2023
[j5]
- view
  authority control:
- export record
  dblp key:
  - journals/tac/QiLJWPS23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tac/QiLJWPS23
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): 6589-6604 (2023)
2019
[j4]
- view
  authority control:
- export record
  dblp key:
  - journals/tcs/JingYG19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/JingYG19
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: 89-109 (2019)
2018
[j3]
- view
  authority control:
- export record
  dblp key:
  - journals/cca/JingM18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cca/JingM18
Rui-Juan Jing, Marc Moreno Maza:
Computing the integer points of a polyhedron. ACM Commun. Comput. Algebra 52(4): 126-129 (2018)
2017
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/cca/JingM17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cca/JingM17
Rui-Juan Jing, Marc Moreno Maza:
The polyhedra library in maple. ACM Commun. Comput. Algebra 51(3): 86-88 (2017)
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/jsc/JingY17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsc/JingY17
Rui-Juan Jing, Chun-Ming Yuan:
A modular algorithm to compute the generalized Hermite normal form for Z[x]-lattices. J. Symb. Comput. 81: 97-118 (2017)

Conference and Workshop Papers

see FAQ

What is the meaning of the colors in the publication lists?

2024
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/casc/ChenJQYZ24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/casc/ChenJQYZ24
Changbo Chen, Rui-Juan Jing, Chengrong Qian, Yaru Yuan, Yuegang Zhao:
A Dataset for Suggesting Variable Orderings for Cylindrical Algebraic Decompositions. CASC 2024: 100-119
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/casc/JingLMM24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/casc/JingLMM24
Rui-Juan Jing, Yuzhuo Lei, Christopher F. S. Maligec, Marc Moreno Maza:
Counting the Integer Points of Parametric Polytopes: A Maple Implementation. CASC 2024: 140-160
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/issac/JingMXY24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issac/JingMXY24
Rui-Juan Jing, Marc Moreno Maza, Yan-Feng Xie, Chun-Ming Yuan:
Efficient detection of redundancies in systems of linear inequalities✱. ISSAC 2024: 351-360
2020
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/casc/JingMT20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/casc/JingMT20
Rui-Juan Jing, Marc Moreno Maza, Delaram Talaashrafi:
Complexity Estimates for Fourier-Motzkin Elimination. CASC 2020: 282-306
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/cdc/QiLJPS20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cdc/QiLJPS20
Hongsheng Qi, Bo Li, Rui-Juan Jing, Alexandre Proutière, Guodong Shi:
Distributedly Solving Boolean Equations over Networks. CDC 2020: 560-565
2019
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/mc2/JingM19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mc2/JingM19
Rui-Juan Jing, Marc Moreno Maza:
The Z_Polyhedra Library in Maple. MC 2019: 132-144
2017
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/casc/JingM17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/casc/JingM17
Rui-Juan Jing, Marc Moreno Maza:
Computing the Integer Points of a Polyhedron, I: Algorithm. CASC 2017: 225-241
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/casc/JingM17a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/casc/JingM17a
Rui-Juan Jing, Marc Moreno Maza:
Computing the Integer Points of a Polyhedron, II: Complexity Estimates. CASC 2017: 242-256
[c1]
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/issac/JingM17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issac/JingM17
Rui-Juan Jing, Marc Moreno Maza:
Computing the Integer Points of a Polyhedron. SC²@ISSAC 2017

Informal and Other Publications

see FAQ

What is the meaning of the colors in the publication lists?

2018
[i2]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1811-01510
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1811-01510
Rui-Juan Jing, Marc Moreno Maza, Delaram Talaashrafi:
Complexity Estimates for Fourier-Motzkin Elimination. CoRR abs/1811.01510 (2018)
2016
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/JingYG16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/JingYG16
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 abs/1601.01067 (2016)

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.