Toghrul Karimov
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
12
Venues
6
Active years
2020–2026
Best venue rank
A*
Where they publish
Papers
12 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | ICALP | Automata on S-Adic Words. | Valrie Berth, Toghrul Karimov, Mihir Vahanwala |
| 2025 | ICALP | Verification of Linear Dynamical Systems via O-Minimality of the Real Numbers. | Toghrul Karimov |
| 2025 | KR | Model Checking Linear Temporal Logic with Standpoint Modalities. | Rajab Aghamov, Christel Baier, Toghrul Karimov, Rupak Majumdar, Jol Ouaknine, Jakob Piribauer, Timm Spork |
| 2025 | LICS | Multiple Reachability in Linear Dynamical Systems. | Toghrul Karimov, Edon Kelmendi, Jol Ouaknine, James Worrell |
| 2025 | SODA | On the Decidability of Presburger Arithmetic Expanded with Powers. | Toghrul Karimov, Florian Luca, Joris Nieuwveld, Jol Ouaknine, James Worrell |
| 2024 | LICS | On the Decidability of Monadic Second-Order Logic with Arithmetic Predicates. | Valrie Berth, Toghrul Karimov, Joris Nieuwveld, Jol Ouaknine, Mihir Vahanwala, James Worrell |
| 2023 | LICS | The Power of Positivity. | Toghrul Karimov, Edon Kelmendi, Joris Nieuwveld, Jol Ouaknine, James Worrell |
| 2022 | CONCUR | Parameter Synthesis for Parametric Probabilistic Dynamical Systems and Prefix-Independent Specifications. | Christel Baier, Florian Funke, Simon Jantsch, Toghrul Karimov, Engel Lefaucheux, Jol Ouaknine, David Purser, Markus A. Whiteland, James Worrell |
| 2022 | MFCS | The Pseudo-Reachability Problem for Diagonalisable Linear Dynamical Systems. | Julian D'Costa, Toghrul Karimov, Rupak Majumdar, Jol Ouaknine, Mahmoud Salamati, James Worrell |
| 2021 | CONCUR | The Orbit Problem for Parametric Linear Dynamical Systems. | Christel Baier, Florian Funke, Simon Jantsch, Toghrul Karimov, Engel Lefaucheux, Florian Luca, Jol Ouaknine, David Purser, Markus A. Whiteland, James Worrell |
| 2021 | MFCS | The Pseudo-Skolem Problem is Decidable. | Julian D'Costa, Toghrul Karimov, Rupak Majumdar, Jol Ouaknine, Mahmoud Salamati, Sadegh Soudjani, James Worrell |
| 2020 | MFCS | On LTL Model Checking for Low-Dimensional Discrete Linear Dynamical Systems. | Toghrul Karimov, Jol Ouaknine, James Worrell |