×
Compute Distance To:
Author ID: halava.vesa Recent zbMATH articles by "Halava, Vesa"
Published as: Halava, Vesa; Halava, V.; Halawa, Vesa
External Links: MGP
Documents Indexed: 62 Publications since 1997
4 Contributions as Editor
Reviewing Activity: 12 Reviews
Co-Authors: 19 Co-Authors with 62 Joint Publications
633 Co-Co-Authors

Publications by Year

Citations contained in zbMATH Open

38 Publications have been cited 172 times in 119 Documents Cited by Year
Undecidability bounds for integer matrices using Claus instances. Zbl 1202.03052
Halava, Vesa; Harju, Tero; Hirvensalo, Mika
21
2007
Mortality in matrix semigroups. Zbl 0992.03052
Halava, Vesa; Harju, Tero
11
2001
Undecidability in integer weighted finite automata. Zbl 0935.68060
Halava, Vesa; Harju, Tero
11
1999
Periods and binary words. Zbl 0943.68128
Halava, Vesa; Harju, Tero; Ilie, Lucian
10
2000
Binary (generalized) Post Correspondence Problem. Zbl 1023.03038
Halava, Vesa; Harju, Tero; Hirvensalo, Mika
9
2002
Matrix equations and Hilbert’s tenth problem. Zbl 1173.03009
Bell, Paul; Halava, Vesa; Harju, Tero; Karhumäki, Juhani; Potapov, Igor
9
2008
Positivity of second order linear recurrent sequences. Zbl 1158.11305
Halava, Vesa; Harju, Tero; Hirvensalo, Mika
8
2006
Square-free partial words. Zbl 1191.68385
Halava, Vesa; Harju, Tero; Kärki, Tomi
8
2008
On the number of squares in partial words. Zbl 1184.68372
Halava, Vesa; Harju, Tero; Kärki, Tomi
7
2010
Overlap-freeness in infinite partial words. Zbl 1165.68058
Halava, Vesa; Harju, Tero; Kärki, Tomi; Séébold, Patrice
6
2009
Undecidability of infinite Post correspondence problem for instances of size 9. Zbl 1114.03035
Halava, Vesa; Harju, Tero
6
2006
Relational codes of words. Zbl 1143.68036
Halava, Vesa; Harju, Tero; Kärki, Tomi
6
2007
Generalized Post correspondence problem for marked morphisms. Zbl 0971.68124
Halava, Vesa; Harju, Tero; Hirvensalo, Mika
5
2000
Marked PCP is decidable. Zbl 0974.68097
Halava, V.; Hirvensalo, M.; de Wolf, R.
5
2001
On Markov’s undecidability theorem for integer matrices. Zbl 1131.20042
Halava, Vesa; Harju, Tero
5
2007
Infinite solutions of marked Post correspondence problem. Zbl 1060.03068
Halava, Vesa; Harju, Tero
3
2002
Undecidability of the equivalence of finite substitutions on regular language. Zbl 0946.68076
Halava, Vesa; Harju, Tero
3
1999
Post correspondence problem for short words. Zbl 1191.68305
Halava, Vesa; Harju, Tero; Hirvensalo, Mika; Karhumäki, Juhani
3
2008
On the periodicity of morphic words. Zbl 1258.68079
Halava, Vesa; Harju, Tero; Kärki, Tomi; Rigo, Michel
3
2010
Decision problems for probabilistic finite automata on bounded languages. Zbl 1279.68130
Bell, Paul C.; Halava, Vesa; Hirvensalo, Mika
3
2013
Improved matrix pair undecidability results. Zbl 1119.03040
Halava, Vesa; Hirvensalo, Mika
3
2007
Defect theorems with compatibility relations. Zbl 1146.20036
Halava, Vesa; Harju, Tero; Kärki, Tomi
3
2008
Interaction properties of relational periods. Zbl 1139.68045
Halava, Vesa; Harju, Tero; Kärki, Tomi
3
2008
Reduction tree of the binary generalized post correspondence problem. Zbl 1211.68233
Halava, Vesa; Holub, Štěpán
2
2011
Word problem for deterministic and reversible semi-Thue systems. Zbl 1361.03035
Halava, Vesa; Harju, Tero
2
2014
Undecidability in \(\omega\)-regular languages. Zbl 1101.03031
Halava, Vesa; Harju, Tero; Karhumäki, Juhani
2
2006
Weighted automata on infinite words in the context of attacker-defender games. Zbl 1371.68150
Halava, V.; Harju, T.; Niskanen, R.; Potapov, I.
2
2017
Extension of the decidability of the marked PCP to instances with unique blocks. Zbl 1119.03041
Halava, Vesa; Harju, Tero; Karhumäki, Juhani; Latteux, Michel
2
2007
Decidability of the binary infinite Post Correspondence Problem. Zbl 1023.03039
Halava, Vesa; Harju, Tero; Karhumäki, Juhani
2
2003
On robot games of degree two. Zbl 1451.68150
Halava, Vesa; Niskanen, Reino; Potapov, Igor
1
2015
Small semi-Thue system universal with respect to the termination problem. Zbl 1420.03087
Halava, Vesa; Matiyasevich, Yuri; Niskanen, Reino
1
2017
The theorem of Fine and Wilf for relational periods. Zbl 1166.68035
Halava, Vesa; Harju, Tero; Kärki, Tomi
1
2009
Some new results on Post correspondence problem and its modifications. Zbl 0989.68082
Halava, Vesa; Harju, Tero
1
2001
Languages accepted by integer weighted finite automata. Zbl 0944.68111
Halava, Vesa; Harju, Tero
1
1999
New proof for the undecidability of the circular PCP. Zbl 1359.03033
Halava, Vesa; Harju, Tero
1
2013
The structure of infinite solutions of marked and binary Post correspondence problems. Zbl 1107.03048
Halava, Vesa; Harju, Tero; Karhumäki, Juhani
1
2007
Valence languages generated by equality sets. Zbl 1083.68056
Halava, Vesa; Harju, Tero; Jan Hoogeboom, Hendrik; Latteux, Michel
1
2004
Languages defined by generalized equality sets. Zbl 1278.68134
Halava, Vesa; Harju, Tero; Hoogeboom, Hendrik Jan; Latteux, Michel
1
2003
Weighted automata on infinite words in the context of attacker-defender games. Zbl 1371.68150
Halava, V.; Harju, T.; Niskanen, R.; Potapov, I.
2
2017
Small semi-Thue system universal with respect to the termination problem. Zbl 1420.03087
Halava, Vesa; Matiyasevich, Yuri; Niskanen, Reino
1
2017
On robot games of degree two. Zbl 1451.68150
Halava, Vesa; Niskanen, Reino; Potapov, Igor
1
2015
Word problem for deterministic and reversible semi-Thue systems. Zbl 1361.03035
Halava, Vesa; Harju, Tero
2
2014
Decision problems for probabilistic finite automata on bounded languages. Zbl 1279.68130
Bell, Paul C.; Halava, Vesa; Hirvensalo, Mika
3
2013
New proof for the undecidability of the circular PCP. Zbl 1359.03033
Halava, Vesa; Harju, Tero
1
2013
Reduction tree of the binary generalized post correspondence problem. Zbl 1211.68233
Halava, Vesa; Holub, Štěpán
2
2011
On the number of squares in partial words. Zbl 1184.68372
Halava, Vesa; Harju, Tero; Kärki, Tomi
7
2010
On the periodicity of morphic words. Zbl 1258.68079
Halava, Vesa; Harju, Tero; Kärki, Tomi; Rigo, Michel
3
2010
Overlap-freeness in infinite partial words. Zbl 1165.68058
Halava, Vesa; Harju, Tero; Kärki, Tomi; Séébold, Patrice
6
2009
The theorem of Fine and Wilf for relational periods. Zbl 1166.68035
Halava, Vesa; Harju, Tero; Kärki, Tomi
1
2009
Matrix equations and Hilbert’s tenth problem. Zbl 1173.03009
Bell, Paul; Halava, Vesa; Harju, Tero; Karhumäki, Juhani; Potapov, Igor
9
2008
Square-free partial words. Zbl 1191.68385
Halava, Vesa; Harju, Tero; Kärki, Tomi
8
2008
Post correspondence problem for short words. Zbl 1191.68305
Halava, Vesa; Harju, Tero; Hirvensalo, Mika; Karhumäki, Juhani
3
2008
Defect theorems with compatibility relations. Zbl 1146.20036
Halava, Vesa; Harju, Tero; Kärki, Tomi
3
2008
Interaction properties of relational periods. Zbl 1139.68045
Halava, Vesa; Harju, Tero; Kärki, Tomi
3
2008
Undecidability bounds for integer matrices using Claus instances. Zbl 1202.03052
Halava, Vesa; Harju, Tero; Hirvensalo, Mika
21
2007
Relational codes of words. Zbl 1143.68036
Halava, Vesa; Harju, Tero; Kärki, Tomi
6
2007
On Markov’s undecidability theorem for integer matrices. Zbl 1131.20042
Halava, Vesa; Harju, Tero
5
2007
Improved matrix pair undecidability results. Zbl 1119.03040
Halava, Vesa; Hirvensalo, Mika
3
2007
Extension of the decidability of the marked PCP to instances with unique blocks. Zbl 1119.03041
Halava, Vesa; Harju, Tero; Karhumäki, Juhani; Latteux, Michel
2
2007
The structure of infinite solutions of marked and binary Post correspondence problems. Zbl 1107.03048
Halava, Vesa; Harju, Tero; Karhumäki, Juhani
1
2007
Positivity of second order linear recurrent sequences. Zbl 1158.11305
Halava, Vesa; Harju, Tero; Hirvensalo, Mika
8
2006
Undecidability of infinite Post correspondence problem for instances of size 9. Zbl 1114.03035
Halava, Vesa; Harju, Tero
6
2006
Undecidability in \(\omega\)-regular languages. Zbl 1101.03031
Halava, Vesa; Harju, Tero; Karhumäki, Juhani
2
2006
Valence languages generated by equality sets. Zbl 1083.68056
Halava, Vesa; Harju, Tero; Jan Hoogeboom, Hendrik; Latteux, Michel
1
2004
Decidability of the binary infinite Post Correspondence Problem. Zbl 1023.03039
Halava, Vesa; Harju, Tero; Karhumäki, Juhani
2
2003
Languages defined by generalized equality sets. Zbl 1278.68134
Halava, Vesa; Harju, Tero; Hoogeboom, Hendrik Jan; Latteux, Michel
1
2003
Binary (generalized) Post Correspondence Problem. Zbl 1023.03038
Halava, Vesa; Harju, Tero; Hirvensalo, Mika
9
2002
Infinite solutions of marked Post correspondence problem. Zbl 1060.03068
Halava, Vesa; Harju, Tero
3
2002
Mortality in matrix semigroups. Zbl 0992.03052
Halava, Vesa; Harju, Tero
11
2001
Marked PCP is decidable. Zbl 0974.68097
Halava, V.; Hirvensalo, M.; de Wolf, R.
5
2001
Some new results on Post correspondence problem and its modifications. Zbl 0989.68082
Halava, Vesa; Harju, Tero
1
2001
Periods and binary words. Zbl 0943.68128
Halava, Vesa; Harju, Tero; Ilie, Lucian
10
2000
Generalized Post correspondence problem for marked morphisms. Zbl 0971.68124
Halava, Vesa; Harju, Tero; Hirvensalo, Mika
5
2000
Undecidability in integer weighted finite automata. Zbl 0935.68060
Halava, Vesa; Harju, Tero
11
1999
Undecidability of the equivalence of finite substitutions on regular language. Zbl 0946.68076
Halava, Vesa; Harju, Tero
3
1999
Languages accepted by integer weighted finite automata. Zbl 0944.68111
Halava, Vesa; Harju, Tero
1
1999
all top 5

