Karoliina Lehtinen
University of Liverpool
H-index: 12
Europe-United Kingdom
Top articles of Karoliina Lehtinen
From Muller to parity and Rabin automata: Optimal transformations preserving (History) determinism
TheoretiCS
2024/4/24
Karoliina Lehtinen
H-Index: 7
A bit of nondeterminism makes pushdown automata expressive and succinct
Logical Methods in Computer Science
2024/1/11
History-deterministic Timed Automata
arXiv preprint arXiv:2304.03183
2023/4/6
When a little nondeterminism goes a long way: An introduction to history-determinism
2023/2/14
Karoliina Lehtinen
H-Index: 7
A Brief History of History-Determinism (Invited Talk)
2023
Karoliina Lehtinen
H-Index: 7
Token games and history-deterministic quantitative automata
2022/3/29
Karoliina Lehtinen
H-Index: 7
A recursive approach to solving parity games in quasipolynomial time
Logical Methods in Computer Science
2022/1/12
History-deterministic timed automata are not determinizable
2022/10/12
History-deterministic parikh automata
arXiv preprint arXiv:2209.07745
2022/9/16
Parikh automata over infinite words
arXiv preprint arXiv:2207.07694
2022/12
A synthesis tool for optimal monitors in a branching-time setting
2022/6/13
Adrian Francalanza
H-Index: 20
Karoliina Lehtinen
H-Index: 7
On the size of good-for-games Rabin automata and its link with the memory in Muller games
arXiv preprint arXiv:2204.11333
2022/4/24
Karoliina Lehtinen
H-Index: 7
On the translation of automata to linear temporal logic
2022
Karoliina Lehtinen
H-Index: 7
Salomon Sickert
H-Index: 11
History determinism vs. good for gameness in quantitative automata
arXiv preprint arXiv:2110.14238
2021/10/27
Karoliina Lehtinen
H-Index: 7
Better late than never or: verifying asynchronous components at runtime
2021/6/8
An operational guide to monitorability with applications to regular properties
Software and Systems Modeling
2021/4
Adrian Francalanza
H-Index: 20
Karoliina Lehtinen
H-Index: 7
29th EACSL Annual Conference on Computer Science Logic (CSL 2021)
2021/1
Bartek Klin
H-Index: 13
Samson Abramsky
H-Index: 29
Giulio Guerrieri
H-Index: 11
Adrian Francalanza
H-Index: 20
Karoliina Lehtinen
H-Index: 7
Wan Fokkink
H-Index: 15
Bas Luttik
H-Index: 10
Paweł Parys
H-Index: 11
Nicole Schweikardt
H-Index: 13
Mark Bickford
H-Index: 9
Liron Cohen
H-Index: 12
Vincent Rahli
H-Index: 9
Anuj Dawar
H-Index: 17
Yannick Forster
H-Index: 11
Merlin Göttlinger
H-Index: 2
Lutz Schröder
H-Index: 16
Dirk Pattinson
H-Index: 16
Miika Hannula
H-Index: 10
Juha Kontinen
H-Index: 15
Jonni Virtema
H-Index: 13
Martín Hötzel Escardó
H-Index: 15
Takeshi Tsukada
H-Index: 9
Naoki Kobayashi
H-Index: 7
Jules Hedges
H-Index: 7
Paweł Sobociński
H-Index: 2
Long Pham
H-Index: 1
Jan Hoffmann
H-Index: 22
Alexander Rabinovich
H-Index: 17
On the succinctness of alternating parity good-for-games automata
arXiv preprint arXiv:2009.14437
2020/9/29
Karoliina Lehtinen
H-Index: 7
Michał Skrzypczak
H-Index: 10