Antonio Casares
Scholar

Antonio Casares

Google Scholar ID: 3vyRCFUAAAAJ
University of Warsaw
Automata theoryLogicGamesComplexity
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
157
 
H-index
8
 
i10-index
7
 
Publications
20
 
Co-authors
0
 
Contact
CVOpen ↗
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)