See also: DBLP, Google Scholar
Preprints
Ruiwen Dong. Linear equations with monomial constraints and decision problems in abelian-by-cyclic groups. arxiv.org/abs/2406.08480
Corentin Bodart and Ruiwen Dong. The Identity Problem in virtually solvable matrix groups over algebraic numbers. arxiv.org/abs/2404.02264
Peer-reviewed
Ruiwen Dong. Semigroup algorithmic problems in metabelian groups. In 56th Annual ACM Symposium on Theory of Computing (STOC), 2024.
Ruiwen Dong. The Identity Problem in nilpotent groups of bounded class. In 35th Annual ACM-SIAM Symposium on Discrete Algorithms (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.
Ruiwen Dong. Termination of linear loops under commutative updates. In Proceedings of the 2023 International Symposium on Symbolic and Algebraic Computation (ISSAC), 2023.
Ruiwen Dong. The Identity Problem in Z ≀ Z Is Decidable. In 50th International Colloquium on Automata, Languages, and Programming (ICALP), 2023. Best Student Paper Award for Track B.
Ruiwen Dong. The Identity Problem in the special affine group of Z^2. In 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2023. Kleene Award for the Best Student Paper.
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. In 40th International Symposium on Theoretical Aspects of Computer Science (STACS), 2023.
Ruiwen Dong. Semigroup intersection problems in the Heisenberg Groups. In 40th International Symposium on Theoretical Aspects of Computer Science (STACS), 2023.
Ruiwen Dong. On the Identity Problem for unitriangular matrices of dimension four. In 47th International Symposium on Mathematical Foundations of Computer Science (MFCS), 2022.
PhD Thesis
Ruiwen Dong. Algorithmic problems for subsemigroups of infinite groups. University of Oxford, 2023. ORA link. EATCS Distinguished Dissertation Award 2023.