Ruiwen Dong

According to our database, Ruiwen Dong authored at least 17 papers between 2021 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2024

Submonoid Membership in n-dimensional lamplighter groups and S-unit equations.

Ruiwen Dong

CoRR, 2024

Linear equations with monomial constraints and decision problems in abelian-by-cyclic groups.

Ruiwen Dong

CoRR, 2024

The Identity Problem in virtually solvable matrix groups over algebraic numbers.

Corentin Bodart, Ruiwen Dong

CoRR, 2024

Semigroup Algorithmic Problems in Metabelian Groups.

Ruiwen Dong

Proceedings of the 56th Annual ACM Symposium on Theory of Computing, 2024

The Identity Problem in nilpotent groups of bounded class.

Ruiwen Dong

Proceedings of the 2024 ACM-SIAM Symposium on Discrete Algorithms, 2024

2023

Recent Advances in Algorithmic Problems for Semigroups.

Ruiwen Dong

ACM SIGLOG News, October, 2023

Computing error bounds for asymptotic expansions of regular P-recursive sequences.

Ruiwen Dong, Stephen Melczer, Marc Mezzarobba

Math. Comput., June, 2023

Differential Elimination for Dynamical Models via Projections with Applications to Structural Identifiability.

Ruiwen Dong, Christian Goodbrake, Heather A. Harrington, Gleb Pogudin

SIAM J. Appl. Algebra Geom., March, 2023

Subgroup and Coset Intersection in abelian-by-cyclic groups.

Ruiwen Dong

CoRR, 2023

Solving Homogeneous Linear Equations over Polynomial Semirings.

Ruiwen Dong

Proceedings of the 40th International Symposium on Theoretical Aspects of Computer Science, 2023

Semigroup Intersection Problems in the Heisenberg Groups.

Ruiwen Dong

Proceedings of the 40th International Symposium on Theoretical Aspects of Computer Science, 2023

The Identity Problem in the special affine group of Z².

Ruiwen Dong

Proceedings of the 38th Annual ACM/IEEE Symposium on Logic in Computer Science, 2023

Termination of linear loops under commutative updates.

Ruiwen Dong

Proceedings of the 2023 International Symposium on Symbolic and Algebraic Computation, 2023

The Identity Problem in ℤ ≀ ℤ Is Decidable.

Ruiwen Dong

Proceedings of the 50th International Colloquium on Automata, Languages, and Programming, 2023

2022

On the Identity Problem and the Group Problem for subsemigroups of unipotent matrix groups.

Ruiwen Dong

CoRR, 2022

On the Identity Problem for Unitriangular Matrices of Dimension Four.

Ruiwen Dong

Proceedings of the 47th International Symposium on Mathematical Foundations of Computer Science, 2022

2021

Computing input-output projections of dynamical models with applications to structural identifiability.

Ruiwen Dong, Christian Goodbrake, Heather A. Harrington, Gleb Pogudin

CoRR, 2021