Παρακολούθηση
Tero Harju
Tero Harju
Matematiikan professori, Turun yliopisto
Η διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα utu.fi
Τίτλος
Παρατίθεται από
Παρατίθεται από
Έτος
Computation in living cells: gene assembly in ciliates
A Ehrenfeucht, T Harju, I Petre, D Prescott, G Rozenberg
Springer, 2004
201*2004
Theory Of 2-structures, The: A Framework For Decomposition And Transformation Of Graphs
A Ehrenfeucht, T Harju, G Rozenberg
World Scientific Publishing Company, 1999
1951999
Splicing semigroups of dominoes and DNA
K Culik II, T Harju
Discrete Applied Mathematics 31 (3), 261-277, 1991
1881991
The equivalence problem of multitape finite automata
T Harju, J Karhumäki
Theoretical Computer Science 78 (2), 347-355, 1991
1831991
Skolem’s problem-on the border between decidability and undecidability
V Halava, T Harju, M Hirvensalo, J Karhumäki
Technical Report 683, Turku Centre for Computer Science, 2005
1262005
Morphisms
T Harju, J Karhumäki
Handbook of Formal Languages: Volume 1 Word, Language, Grammar, 439-510, 2013
1232013
On the periodicity of morphisms on free monoids
T Harju, M Linna
RAIRO-Theoretical Informatics and Applications 20 (1), 47-54, 1986
921986
On the undecidability of freeness of matrix semigroups
J Cassaigne, T Harju, J Karhumäki
International Journal of Algebra and Computation 9 (03n04), 295-305, 1999
851999
Formal systems for gene assembly in ciliates
A Ehrenfeucht, T Harju, I Petre, DM Prescott, G Rozenberg
Theoretical Computer Science 292 (1), 199-219, 2003
822003
Some decision problems concerning semilinearity and commutation
T Harju, O Ibarra, J Karhumäki, A Salomaa
Journal of Computer and System Sciences 65 (2), 278-294, 2002
782002
Positivity of second order linear recurrent sequences
V Halava, T Harju, M Hirvensalo
Discrete Applied Mathematics 154 (3), 447-451, 2006
682006
Undecidability bounds for integer matrices using Claus instances
V Halava, T Harju, M Hirvensalo
International Journal of Foundations of Computer Science 18 (05), 931-948, 2007
592007
Binary (generalized) Post correspondence problem
V Halava, T Harju, M Hirvensalo
Theoretical computer science 276 (1-2), 183-204, 2002
502002
Mortality in matrix semigroups
V Halava, T Harju
The American Mathematical Monthly 108 (7), 649-653, 2001
492001
On the defect theorem and simplifiability
T Harju, J Karhumäki
Semigroup Forum 33, 199-217, 1986
431986
Parallelism in gene assembly
T Harju, C Li, I Petre, G Rozenberg
Natural Computing 5, 203-223, 2006
422006
Characterizing the micronuclear gene patterns in ciliates
A Ehrenfeucht, T Harju, I Petre, G Rozenberg
Theory of Computing Systems 35, 501-519, 2002
422002
Lecture notes on graph theory
T Harju
402011
Characterization and complexity of uniformly nonprimitive labeled 2-structures
J Engelfriet, T Harju, A Proskurowski, G Rozenberg
Theoretical Computer Science 154 (2), 247-282, 1996
381996
The ω sequence problem for DOL systems is decidable
K Culik, T Harju
Journal of the ACM (JACM) 31 (2), 282-298, 1984
361984
Δεν είναι δυνατή η εκτέλεση της ενέργειας από το σύστημα αυτή τη στιγμή. Προσπαθήστε ξανά αργότερα.
Άρθρα 1–20