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 | 21 | 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 | 7 | 2024 |
On the Identity Problem for Unitriangular Matrices of Dimension Four R Dong 47th International Symposium on Mathematical Foundations of Computer Science …, 2022 | 4 | 2022 |
The Identity Problem in nilpotent groups of bounded class R Dong Proceedings of the 2024 Annual ACM-SIAM Symposium on Discrete Algorithms …, 2024 | 3* | 2024 |
Solving Homogeneous Linear Equations over Polynomial Semirings R Dong 40th International Symposium on Theoretical Aspects of Computer Science …, 2023 | 3 | 2023 |
The Identity Problem in ℤ≀ ℤ Is Decidable R Dong 50th International Colloquium on Automata, Languages, and Programming (ICALP …, 2023 | 3* | 2023 |
Recent advances in algorithmic problems for semigroups R Dong ACM SIGLOG News 10 (4), 3-23, 2023 | 2 | 2023 |
Semigroup algorithmic problems in metabelian groups R Dong arXiv preprint arXiv:2304.12893, 2023 | 2 | 2023 |
Semigroup Intersection Problems in the Heisenberg Groups R Dong 40th International Symposium on Theoretical Aspects of Computer Science …, 2023 | 2 | 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 | 1 | 2023 |
The Identity Problem in virtually solvable matrix groups over algebraic numbers C Bodart, R Dong arXiv preprint arXiv:2404.02264, 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 |
Algorithmic problems for subsemigroups of infinite groups R Dong University of Oxford, 2023 | | 2023 |