Sign in
Ruiwen Dong
ORCID
Publication Activity (10 Years)
Years Active: 2022-2023
Publications (10 Years): 11
Top Topics
Parzen Window
Linear Systems
Wavelet Synopses
Recent Advances
Top Venues
CoRR
STACS
LICS
ISSAC
</>
Publications
</>
Ruiwen Dong
Termination of linear loops under commutative updates.
CoRR
(2023)
Ruiwen Dong
Solving Homogeneous Linear Equations over Polynomial Semirings.
STACS
(2023)
Ruiwen Dong
The Identity Problem in ℤ ≀ ℤ Is Decidable.
ICALP
(2023)
Ruiwen Dong
Recent advances in algorithmic problems for semigroups.
CoRR
(2023)
Ruiwen Dong
Subgroup and Coset Intersection in abelian-by-cyclic groups.
CoRR
(2023)
Ruiwen Dong
,
Christian Goodbrake
,
Heather A. Harrington
,
Gleb Pogudin
Differential Elimination for Dynamical Models via Projections with Applications to Structural Identifiability.
SIAM J. Appl. Algebra Geom.
7 (1) (2023)
Ruiwen Dong
Semigroup Intersection Problems in the Heisenberg Groups.
STACS
(2023)
Ruiwen Dong
Semigroup algorithmic problems in metabelian groups.
CoRR
(2023)
Ruiwen Dong
Termination of linear loops under commutative updates.
ISSAC
(2023)
Ruiwen Dong
.
LICS
(2023)
Ruiwen Dong
,
Stephen Melczer
,
Marc Mezzarobba
Computing error bounds for asymptotic expansions of regular P-recursive sequences.
CoRR
(2022)