See also: DBLP, Google Scholar
See also: DBLP, Google Scholar
Ruiwen Dong, Doron Shafrir. The Skolem Problem in rings of positive characteristic. arxiv.org/abs/2510.27603
Ruiwen Dong, Doron Shafrir. S-unit equations in modules and linear-exponential Diophantine equations. arxiv.org/abs/2505.19141
Ruiwen Dong. Submonoid Membership in n-dimensional lamplighter groups and S-unit equations. ICALP 2025.
Corentin Bodart and Ruiwen Dong. The Identity Problem in virtually solvable matrix groups over algebraic numbers. LICS 2025. Distinguished Paper Award.
Ruiwen Dong. Linear equations with monomial constraints and decision problems in abelian-by-cyclic groups. SODA 2025.
Laurent Bartholdi, Ruiwen Dong, Leon Pernak, and Jan Philipp Wächter. Equations in wreath products. Semigroup Forum, 2025. Invited paper.
Ruiwen Dong. Semigroup algorithmic problems in metabelian groups. STOC 2024.
Ruiwen Dong. The Identity Problem in nilpotent groups of bounded class. SODA 2024.
Ruiwen Dong, Stephen Melczer, and Marc Mezzarobba. Computing error bounds for asymptotic expansions of regular P-recursive sequences. Mathematics of Computation, 2024.
Ruiwen Dong. Recent advances in algorithmic problems for semigroups. ACM SIGLOG News, 2023. Invited paper.
Ruiwen Dong. Termination of linear loops under commutative updates. ISSAC 2023.
Ruiwen Dong. The Identity Problem in Z ≀ Z Is Decidable. ICALP 2023. Best Student Paper Award for Track B.
Ruiwen Dong. The Identity Problem in the special affine group of Z^2. LICS 2023. Kleene Award for the Best Student Paper. Journal version: special issue of Logical Methods in Computer Science.
Ruiwen Dong, Christian Goodbrake, Heather A. Harrington, and Gleb Pogudin. Differential elimination for dynamical models via projections with applications to structural identifiability. SIAM Journal on Applied Algebra and Geometry, 2023.
Ruiwen Dong. Solving homogeneous linear equations over polynomial semirings. STACS 2023.
Ruiwen Dong. Semigroup intersection problems in the Heisenberg Groups. STACS 2023. Journal version: SIAM Journal on Discrete Mathematics.
Ruiwen Dong. On the Identity Problem for unitriangular matrices of dimension four. MFCS 2022.
Ruiwen Dong. Algorithmic problems for subsemigroups of infinite groups. University of Oxford, 2023. ORA link. EATCS Distinguished Dissertation Award 2023.