Concepedia

Toghrul Karimov

TK

Statistics

Publications

2

Citations

31

H-Index

2

Active since

2021

Affiliations

Max Planck Institute for Software Systems(Current)

University of Oxford

Toghrul Karimov is an author at Max Planck Institute for Software Systems specializing in engineering, formal methods, and formal verification.

ORCID

Top concepts

Publications per year

2021–2022

2

Publications

2

What’s decidable about linear loops?

Toghrul Karimov, Engel Lefaucheux, Joël Ouaknine et al. · Proceedings of the ACM on Programming Languages · 2022 · 18 citations · Full text

, , +15

Deciding ω-regular properties on linear recurrence sequences

Shaull Almagor, Toghrul Karimov, Edon Kelmendi et al. · Proceedings of the ACM on Programming Languages · 2021 · 13 citations · Full text

, , +14

1–2 of 2