Scholar

Karoliina Lehtinen

Google Scholar ID: uZlB4r4AAAAJ

CNRS, Aix-Marseille Université, LIS

LogicAutomataGames

Homepage↗Google Scholar↗

Citations & Impact

All-time

Citations

564

H-index

15

i10-index

18

Publications

20

Co-authors

0

Contact

No contact links provided.

Publications

4 items

Explorability in Pushdown Automata

2025

Cited

0

Monitorability for the Modal mu-Calculus over Systems with Data: From Practice to Theory

2025

Cited

0

Using games and universal trees to characterise the nondeterministic index of tree languages

2025

Cited

0

The 2-Token Theorem: Recognising History-Deterministic Parity Automata Efficiently

2025

Cited

0

Resume (English only)

Co-authors

0 total

Co-authors: 0 (list not available)