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 | 53 | 2023 |
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 | 9 | 2024 |
The Identity Problem in nilpotent groups of bounded class R Dong Proceedings of the 2024 Annual ACM-SIAM Symposium on Discrete Algorithms …, 2024 | 9* | 2024 |
Recent advances in algorithmic problems for semigroups R Dong ACM SIGLOG News 10 (4), 3-23, 2023 | 8 | 2023 |
On the Identity Problem for Unitriangular Matrices of Dimension Four R Dong 47th International Symposium on Mathematical Foundations of Computer Science …, 2022 | 6 | 2022 |
Semigroup algorithmic problems in metabelian groups R Dong Proceedings of the 56th Annual ACM Symposium on Theory of Computing, 884-891, 2024 | 5 | 2024 |
The Identity Problem in is decidable R Dong arXiv preprint arXiv:2302.05939, 2023 | 5 | 2023 |
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 | 3 | 2023 |
Semigroup intersection problems in the Heisenberg groups R Dong SIAM Journal on Discrete Mathematics 38 (4), 3176-3197, 2024 | 2 | 2024 |
Solving Homogeneous Linear Equations over Polynomial Semirings R Dong 40th International Symposium on Theoretical Aspects of Computer Science …, 2023 | 2 | 2023 |
Linear equations with monomial constraints and decision problems in abelian-by-cyclic groups R Dong Proceedings of the 2025 Annual ACM-SIAM Symposium on Discrete Algorithms …, 2025 | 1 | 2025 |
Submonoid Membership in n-dimensional lamplighter groups and S-unit equations R Dong arXiv preprint arXiv:2409.07077, 2024 | 1 | 2024 |
The Identity Problem in virtually solvable matrix groups over algebraic numbers C Bodart, R Dong arXiv preprint arXiv:2404.02264, 2024 | 1 | 2024 |
Algorithmic problems for subsemigroups of infinite groups R Dong University of Oxford, 2023 | 1 | 2023 |
Equations in wreath products L Bartholdi, R Dong, L Pernak, JP Wächter arXiv preprint arXiv:2410.04905, 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 |