Follow
Ruiwen Dong
Title
Cited by
Cited by
Year
Differential elimination for dynamical models via projections with applications to structural identifiability
R Dong, C Goodbrake, HA Harrington, G Pogudin
SIAM Journal on Applied Algebra and Geometry 7 (1), 194-235, 2023
202023
Computing error bounds for asymptotic expansions of regular P-recursive sequences
R Dong, S Melczer, M Mezzarobba
Mathematics of Computation 93 (346), 977-1017, 2024
72024
On the Identity Problem for Unitriangular Matrices of Dimension Four
R Dong
47th International Symposium on Mathematical Foundations of Computer Science …, 2022
42022
The Identity Problem in nilpotent groups of bounded class
R Dong
Proceedings of the 2024 Annual ACM-SIAM Symposium on Discrete Algorithms …, 2024
3*2024
Solving Homogeneous Linear Equations over Polynomial Semirings
R Dong
40th International Symposium on Theoretical Aspects of Computer Science …, 2023
32023
The Identity Problem in ℤ≀ ℤ Is Decidable
R Dong
50th International Colloquium on Automata, Languages, and Programming (ICALP …, 2023
3*2023
Recent advances in algorithmic problems for semigroups
R Dong
ACM SIGLOG News 10 (4), 3-23, 2023
22023
Semigroup algorithmic problems in metabelian groups
R Dong
arXiv preprint arXiv:2304.12893, 2023
22023
Semigroup Intersection Problems in the Heisenberg Groups
R Dong
40th International Symposium on Theoretical Aspects of Computer Science …, 2023
22023
The Identity Problem in the special affine group of Z2
R Dong
2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 1-13, 2023
12023
The Identity Problem in virtually solvable matrix groups over algebraic numbers
C Bodart, R Dong
arXiv preprint arXiv:2404.02264, 2024
2024
Subgroup and Coset Intersection in abelian-by-cyclic groups
R Dong
arXiv preprint arXiv:2309.08811, 2023
2023
Termination of linear loops under commutative updates
R Dong
Proceedings of the 2023 International Symposium on Symbolic and Algebraic …, 2023
2023
Algorithmic problems for subsemigroups of infinite groups
R Dong
University of Oxford, 2023
2023
The system can't perform the operation now. Try again later.
Articles 1–14