Juha Honkala
jhonkala@utu.fi +358 29 450 4302 +358 50 300 1017 Vesilinnantie 5 Turku |
Publications
- Decidability questions related to abstract numeration systems (2004)
- Discrete Mathematics
(A1 Refereed original research article in a scientific journal) - It is decidable whether the image of an N-rational sequence has a base (2004)
- Journal of Number Theory
(A1 Refereed original research article in a scientific journal) - On infinite HD0L words having sparse letters (2004)
- International Journal of Computer Mathematics
(A1 Refereed original research article in a scientific journal) - A bound for the omega-equivalence problem of polynomial dol systems (2003)
- RAIRO: Informatique Théorique et Applications / RAIRO: Theoretical Informatics and Applications
(A1 Refereed original research article in a scientific journal) - Decidability results for Watson-Crick D0L systems with nonregular triggers (2003)
- Theoretical Computer Science
(A1 Refereed original research article in a scientific journal) - On images of D0L and DT0L power series (2003)
- Theoretical Computer Science
(A1 Refereed original research article in a scientific journal) - On the images of N-rational sequences counting multiplicities (2003)
- International Journal of Algebra and Computation
(A1 Refereed original research article in a scientific journal) - The equivalence problem of polynomially bounded D0L systems - a bound depending only on the size of the alphabet (2003)
- Theory of Computing Systems
(A1 Refereed original research article in a scientific journal) - A new class of algebraic series having a decidable equivalence problem (2002)
- Fundamenta Informaticae
(A1 Refereed original research article in a scientific journal) - On infinite words generated by polynomial DOL systems (2002)
- Discrete Applied Mathematics
(A1 Refereed original research article in a scientific journal) - On the simplification of HD0L power series (2002) Honkala J
(A1 Refereed original research article in a scientific journal) - The equality problem for Parikh simple algebraic power series (2002)
- Information Processing Letters
(A1 Refereed original research article in a scientific journal) - The equivalence problem for DFOL languages and power series (2002) Honkala J
(A1 Refereed original research article in a scientific journal) - A polynomial bound for certain cases of the DOL sequence equivalence problem (2001)
- Theory of Computing Systems
(A1 Refereed original research article in a scientific journal) - Easy cases of the DOL sequence equivalence problem (2001)
- Discrete Applied Mathematics
(A1 Refereed original research article in a scientific journal) - On Parikh slender context-free languages (2001)
- Theoretical Computer Science
(A1 Refereed original research article in a scientific journal) - Three variants of the DT0L sequence equivalence problem (2001) Honkala J
(A1 Refereed original research article in a scientific journal) - Watson-Crick DOL systems with regular triggers (2001)
- Theoretical Computer Science
(A1 Refereed original research article in a scientific journal) - A Kleene-Schutzenberger theorem for Lindenmayerian rational power series (2000)
- RAIRO: Informatique Théorique et Applications / RAIRO: Theoretical Informatics and Applications
(A1 Refereed original research article in a scientific journal) - A short solution for the HDT0L sequence equivalence problem (2000)
- Theoretical Computer Science
(A1 Refereed original research article in a scientific journal)