Toghrul Karimov
where else to find them
no profile links on file
what they talk about
their talks carry no tags yet
where they keep going back
- POPL2 editions2021–2022
on a stage with
all 8 in the filters
who talks about the same things
- Joël Ouaknine2 talks
- James Worrell6 talks
- Anton Varonka2 talks
- Mahsa Shirmohammadi2 talks
- Timos Antonopoulos5 talks
- Ekaterina Zhuchko3 talks
| title | conference | date |
|---|---|---|
| What's Decidable about Linear Loops? | POPL 2022 | 2022-01-16 |
The paper proves decidability of MSO model checking for discrete-time linear dynamical systems with semialgebraic predicates provided every predicate is either… | ||
| Deciding ω-Regular Properties on Linear Recurrence Sequences | POPL 2021 | 2021-01-17 |
A procedure inputs a prefix‑independent ω‑regular condition and a linear recurrence sequence and decides whether the sequence’s sign word satisfies it, but… | ||
| nothing matches | ||