Vesa Halava
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
8
Venues
5
Active years
1999–2021
Best venue rank
C
Where they publish
Papers
8 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2021 | DLT | Integer Weighted Automata on Infinite Words. | Vesa Halava, Tero Harju, Reino Niskanen, Igor Potapov |
| 2015 | CiE | Weighted Automata on Infinite Words in the Context of Attacker-Defender Games. | Vesa Halava, Tero Harju, Reino Niskanen, Igor Potapov |
| 2015 | LATA | On Robot Games of Degree Two. | Vesa Halava, Reino Niskanen, Igor Potapov |
| 2010 | DLT | On the Periodicity of Morphic Words. | Vesa Halava, Tero Harju, Tomi Krki, Michel Rigo |
| 2003 | FCT | Languages Defined by Generalized Equality Sets. | Vesa Halava, Tero Harju, Hendrik Jan Hoogeboom, Michel Latteux |
| 2001 | DLT | An Undecidability Result Concerning Periodic Morphisms. | Vesa Halava, Tero Harju |
| 1999 | FCT | Generalized PCP Is Decidable for Marked Morphisms. | Vesa Halava, Tero Harju, Mika Hirvensalo |
| 1999 | STACS | Decidability and Undecidability of Marked PCP. | Vesa Halava, Mika Hirvensalo, Ronald de Wolf |