BibSonomy :: author :: Halava ::

tag user group author concept BibTeX key search:all

The blue social bookmark and publication sharing system.

bookmarks

bookmarks per page: 5 10 20 50 100

RSS BibTeX RDF more

publications

(39)

<< < 1 | 2 > >>

On the number of squares in partial words.
Vesa Halava, Tero Harju, and Tomi Kärki RAIRO - Theor. Inf. and Applic. 44(1):125-138 (2010)
to dblp by dblp on Sep 20, 2011, 12:00 AM
URL | BibTeX
Undecidability of the equivalence of finite substitutions on regular language.
Vesa Halava, and Tero Harju ITA 33(2):117-124 (1999)
to dblp by dblp on Sep 20, 2011, 12:00 AM
URL | BibTeX
Undecidability in omega-Regular Languages.
Vesa Halava, Tero Harju, and Juhani Karhumäki Fundam. Inform. 73(1-2):119-125 (2006)
to dblp by dblp on Sep 12, 2011, 12:00 AM
URL | BibTeX
Undecidability in Integer Weighted Finite Automata.
Vesa Halava, and Tero Harju Fundam. Inform. 38(1-2):189-200 (1999)
to dblp by dblp on Sep 12, 2011, 12:00 AM
URL | BibTeX
A new proof for the decidability of D0L ultimate periodicity
Vesa Halava, Tero Harju, and Tomi Kärki WORDS, volume 63 of EPTCS, page 147-151. (2011)
to dblp by dblp on Sep 1, 2011, 12:00 AM
URL | BibTeX
Integer Weighted Finite Automata, Matrices, and Formal Power Series over Laurent Polynomials.
Vesa Halava Theory Is Forever, volume 3113 of Lecture Notes in Computer Science, page 81-88. Springer, (2004)
to dblp by dblp on Jul 7, 2011, 12:00 AM
URL | BibTeX
Languages Defined by Generalized Equality Sets.
Vesa Halava, Tero Harju, Hendrik Jan Hoogeboom, and Michel Latteux FCT, volume 2751 of Lecture Notes in Computer Science, page 355-363. Springer, (2003)
to dblp by dblp on Jul 5, 2011, 12:00 AM
URL | BibTeX
Infinite Solutions of Marked Post Correspondence Problem.
Vesa Halava, and Tero Harju Formal and Natural Computing, volume 2300 of Lecture Notes in Computer Science, page 57-68. Springer, (2002)
to dblp by dblp on Jun 29, 2011, 12:00 AM
URL | BibTeX
An Undecidability Result Concerning Periodic Morphisms.
Vesa Halava, and Tero Harju Developments in Language Theory, volume 2295 of Lecture Notes in Computer Science, page 304-310. Springer, (2001)
to dblp by dblp on Jun 29, 2011, 12:00 AM
URL | BibTeX
Generalized PCP Is Decidable for Marked Morphisms.
Vesa Halava, Tero Harju, and Mika Hirvensalo FCT, volume 1684 of Lecture Notes in Computer Science, page 304-315. Springer, (1999)
to dblp by dblp on Jun 20, 2011, 12:00 AM
URL | BibTeX
Decidability and Undecidability of Marked PCP.
Vesa Halava, Mika Hirvensalo, and Ronald de Wolf STACS, volume 1563 of Lecture Notes in Computer Science, page 207-216. Springer, (1999)
to dblp by dblp on Jun 17, 2011, 12:00 AM
URL | BibTeX
On the Joint Spectral Radius for Bounded Matrix Languages.
Paul Bell, Vesa Halava, and Mika Hirvensalo RP, volume 6227 of Lecture Notes in Computer Science, page 91-103. Springer, (2010)
to dblp by dblp on Aug 31, 2010, 12:00 AM
URL | BibTeX
On the Periodicity of Morphic Words.
Vesa Halava, Tero Harju, Tomi Kärki, and Michel Rigo Developments in Language Theory, volume 6224 of Lecture Notes in Computer Science, page 209-217. Springer, (2010)
to dblp by dblp on Aug 18, 2010, 12:00 AM
URL | BibTeX
Preface.
Vesa Halava, and Igor Potapov Int. J. Found. Comput. Sci. 20(5):775-777 (2009)
to dblp by dblp on Mar 11, 2010, 12:00 AM
URL | BibTeX
Undecidability of infinite post correspondence problem for instances of Size 9.
Vesa Halava, and Tero Harju ITA 40(4):551-557 (2006)
to dblp by dblp on Nov 20, 2009, 12:00 AM
URL | BibTeX
Equality sets for recursively enumerable languages.
Vesa Halava, Tero Harju, Hendrik Jan Hoogeboom, and Michel Latteux ITA 39(4):661-675 (2005)
to dblp by dblp on Nov 20, 2009, 12:00 AM
URL | BibTeX
The theorem of Fine and Wilf for relational periods.
Vesa Halava, Tero Harju, and Tomi Kärki ITA 43(2):209-220 (2009)
to dblp by dblp on Nov 20, 2009, 12:00 AM
URL | BibTeX
On post correspondence problem for letter monotonic languages.
Vesa Halava, Jarkko Kari, and Yuri Matiyasevich Theor. Comput. Sci. 410(30-32):2957-2960 (2009)
to dblp by dblp on Sep 3, 2009, 12:00 AM
URL | BibTeX
Interaction Properties of Relational Periods.
Tomi Kärki, Tero Harju, and Vesa Halava Discrete Mathematics & Theoretical Computer Science (2008)
to dblp by dblp on Jun 8, 2009, 12:00 AM
URL | BibTeX
Matrix Equations and Hilbert's Tenth Problem.
Paul Bell, Vesa Halava, Tero Harju, Juhani Karhumäki, and Igor Potapov IJAC 18(8):1231-1241 (2008)
to dblp by dblp on Apr 21, 2009, 12:00 AM
URL | BibTeX

<< < 1 | 2 > >>publications per page: 5 10 20 50 100