Vesa Halava

From MaRDI portal
Person:287018

Available identifiers

zbMath Open halava.vesaMaRDI QIDQ287018

List of research outcomes

PublicationDate of PublicationType
Binary Generalized PCP for Two Periodic Morphisms is Decidable in Polynomial Time2024-02-16Paper
On bi-infinite and conjugate post correspondence problems2024-02-02Paper
Integer Weighted Automata on Infinite Words2023-08-15Paper
Integer weighted automata on infinite words2022-03-25Paper
A recursive function coding number theoretic functions2022-03-17Paper
On Shuffling a Word with its Letter-to-Letter Substitution2021-05-20Paper
On the Steps of Emil Post: from Normal Systems to the Correspondence Decision Problem2021-03-20Paper
On fixed points of rational transductions2018-06-07Paper
A New Proof for Undecidability of the Bi-Infinite Post Correspondence Problem2018-01-19Paper
Small Semi-Thue System Universal with Respect to the Termination Problem2018-01-19Paper
Walks on tilings of polygons2017-12-06Paper
Similarity relations on words2017-10-06Paper
Weighted automata on infinite words in the context of attacker-defender games2017-08-08Paper
On a geometric problem of zigzags.2016-05-26Paper
On Robot Games of Degree Two2016-04-08Paper
A new proof for the decidability of D0L ultimate periodicity2016-03-01Paper
Weighted Automata on Infinite Words in the Context of Attacker-Defender Games2015-10-20Paper
On the \(n\)-permutation Post correspondence problem2015-09-16Paper
Word problem for deterministic and reversible semi-Thue systems2014-06-30Paper
Tighter Undecidability Bounds for Matrix Mortality, Zero-in-the-Corner Problems, and More2014-04-02Paper
New proof for the undecidability of the circular PCP2013-11-11Paper
Deterministic Semi-Thue Systems and Variants of Post Correspondence Problem2013-09-20Paper
Decision Problems for Probabilistic Finite Automata on Bounded Languages2013-04-18Paper
REDUCTION TREE OF THE BINARY GENERALIZED POST CORRESPONDENCE PROBLEM2011-03-30Paper
UNDECIDABILITY BOUNDS FOR INTEGER MATRICES USING CLAUS INSTANCES2011-01-06Paper
On the Periodicity of Morphic Words2010-08-31Paper
On the Joint Spectral Radius for Bounded Matrix Languages2010-08-31Paper
Post correspondence problem for short words2010-06-09Paper
Square-free partial words2010-06-09Paper
Fundamentals of Computation Theory2010-04-20Paper
On the number of squares in partial words2010-03-12Paper
Equality sets of prefix morphisms and regular star languages2009-12-04Paper
https://portal.mardi4nfdi.de/entity/Q33965662009-09-19Paper
On Post correspondence problem for letter monotonic languages2009-08-07Paper
The theorem of Fine and Wilf for relational periods2009-05-06Paper
Overlap-freeness in infinite partial words2009-03-17Paper
MATRIX EQUATIONS AND HILBERT'S TENTH PROBLEM2009-02-10Paper
https://portal.mardi4nfdi.de/entity/Q53877332008-05-27Paper
Defect theorems with compatibility relations.2008-04-03Paper
Relational codes of words2008-01-07Paper
On Markov's undecidability theorem for integer matrices.2007-11-14Paper
Improved matrix pair undecidability results2007-08-17Paper
Extension of the decidability of the marked PCP to instances with unique blocks2007-07-16Paper
Undecidability of infinite post correspondence problem for instances of Size 92007-02-20Paper
The structure of infinite solutions of marked and binary Post correspondence problems2007-02-14Paper
https://portal.mardi4nfdi.de/entity/Q34099822006-11-21Paper
Positivity of second order linear recurrent sequences2006-04-28Paper
https://portal.mardi4nfdi.de/entity/Q57166102006-01-10Paper
https://portal.mardi4nfdi.de/entity/Q46657452005-04-11Paper
Undecidability in matrices over Laurent polynomials.2005-01-26Paper
Theory Is Forever2005-01-18Paper
https://portal.mardi4nfdi.de/entity/Q47379172004-08-11Paper
https://portal.mardi4nfdi.de/entity/Q47382882004-08-11Paper
https://portal.mardi4nfdi.de/entity/Q44534732004-03-07Paper
Decidability of the binary infinite Post Correspondence Problem2003-09-22Paper
Mortality in Matrix Semigroups2002-09-05Paper
Binary (generalized) Post Correspondence Problem2002-07-15Paper
Marked PCP is decidable2001-08-20Paper
https://portal.mardi4nfdi.de/entity/Q27292392001-07-18Paper
GENERALIZED POST CORRESPONDENCE PROBLEM FOR MARKED MORPHISMS2001-04-17Paper
https://portal.mardi4nfdi.de/entity/Q45107982001-03-13Paper
https://portal.mardi4nfdi.de/entity/Q49343392000-10-03Paper
Periods and binary words2000-05-11Paper
https://portal.mardi4nfdi.de/entity/Q49411532000-02-29Paper
Undecidability of the equivalence of finite substitutions on regular language1999-09-22Paper
https://portal.mardi4nfdi.de/entity/Q42656341999-09-22Paper
https://portal.mardi4nfdi.de/entity/Q42510521999-06-17Paper

Research outcomes over time


Doctoral students

No records found.


Known relations from the MaRDI Knowledge Graph

PropertyValue
MaRDI profile typeMaRDI person profile
instance ofhuman


This page was built for person: Vesa Halava