Cited by 145 Authors

25 Harju, Tero
23 Halava, Vesa
18 Blanchet-Sadri, Francine
14 Potapov, Igor
11 Bell, Paul C.
7 Karhumaki, Juhani
7 Kärki, Tomi
6 Hirvensalo, Mika
6 Mercaş, Robert George
5 Holub, Štěpán
5 Niskanen, Reino
4 Finkel, Olivier
3 Honkala, Juha
3 Ibarra, Oscar H.
3 Quigley, James D.
3 Reidenbach, Daniel
3 Semukhin, Pavel
2 Charlier, Emilie
2 Chen, Shang
2 Gasnikov, Daniil
2 Jackson, Lisa A.
2 Ko, Sang-Ki
2 Latteux, Michel
2 Lisovik, Leonid P.
2 Machacek, John M.
2 Matiyasevich, Yuriĭ Vladimirovich
2 Nikkel, Jordan
2 Nowotka, Dirk
2 Rashin, Abraham
2 Rytter, Wojciech
2 Schröder, Lutz
2 Shallit, Jeffrey O.
2 Shur, Arseny M.
2 Simmons, Sean
2 Willett, Elara
2 Zhang, Xufan
1 Ardila, Rene
1 Badanidiyuru Varadaraja, Ashwinkumar
1 Baeth, Nicholas R.
1 Beck, Matthias
1 Bell, Jason P.
1 Berstel, Jean
1 Bilotta, Stefano
1 Blair, D. Dakota
1 Blondel, Vincent D.
1 Bodnar, Michelle
1 Braun, Benjamin
1 Bruyère, Véronique
1 Buhanan, David
1 Bunimovich, Leonid Abramovich
1 Carton, Olivier
1 Cassaigne, Julien
1 Charalampopoulos, Panagiotis
1 Chen, Herman Z. Q.
1 Chen, Yizhi
1 Choi, Ilkyoo
1 Chriscoe, Ajay
1 Corcoran, Kevin
1 Cordier, Michelle
1 Crochemore, Maxime
1 Day, Joel D.
1 Decan, Alexandre
1 Delvenne, Jean-Charles
1 Diekert, Volker
1 Dong, Jing
1 Dräger, Klaus
1 Duncan, S.
1 Ernvall, Mari
1 Filiot, Emmanuel
1 Freydenberger, Dominik D.
1 Gaubert, Stéphane
1 Gauwin, Olivier
1 Hadravová, Jana
1 Hannasch, David
1 Huang, Chengchao
1 Iliopoulos, Costas S.
1 Jiao, Yang
1 Jungers, Raphaël M.
1 Kari, Jarkko
1 Katz, Ricardo David
1 Kauers, Manuel
1 Kiefer, Stefan
1 Kim, Jane I.
1 Kirsch, Rachel
1 Kitaev, Sergey
1 Kociumaka, Tomasz
1 Köppe, Matthias
1 Kosh, Audra
1 Krithivasan, Kamala
1 Kwapisz, Jaroslaw
1 Laohakosol, Vichian
1 Lazarow, Justin
1 Lewis, Rebeca V.
1 Li, Zhibin
1 Liu, Qinghui
1 Liu, Zhongzhu
1 Lohrey, Markus
1 Madill, Blake W.
1 Malcher, Andreas
1 Mandel, Travis
...and 45 more Authors

Citations by Year