Scholar
Antonio Casares
Google Scholar ID: 3vyRCFUAAAAJ
University of Warsaw
Automata theory
Logic
Games
Complexity
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
157
H-index
8
i10-index
7
Publications
20
Co-authors
0
Contact
CV
Open ↗
Publications
7 items
History-Deterministic B\"uchi Automata are Succinct
2026
Cited
0
Layered automata: A canonical model for automata over infinite words
2026
Cited
0
Transition-based vs stated-based acceptance for automata over infinite words
2025
Cited
0
Infinite lexicographic products of positional objectives
2025
Cited
0
The memory of $omega$-regular and BC($Sigma_2^0$) objectives
2025
Cited
0
Characterising memory in infinite games
International Colloquium on Automata, Languages and Programming · 2022
Cited
3
Fast value iteration: A uniform approach to efficient algorithms for energy games
2021
Cited
0
Resume (English only)
Co-authors
0 total
Co-authors: 0 (list not available)
×
Welcome back
Sign in to Agora
Welcome back! Please sign in to continue.
Email address
Password
Forgot password?
Continue
Do not have an account?
Sign up