Toghrul Karimov

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
On the decidability of Presburger arithmetic expanded with powers	2026-07-03	Paper
Reachability in dynamical systems with rounding	2026-03-23	Paper
Linear dynamical systems with weight functions Nonlinear Analysis. Hybrid Systems	2026-03-20	Paper
The power of positivity	2026-02-27	Paper
On the decidability of monadic second-order logic with arithmetic predicates	2025-06-18	Paper
Linear dynamical systems with continuous weight functions	2025-04-25	Paper
Verification of linear dynamical systems via o-minimality of the real numbers	2025-01-01	Paper
The monadic theory of toric words Theoretical Computer Science	2024-12-12	Paper
Parameter synthesis for parametric probabilistic dynamical systems and prefix-independent specifications	2024-08-13	Paper
The pseudo-reachability problem for diagonalisable linear dynamical systems	2024-08-06	Paper
scientific article; zbMATH DE number 7730630 (Why is no real title available?) (available as arXiv preprint)	2023-08-21	Paper
What's decidable about discrete linear dynamical systems? Lecture Notes in Computer Science	2023-08-10	Paper
scientific article; zbMATH DE number 7724207 (Why is no real title available?)	2023-08-08	Paper
scientific article; zbMATH DE number 7559425 (Why is no real title available?) (available as arXiv preprint)	2022-07-18	Paper

Research outcomes over time

This page was built for person: Toghrul Karimov