Finkel, Olivier; Halava, Vesa; Harju, Tero; Sahla, Esa On bi-infinite and conjugate post correspondence problems. (English) Zbl 07799053 RAIRO, Theor. Inform. Appl. 57, Paper No. 7, 11 p. (2023). MSC: 03D35 03D40 03D55 68R01 PDFBibTeX XMLCite \textit{O. Finkel} et al., RAIRO, Theor. Inform. Appl. 57, Paper No. 7, 11 p. (2023; Zbl 07799053) Full Text: DOI arXiv
Harju, Tero; Karhumäki, Juhani Finite transducers and rational transductions. (English) Zbl 1517.68195 Pin, Jean-Éric (ed.), Handbook of automata theory. Volume I. Theoretical foundations. Berlin: European Mathematical Society (EMS). 79-111 (2021). Reviewer: Andreas Maletti (Leipzig) MSC: 68Q45 68Q70 PDFBibTeX XMLCite \textit{T. Harju} and \textit{J. Karhumäki}, in: Handbook of automata theory. Volume I. Theoretical foundations. Berlin: European Mathematical Society (EMS). 79--111 (2021; Zbl 1517.68195) Full Text: DOI
Halava, Vesa; Harju, Tero; Sahla, Esa On fixed points of rational transductions. (English) Zbl 1412.03019 Theor. Comput. Sci. 732, 85-88 (2018). Reviewer: Saeed Salehi (Tabriz) MSC: 03D35 68Q45 PDFBibTeX XMLCite \textit{V. Halava} et al., Theor. Comput. Sci. 732, 85--88 (2018; Zbl 1412.03019) Full Text: DOI
Brijder, Robert; Harju, Tero; Hoogeboom, Hendrik Jan Pivots, determinants, and perfect matchings of graphs. (English) Zbl 1251.05132 Theor. Comput. Sci. 454, 64-71 (2012). MSC: 05C70 05C90 92D10 PDFBibTeX XMLCite \textit{R. Brijder} et al., Theor. Comput. Sci. 454, 64--71 (2012; Zbl 1251.05132) Full Text: DOI arXiv
Azimi, Sepinoud; Harju, Tero; Langille, Miika; Petre, Ion Simple gene assembly as a rewriting of directed overlap-inclusion graphs. (English) Zbl 1402.92292 Theor. Comput. Sci. 454, 30-37 (2012). MSC: 92D10 05C90 68R10 PDFBibTeX XMLCite \textit{S. Azimi} et al., Theor. Comput. Sci. 454, 30--37 (2012; Zbl 1402.92292) Full Text: DOI
Harju, Tero Post correspondence problem and small dimensional matrices. (English) Zbl 1247.03089 Diekert, Volker (ed.) et al., Developments in language theory. 13th international conference, DLT 2009, Stuttgart, Germany, June 30–July 3, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-02736-9/pbk). Lecture Notes in Computer Science 5583, 39-46 (2009). MSC: 03D35 03D03 PDFBibTeX XMLCite \textit{T. Harju}, Lect. Notes Comput. Sci. 5583, 39--46 (2009; Zbl 1247.03089) Full Text: DOI
Halava, Vesa; Harju, Tero; Hirvensalo, Mika; Karhumäki, Juhani Post correspondence problem for short words. (English) Zbl 1191.68305 Inf. Process. Lett. 108, No. 3, 115-118 (2008). MSC: 68Q05 PDFBibTeX XMLCite \textit{V. Halava} et al., Inf. Process. Lett. 108, No. 3, 115--118 (2008; Zbl 1191.68305) Full Text: DOI
Harju, Tero; Li, Chang; Petre, Ion Graph theoretic approach to parallel gene assembly. (English) Zbl 1200.05238 Discrete Appl. Math. 156, No. 18, 3416-3429 (2008). MSC: 05C90 05C22 05C70 92D20 PDFBibTeX XMLCite \textit{T. Harju} et al., Discrete Appl. Math. 156, No. 18, 3416--3429 (2008; Zbl 1200.05238) Full Text: DOI
Harju, Tero; Petre, Ion; Rogojin, Vladimir; Rozenberg, Grzegorz Patterns of simple gene assembly in ciliates. (English) Zbl 1146.92312 Discrete Appl. Math. 156, No. 14, 2581-2597 (2008). MSC: 92C40 92D10 68P10 05A05 PDFBibTeX XMLCite \textit{T. Harju} et al., Discrete Appl. Math. 156, No. 14, 2581--2597 (2008; Zbl 1146.92312) Full Text: DOI
Harju, Tero; Li, Chang; Petre, Ion Parallel complexity of signed graphs for gene assembly in ciliates. (English) Zbl 1137.92305 Soft Comput. 12, No. 8, 731-737 (2008). MSC: 92C37 05C22 92D10 05C90 PDFBibTeX XMLCite \textit{T. Harju} et al., Soft Comput. 12, No. 8, 731--737 (2008; Zbl 1137.92305) Full Text: DOI
Halava, Vesa; Harju, Tero; Kärki, Tomi Defect theorems with compatibility relations. (English) Zbl 1146.20036 Semigroup Forum 76, No. 1, 1-24 (2008). Reviewer: Francine Blanchet-Sadri (Greensboro) MSC: 20M05 20M35 68R15 PDFBibTeX XMLCite \textit{V. Halava} et al., Semigroup Forum 76, No. 1, 1--24 (2008; Zbl 1146.20036) Full Text: DOI
Halava, Vesa; Harju, Tero; Karhumäki, Juhani; Latteux, Michel Extension of the decidability of the marked PCP to instances with unique blocks. (English) Zbl 1119.03041 Theor. Comput. Sci. 380, No. 3, 355-362 (2007). MSC: 03D40 03D03 03B25 PDFBibTeX XMLCite \textit{V. Halava} et al., Theor. Comput. Sci. 380, No. 3, 355--362 (2007; Zbl 1119.03041) Full Text: DOI
Ehrenfeucht, Andrzej; Harju, Tero; Rozenberg, Grzegorz Finite metrics in switching classes. (English) Zbl 1105.54013 Discrete Appl. Math. 155, No. 1, 68-73 (2007). Reviewer: Mikhail Ostrovskii (Queens) MSC: 54E25 05C99 54E35 PDFBibTeX XMLCite \textit{A. Ehrenfeucht} et al., Discrete Appl. Math. 155, No. 1, 68--73 (2007; Zbl 1105.54013) Full Text: DOI
Harju, Tero; Petre, Ion; Rogojin, Vladimir; Rozenberg, Grzegorz Simple operations for gene assembly. (English) Zbl 1234.68110 Carbone, Alessandra (ed.) et al., DNA computing. 11th international workshops on DNA computing, DNA11, London, ON, Canada, June 6–9, 2005. Revised selected papers. Berlin: Springer (ISBN 3-540-34161-7/pbk). Lecture Notes in Computer Science 3892, 96-111 (2006). MSC: 68Q10 68Q05 68R10 92D10 PDFBibTeX XMLCite \textit{T. Harju} et al., Lect. Notes Comput. Sci. 3892, 96--111 (2006; Zbl 1234.68110) Full Text: DOI
Harju, Tero; Li, Chang; Petre, Ion; Rozenberg, Grzegorz Parallelism in gene assembly. (English) Zbl 1114.68043 Nat. Comput. 5, No. 2, 203-223 (2006). MSC: 68Q10 92D10 92D20 PDFBibTeX XMLCite \textit{T. Harju} et al., Nat. Comput. 5, No. 2, 203--223 (2006; Zbl 1114.68043) Full Text: DOI
Halava, Vesa; Harju, Tero Undecidability of infinite Post correspondence problem for instances of size 9. (English) Zbl 1114.03035 Theor. Inform. Appl. 40, No. 4, 551-557 (2006). Reviewer: Cristian S. Calude (Auckland) MSC: 03D35 03D40 68R15 PDFBibTeX XMLCite \textit{V. Halava} and \textit{T. Harju}, Theor. Inform. Appl. 40, No. 4, 551--557 (2006; Zbl 1114.03035) Full Text: DOI Numdam EuDML
Ehrenfeucht, Andrzej; Harju, Tero; Rozenberg, Grzegorz Embedding linear orders in grids. (English) Zbl 1089.68073 Acta Inf. 42, No. 6-7, 419-428 (2006). MSC: 68R05 06A05 PDFBibTeX XMLCite \textit{A. Ehrenfeucht} et al., Acta Inf. 42, No. 6--7, 419--428 (2006; Zbl 1089.68073) Full Text: DOI
Ehrenfeucht, Andrzej; Harju, Tero; Rozenberg, Grzegorz Transitivity of local complementation and switching on graphs. (English) Zbl 1033.05052 Discrete Math. 278, No. 1-3, 45-60 (2004). MSC: 05C25 PDFBibTeX XMLCite \textit{A. Ehrenfeucht} et al., Discrete Math. 278, No. 1--3, 45--60 (2004; Zbl 1033.05052) Full Text: DOI
Halava, Vesa; Harju, Tero; Karhumäki, Juhani Decidability of the binary infinite Post Correspondence Problem. (English) Zbl 1023.03039 Discrete Appl. Math. 130, No. 3, 521-526 (2003). MSC: 03D40 03B25 68Q45 PDFBibTeX XMLCite \textit{V. Halava} et al., Discrete Appl. Math. 130, No. 3, 521--526 (2003; Zbl 1023.03039) Full Text: DOI
Ehrenfeucht, Andrzej; Harju, Tero; Petre, Ion; Prescott, David M.; Rozenberg, Grzegorz Formal systems for gene assembly in ciliates. (English) Zbl 1063.68054 Theor. Comput. Sci. 292, No. 1, 199-219 (2003). MSC: 68Q10 68Q42 PDFBibTeX XMLCite \textit{A. Ehrenfeucht} et al., Theor. Comput. Sci. 292, No. 1, 199--219 (2003; Zbl 1063.68054) Full Text: DOI
Ehrenfeucht, A.; Harju, T.; Rozenberg, G. Gene assembly through cyclic graph decomposition. (English) Zbl 1024.68039 Theor. Comput. Sci. 281, No. 1-2, 325-349 (2002). MSC: 68Q10 68Q05 68R10 PDFBibTeX XMLCite \textit{A. Ehrenfeucht} et al., Theor. Comput. Sci. 281, No. 1--2, 325--349 (2002; Zbl 1024.68039) Full Text: DOI
Halava, Vesa; Harju, Tero; Hirvensalo, Mika Binary (generalized) Post Correspondence Problem. (English) Zbl 1023.03038 Theor. Comput. Sci. 276, No. 1-2, 183-204 (2002). MSC: 03D40 03B25 68Q45 PDFBibTeX XMLCite \textit{V. Halava} et al., Theor. Comput. Sci. 276, No. 1--2, 183--204 (2002; Zbl 1023.03038) Full Text: DOI
Ehrenfeucht, Andrzej; Hage, Jurriaan; Harju, Tero; Rozenberg, Grzegorz Pancyclicity in switching classes. (English) Zbl 1338.68101 Inf. Process. Lett. 73, No. 5-6, 153-156 (2000). MSC: 68Q25 05C45 05C75 PDFBibTeX XMLCite \textit{A. Ehrenfeucht} et al., Inf. Process. Lett. 73, No. 5--6, 153--156 (2000; Zbl 1338.68101) Full Text: DOI Link
Halava, Vesa; Harju, Tero; Hirvensalo, Mika Generalized Post correspondence problem for marked morphisms. (English) Zbl 0971.68124 Int. J. Algebra Comput. 10, No. 6, 757-772 (2000). MSC: 68R15 68Q70 20F10 PDFBibTeX XMLCite \textit{V. Halava} et al., Int. J. Algebra Comput. 10, No. 6, 757--772 (2000; Zbl 0971.68124) Full Text: DOI
Ehrenfeucht, Andrzej; Hage, Jurriaan; Harju, Tero; Rozenberg, Grzegorz Complexity issues in switching of graphs. (English) Zbl 0958.68133 Ehrig, Hartmut (ed.) et al., Theory and application of graph transformations. 6th international workshop, TAGT ’98. Paderborn, Germany, November 16-20, 1998. Selected papers. Berlin: Springer. Lect. Notes Comput. Sci. 1764, 59-70 (2000). MSC: 68R10 68Q25 PDFBibTeX XMLCite \textit{A. Ehrenfeucht} et al., Lect. Notes Comput. Sci. 1764, 59--70 (2000; Zbl 0958.68133)
Ehrenfeucht, A.; Harju, T.; ten Pas, P.; Rozenberg, G. Permutations, parenthesis words, and Schröder numbers. (English) Zbl 0956.05011 Discrete Math. 190, No. 1-3, 259-264 (1998). MSC: 05A15 05A05 PDFBibTeX XMLCite \textit{A. Ehrenfeucht} et al., Discrete Math. 190, No. 1--3, 259--264 (1998; Zbl 0956.05011) Full Text: DOI
Harju, Tero; Ilie, Lucian On quasi orders of words and the confluence property. (English) Zbl 0915.68104 Theor. Comput. Sci. 200, No. 1-2, 205-224 (1998). MSC: 68Q45 PDFBibTeX XMLCite \textit{T. Harju} and \textit{L. Ilie}, Theor. Comput. Sci. 200, No. 1--2, 205--224 (1998; Zbl 0915.68104) Full Text: DOI
Engelfriet, J.; Harju, T.; Proskurowski, A.; Rozenberg, G. Characterization and complexity of uniformly nonprimitive labeled 2-structures. (English) Zbl 0873.68161 Theor. Comput. Sci. 154, No. 2, 247-282 (1996). MSC: 68R10 05C85 PDFBibTeX XMLCite \textit{J. Engelfriet} et al., Theor. Comput. Sci. 154, No. 2, 247--282 (1996; Zbl 0873.68161) Full Text: DOI
Harju, Tero; Lipponen, Marjo; Mateescu, Alexandru Flatwords and Post Correspondence Problem. (English) Zbl 0872.68088 Theor. Comput. Sci. 161, No. 1-2, 93-108 (1996). MSC: 68Q45 PDFBibTeX XMLCite \textit{T. Harju} et al., Theor. Comput. Sci. 161, No. 1--2, 93--108 (1996; Zbl 0872.68088) Full Text: DOI
Ehrenfeucht, A.; Harju, T.; Rozenberg, G. Group based graph transformations and hierarchical representations of graphs. (English) Zbl 1412.68104 Cuny, J. (ed.) et al., Graph grammars and their application to computer science. 5th international workshop, Williamsburg, VA, USA, November 13–18, 1994. Selected papers. Berlin: Springer. Lect. Notes Comput. Sci. 1073, 502-520 (1996). MSC: 68Q42 05C20 05C25 68R10 PDFBibTeX XMLCite \textit{A. Ehrenfeucht} et al., Lect. Notes Comput. Sci. 1073, 502--520 (1996; Zbl 1412.68104) Full Text: DOI
Ehrenfeucht, A.; Harju, T.; Rozenberg, G. Theory of 2-structures. (English) Zbl 1412.68168 Fülöp, Zoltán (ed.) et al., Automata, languages and programming. 22nd international colloquium, ICALP ’95, Szeged, Hungary, July 10–14, 1995. Proceedings. Berlin: Springer-Verlag. Lect. Notes Comput. Sci. 944, 1-14 (1995). MSC: 68R10 05C99 PDFBibTeX XMLCite \textit{A. Ehrenfeucht} et al., Lect. Notes Comput. Sci. 944, 1--14 (1995; Zbl 1412.68168) Full Text: DOI
Harju, T.; Rozenberg, G. Decomposition of infinite labeled 2-structures. (English) Zbl 07795992 Karhumäki, Juliani (ed.) et al., Results and trends in theoretical computer science. Colloquium in honor of Arto Salomaa, Graz, Austria, June 10–11, 1994. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 812, 145-158 (1994). MSC: 68R10 05C78 68Q10 PDFBibTeX XMLCite \textit{T. Harju} and \textit{G. Rozenberg}, Lect. Notes Comput. Sci. 812, 145--158 (1994; Zbl 07795992) Full Text: DOI
Ehrenfeucht, A.; Harju, T.; Rozenberg, G. Incremental construction of 2-structures. (English) Zbl 0796.05083 Discrete Math. 128, No. 1-3, 113-141 (1994). Reviewer: M.Loebl (Waterloo / Ontario) MSC: 05C78 05C20 05C85 05C05 PDFBibTeX XMLCite \textit{A. Ehrenfeucht} et al., Discrete Math. 128, No. 1--3, 113--141 (1994; Zbl 0796.05083) Full Text: DOI
Harju, T.; Keesmaat, N. W.; Kleijn, H. C. M. The intersection problem for alphabetic vector monoids. (English) Zbl 0883.68077 RAIRO, Inform. Théor. Appl. 28, No. 3-4, 295-301 (1994). MSC: 68Q45 PDFBibTeX XMLCite \textit{T. Harju} et al., RAIRO, Inform. Théor. Appl. 28, No. 3--4, 295--301 (1994; Zbl 0883.68077) Full Text: DOI EuDML
Ehrenfeucht, A.; Harju, T.; Rozenberg, G. Permutable transformation semigroups. (English) Zbl 0792.20060 Semigroup Forum 47, No. 1, 123-125 (1993). Reviewer: T.Tamura (Davis) MSC: 20M20 20M10 PDFBibTeX XMLCite \textit{A. Ehrenfeucht} et al., Semigroup Forum 47, No. 1, 123--125 (1993; Zbl 0792.20060) Full Text: DOI EuDML
Harju, T.; Karhumäki, J. On the defect theorem and simplifiability. (English) Zbl 0621.20033 Semigroup Forum 33, 199-217 (1986). Reviewer: L.Potemkin MSC: 20M05 20M10 PDFBibTeX XMLCite \textit{T. Harju} and \textit{J. Karhumäki}, Semigroup Forum 33, 199--217 (1986; Zbl 0621.20033) Full Text: DOI EuDML
Harju, Tero; Linna, Matti On the periodicity of morphisms on free monoids. (English) Zbl 0608.68065 RAIRO, Inf. Théor. Appl. 20, 47-54 (1986). MSC: 68Q45 20M35 20M05 68Q42 PDFBibTeX XMLCite \textit{T. Harju} and \textit{M. Linna}, RAIRO, Inform. Théor. Appl. 20, 47--54 (1986; Zbl 0608.68065) Full Text: DOI EuDML
Harju, T.; Karhumäki, J.; Kleijn, H. C. M. On morphic generation of regular languages. (English) Zbl 0604.68084 Discrete Appl. Math. 15, 55-60 (1986). Reviewer: G.Păun MSC: 68Q45 PDFBibTeX XMLCite \textit{T. Harju} et al., Discrete Appl. Math. 15, 55--60 (1986; Zbl 0604.68084) Full Text: DOI
Culik, Karel II; Harju, Tero Dominoes over a free monoid. (English) Zbl 0509.68068 Theor. Comput. Sci. 18, 279-300 (1982). MSC: 68Q45 20M35 PDFBibTeX XMLCite \textit{K. Culik II} and \textit{T. Harju}, Theor. Comput. Sci. 18, 279--300 (1982; Zbl 0509.68068) Full Text: DOI
Harju, Tero; Penttonen, Martti Some decidability problems of sentential forms. (English) Zbl 0405.68061 Int. J. Comput. Math. 7, 95-107 (1979). MSC: 68Q45 03B25 PDFBibTeX XMLCite \textit{T. Harju} and \textit{M. Penttonen}, Int. J. Comput. Math. 7, 95--107 (1979; Zbl 0405.68061) Full Text: DOI