by Halava, Vesa, Niskanen, Reino
Published in Theoretical computer science (24.07.2024)

by Halava, Vesa, Harju, Tero, Kärki, Tomi
Published in Electronic proceedings in theoretical computer science (17.08.2011)

by Halava, Vesa, Jarkko Kari, Laihonen, Tero
Published in Fundamenta informaticae (01.01.2024)

by Halava, Vesa, Harju, Tero
Published in Theoretical computer science (21.11.2017)

by Halava, Vesa, Harju, Tero, Karki, Tomi
Published in Discrete Mathematics and Theoretical Computer Science (01.01.2008)

by Halava, Vesa, Harju, Tero
Published in Acta cybernetica (Szeged) (25.07.2020)

by Halava, Vesa, Harju, Tero, Nowotka, Dirk, Sahla, Esa
Published in Fundamenta informaticae (01.01.2024)

by Byron, Hannah Charlotte, Swain, Claudia, Paturi, Pyry, Colinet, Pauline, Rullan, Raphaël, Halava, Vesa, Le Bahers, Tangui, Lastusaari, Mika
Published in Advanced functional materials (01.10.2023)

by Halava, Vesa, Harju, Tero, Sahla, Esa
Published in Theoretical computer science (07.07.2018)

by Finkel, Olivier, Halava, Vesa, Harju, Tero, Sahla, Esa
Published in RAIRO. Informatique théorique et applications (2023)

by Halava, Vesa, Harju, Tero, Sahla, Esa
Published in Fundamenta informaticae (01.01.2020)

by Ernvall, Mari, Halava, Vesa, Harju, Tero
Published in Theoretical computer science (11.10.2015)

by Halava, Vesa, Matiyasevich, Yuri, Niskanen, Reino
Published in Fundamenta informaticae (01.01.2017)

by Halava, Vesa, Harju, Tero, Sahla, Esa
Published in Fundamenta informaticae (01.01.2017)

by Halava, Vesa, Harju, Tero
Published in Semigroup forum (01.04.2014)

by Halava, Vesa, Karhumäki, Juhani, Matiyasevich, Yuri, Volkov, Mikhail
Published in Fundamenta informaticae (06.08.2018)

by Halava, Vesa, Harju, Tero
Published in Acta informatica (01.09.2013)

by Halava, Vesa
Year of Publication 30.11.2021

by Halava, Vesa, Karhumäki, Juhani, Matiyasevich, Yuri
Published in Fundamenta informaticae (2014)

by Bell, Paul C., Halava, Vesa, Hirvensalo, Mika
Published in Fundamenta informaticae (2013)