The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Karel Culik II: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Karel Culik II, Thomas Ottmann, Derick Wood
    Dense Multiway Trees. [Citation Graph (2, 7)][DBLP]
    ACM Trans. Database Syst., 1981, v:6, n:3, pp:486-512 [Journal]
  2. Karel Culik II
    Structured 0L-Systems. [Citation Graph (0, 0)][DBLP]
    L Systems, 1974, pp:216-229 [Conf]
  3. Karel Culik II, Jaroslav Opatrny
    Context in Parallel Rewriting. [Citation Graph (0, 0)][DBLP]
    L Systems, 1974, pp:230-243 [Conf]
  4. Karel Culik II
    Small Aperiodic Sets of Triangular and Hexagonal Tiles. [Citation Graph (0, 0)][DBLP]
    Jewels are Forever, 1999, pp:307-313 [Conf]
  5. Karel Culik II, Simant Dube
    New Methods for Image Generation and Compression. [Citation Graph (0, 0)][DBLP]
    New Results and New Trends in Computer Science, 1991, pp:69-90 [Conf]
  6. Karel Culik II, Jarkko Kari
    Parallel Pattern Generation with One-Way Communications. [Citation Graph (0, 0)][DBLP]
    Results and Trends in Theoretical Computer Science, 1994, pp:85-96 [Conf]
  7. Karel Culik II, Jarkko Kari
    On Aperiodic Sets of Wang Tiles. [Citation Graph (0, 0)][DBLP]
    Foundations of Computer Science: Potential - Theory - Cognition, 1997, pp:153-162 [Conf]
  8. Karel Culik II, Juhani Karhumäki, Petri Salmela
    Fixed Point Approach to Commutation of Languages. [Citation Graph (0, 0)][DBLP]
    Aspects of Molecular Computing, 2004, pp:119-131 [Conf]
  9. Karel Culik II, Simant Dube, Peter Rajcáni
    Efficient Compression of Wavelet Coefficients for Smooth and Fractal-like Data. [Citation Graph (0, 0)][DBLP]
    Data Compression Conference, 1993, pp:234-243 [Conf]
  10. Karel Culik II, Jarkko Kari
    Finite State Methods for Compression and Manipulation of Images. [Citation Graph (0, 0)][DBLP]
    Data Compression Conference, 1995, pp:142-151 [Conf]
  11. Karel Culik II, Vladimir Valenta
    Finite Automata Based Compression of Bi-level Images. [Citation Graph (0, 0)][DBLP]
    Data Compression Conference, 1996, pp:280-289 [Conf]
  12. Karel Culik II, Jarkko Kari
    On the Power of L-Systems in Image Generation. [Citation Graph (0, 0)][DBLP]
    Developments in Language Theory, 1993, pp:225-236 [Conf]
  13. Karel Culik II, Juhani Karhumäki, Jarkko Kari
    A Note on Synchronized Automata and Road Coloring Problem. [Citation Graph (0, 0)][DBLP]
    Developments in Language Theory, 2001, pp:175-185 [Conf]
  14. Karel Culik II, Emo Welzl
    Two Way Finite State Generators. [Citation Graph (0, 0)][DBLP]
    FCT, 1983, pp:106-114 [Conf]
  15. Rina S. Cohen, Karel Culik II
    LR-Regular Grammars-An Extension of LR(k) Grammars [Citation Graph (0, 0)][DBLP]
    FOCS, 1971, pp:153-165 [Conf]
  16. Karel Culik II, Simant Dube
    Automata-Theoretic Techniques for Image Generation and Compression. [Citation Graph (0, 0)][DBLP]
    FSTTCS, 1990, pp:76-90 [Conf]
  17. Karel Culik II, Matti Linna
    The Equivalence Problem for n-Tape Finite Automata with Simple Cycles. [Citation Graph (0, 0)][DBLP]
    FSTTCS, 1987, pp:15-25 [Conf]
  18. J. Albert, Karel Culik II
    Test Sets for Homomorphism Equivalence on Context Free Languages. [Citation Graph (0, 0)][DBLP]
    ICALP, 1980, pp:12-18 [Conf]
  19. Karel Culik II
    On the Homomorphic Characterizations of Families of Languages. [Citation Graph (0, 0)][DBLP]
    ICALP, 1979, pp:161-170 [Conf]
  20. Karel Culik II
    On Test Sets and the Ehrenfeucht Conjecture. [Citation Graph (0, 0)][DBLP]
    ICALP, 1982, pp:128-140 [Conf]
  21. Karel Culik II
    New Techniques for Proving the Decidability of Equivalence Problems. [Citation Graph (0, 0)][DBLP]
    ICALP, 1988, pp:162-175 [Conf]
  22. Karel Culik II, Simant Dube
    Balancing Order and Chaos in Image Generation (Extended Abstract). [Citation Graph (0, 0)][DBLP]
    ICALP, 1991, pp:600-614 [Conf]
  23. Karel Culik II, Ivan Fris
    The Sequence Equivalence Problem for D0L Systems is Decidable. [Citation Graph (0, 0)][DBLP]
    ICALP, 1977, pp:148-163 [Conf]
  24. Karel Culik II, Tero Harju
    Dominoes and the Regularity of DNS Splicing Languages. [Citation Graph (0, 0)][DBLP]
    ICALP, 1989, pp:222-233 [Conf]
  25. Karel Culik II, Jarkko Kari
    Finite State Transformations of Images. [Citation Graph (0, 0)][DBLP]
    ICALP, 1995, pp:51-62 [Conf]
  26. Karel Culik II, T. S. E. Maibaum
    Parallel Rewriting Systems on terms. [Citation Graph (0, 0)][DBLP]
    ICALP, 1974, pp:495-510 [Conf]
  27. Karel Culik II, Arto Salomaa
    Ambiguity and Decision Problems Concerning Number Systems. [Citation Graph (0, 0)][DBLP]
    ICALP, 1983, pp:137-146 [Conf]
  28. Karel Culik II, Sheng Yu
    Translation of Systolic Algorithms between Systems of Different Topology. [Citation Graph (0, 0)][DBLP]
    ICPP, 1985, pp:756-763 [Conf]
  29. Karel Culik II, Simant Dube
    Methods for Generating Deterministic Fractals and Image Compression. [Citation Graph (0, 0)][DBLP]
    IMYCS, 1990, pp:2-28 [Conf]
  30. Karel Culik II, Simant Dube
    Affine Automata: A Technique to Generate Complex Images. [Citation Graph (0, 0)][DBLP]
    MFCS, 1990, pp:224-231 [Conf]
  31. Karel Culik II, Juhani Karhumäki
    Interactive L Systems with Almost Interactionless Behaviour. [Citation Graph (0, 0)][DBLP]
    MFCS, 1979, pp:246-257 [Conf]
  32. Karel Culik II, Juhani Karhumäki
    The Equivalence of Finite Valued Transducers (on HDTOL Languages) is Decidable. [Citation Graph (0, 0)][DBLP]
    MFCS, 1986, pp:264-272 [Conf]
  33. Karel Culik II, Jarkko Kari
    Image Compression Using Weighted Finite Automata. [Citation Graph (0, 0)][DBLP]
    MFCS, 1993, pp:392-402 [Conf]
  34. Karel Culik II, Jan K. Pachl
    Folding and Unrolling Systolic Arrays (Preliminary Version). [Citation Graph (0, 0)][DBLP]
    PODC, 1982, pp:254-261 [Conf]
  35. Christian Choffrut, Karel Culik II
    On Extendibility of Unavoidable Sets. [Citation Graph (0, 0)][DBLP]
    STACS, 1984, pp:326-338 [Conf]
  36. Karel Culik II, Simant Dube
    Efficient Compression of Wavelet Coefficients for Smooth and Fractal-like Data. [Citation Graph (0, 0)][DBLP]
    STACS, 1993, pp:343-353 [Conf]
  37. Karel Culik II, Juhani Karhumäki
    On the Equivalence Problem for Deterministic Multitape Automata and Transducers. [Citation Graph (0, 0)][DBLP]
    STACS, 1989, pp:468-479 [Conf]
  38. Karel Culik II, Juhani Karhumäki
    Iterative Devices Generating Infinite Words. [Citation Graph (0, 0)][DBLP]
    STACS, 1992, pp:531-543 [Conf]
  39. Karel Culik II, Jarkko Kari
    An Aperiodic Set of Wang Cubes. [Citation Graph (0, 0)][DBLP]
    STACS, 1996, pp:137-146 [Conf]
  40. Karel Culik II, Tero Harju
    The omega-Sequence Equivalence Problem for DOL Systems Is Decidable [Citation Graph (0, 0)][DBLP]
    STOC, 1981, pp:1-6 [Conf]
  41. Cezar Câmpeanu, Karel Culik II, Kai Salomaa, Sheng Yu
    State Complexity of Basic Operations on Finite Languages. [Citation Graph (0, 0)][DBLP]
    WIA, 1999, pp:60-70 [Conf]
  42. Christian Choffrut, Karel Culik II
    On Real-Time Cellular Automata and Trellis Automata. [Citation Graph (0, 0)][DBLP]
    Acta Inf., 1984, v:21, n:, pp:393-407 [Journal]
  43. Karel Culik II
    The Ultimate Equivalence Problem for DOL Systems. [Citation Graph (0, 0)][DBLP]
    Acta Inf., 1978, v:10, n:, pp:79-84 [Journal]
  44. Karel Culik II, Simant Dube
    L-Systems and Mutually Resurcive Function Systems. [Citation Graph (0, 0)][DBLP]
    Acta Inf., 1993, v:30, n:3, pp:279-302 [Journal]
  45. Karel Culik II, Simant Dube
    Implementing Daubechies Wavelet Transform with Weighted Finite Automata. [Citation Graph (0, 0)][DBLP]
    Acta Inf., 1997, v:34, n:5, pp:347-366 [Journal]
  46. Karel Culik II, Jozef Gruska, Arto Salomaa
    Systolic Automata for VLSI on Balanced Trees. [Citation Graph (0, 0)][DBLP]
    Acta Inf., 1982, v:18, n:, pp:335-344 [Journal]
  47. Karel Culik II, Juhani Karhumäki
    Synchronizable Deterministic Pushdown Automata and the Decidability of their Equivalence. [Citation Graph (0, 0)][DBLP]
    Acta Inf., 1986, v:23, n:5, pp:597-605 [Journal]
  48. Karel Culik II, Juhani Karhumäki
    HDTOL Matching of Computations of Multitape Automata. [Citation Graph (0, 0)][DBLP]
    Acta Inf., 1989, v:27, n:2, pp:179-191 [Journal]
  49. Karel Culik II, Jarkko Kari
    On the Power of L-Systems in Image Generation. [Citation Graph (0, 0)][DBLP]
    Acta Inf., 1994, v:31, n:8, pp:761-773 [Journal]
  50. Karel Culik II, Jarkko Kari
    Computational Fractal Geometry with WFA. [Citation Graph (0, 0)][DBLP]
    Acta Inf., 1997, v:34, n:2, pp:151-166 [Journal]
  51. Karel Culik II, Peter Rajcáni
    Iterative Weighted Finite Transductions [Citation Graph (0, 0)][DBLP]
    Acta Inf., 1995, v:32, n:7, pp:681-703 [Journal]
  52. Karel Culik II, Simant Dube
    Balancing order and chaos in image generation. [Citation Graph (0, 0)][DBLP]
    Computers & Graphics, 1993, v:17, n:4, pp:465-486 [Journal]
  53. Karel Culik II, Jarkko Kari
    Image compression using weighted finite automata. [Citation Graph (0, 0)][DBLP]
    Computers & Graphics, 1993, v:17, n:3, pp:305-313 [Journal]
  54. Karel Culik II, Jarkko Kari
    Finite state transformation of images. [Citation Graph (0, 0)][DBLP]
    Computers & Graphics, 1996, v:20, n:1, pp:125-135 [Journal]
  55. Karel Culik II, Vladimir Valenta
    Finite automata based compression of bi-level and simple color images. [Citation Graph (0, 0)][DBLP]
    Computers & Graphics, 1997, v:21, n:1, pp:61-68 [Journal]
  56. Karel Culik II, Simant Dube
    Rational and Affine Expressions for Image Description. [Citation Graph (0, 0)][DBLP]
    Discrete Applied Mathematics, 1993, v:41, n:2, pp:85-120 [Journal]
  57. Karel Culik II, Ivan Fris
    Weighted Finite Transducers in Image Processing. [Citation Graph (0, 0)][DBLP]
    Discrete Applied Mathematics, 1995, v:58, n:3, pp:223-237 [Journal]
  58. Karel Culik II, Juhani Karhumäki
    Decision problems solved with the help of the Ehrenfeucht conjecture. [Citation Graph (0, 0)][DBLP]
    Bulletin of the EATCS, 1985, v:27, n:, pp:30-34 [Journal]
  59. J. Albert, Karel Culik II
    Test Sets for Homomorphism Equivalence on Context Free Languages [Citation Graph (0, 0)][DBLP]
    Information and Control, 1980, v:45, n:3, pp:273-284 [Journal]
  60. J. Albert, Karel Culik II, Juhani Karhumäki
    Test Sets for Context Free Languages and Algebraic Systems of Equations over a Free Monoid [Citation Graph (0, 0)][DBLP]
    Information and Control, 1982, v:52, n:2, pp:172-186 [Journal]
  61. Karel Culik II, Ivan Fris
    The Decidability of the Equivalence Problem for DOL-Systems [Citation Graph (0, 0)][DBLP]
    Information and Control, 1977, v:35, n:1, pp:20-39 [Journal]
  62. Karel Culik II, Jozef Gruska, Arto Salomaa
    Systolic Trellis Automata: Stability, Decidability and Complexity [Citation Graph (0, 0)][DBLP]
    Information and Control, 1986, v:71, n:3, pp:218-230 [Journal]
  63. Karel Culik II, Juhani Karhumäki
    Interactive L Systems with Almost Interactionless Behaviour [Citation Graph (0, 0)][DBLP]
    Information and Control, 1979, v:43, n:1, pp:83-100 [Journal]
  64. Karel Culik II, Hermann A. Maurer
    Propagating Chain-Free Normal Forms for EOL Systems [Citation Graph (0, 0)][DBLP]
    Information and Control, 1978, v:36, n:3, pp:309-319 [Journal]
  65. Karel Culik II, Jan K. Pachl
    Equivalence Problems for Mappings on Infinite Strings [Citation Graph (0, 0)][DBLP]
    Information and Control, 1981, v:49, n:1, pp:52-63 [Journal]
  66. Karel Culik II, Arto Salomaa
    Ambiguity and Decision Problems Concerning Number Systems [Citation Graph (0, 0)][DBLP]
    Information and Control, 1983, v:56, n:3, pp:139-153 [Journal]
  67. Karel Culik II, Derick Wood
    A Mathematical Investigation of Propagating Graph 0L Systems [Citation Graph (0, 0)][DBLP]
    Information and Control, 1979, v:43, n:1, pp:50-82 [Journal]
  68. Karel Culik II, Derick Wood
    A Note on Recurrent Words [Citation Graph (0, 0)][DBLP]
    Information and Control, 1981, v:51, n:1, pp:88-93 [Journal]
  69. Karel Culik II, Juhani Karhumäki
    Iterative Devices Generating Infinite Words. [Citation Graph (0, 0)][DBLP]
    Int. J. Found. Comput. Sci., 1994, v:5, n:1, pp:69-97 [Journal]
  70. Karel Culik II, Juhani Karhumäki, Jarkko Kari
    A Note on Synchronized Automata and Road Coloring Problem. [Citation Graph (0, 0)][DBLP]
    Int. J. Found. Comput. Sci., 2002, v:13, n:3, pp:459-471 [Journal]
  71. Christian Choffrut, Karel Culik II
    Folding of the Plane and the Design of Systolic Arrays. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 1983, v:17, n:3, pp:149-153 [Journal]
  72. Karel Culik II
    The Decidability of v-Local Catenativity and of Other Properties of D0L Systems. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 1978, v:7, n:1, pp:33-35 [Journal]
  73. Karel Culik II
    Some Decidability Results About Regular and Pushdown Translations. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 1979, v:8, n:1, pp:5-8 [Journal]
  74. Karel Culik II
    Variations of the Firing Squad Problem and Applications. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 1989, v:30, n:3, pp:153-157 [Journal]
  75. Karel Culik II, Juhani Karhumäki
    On Totalistic Systolic Networks. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 1988, v:26, n:5, pp:231-236 [Journal]
  76. Karel Culik II, Jarkko Kari
    Parametrized Recurrent Systems for Image Generation. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 1993, v:48, n:6, pp:267-274 [Journal]
  77. Karel Culik II, Hermann A. Maurer
    Secure Information Storage and Retrieval Using New Results in Cryptography. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 1979, v:8, n:4, pp:181-186 [Journal]
  78. Karel Culik II, Derick Wood
    A Note on Some Tree Similarity Measures. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 1982, v:15, n:1, pp:39-42 [Journal]
  79. Karel Culik II, Jarkko Kari
    Image-Data Compression Using Edge-Optimizing Algorithm for WFA Inference. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Manage., 1994, v:30, n:6, pp:829-838 [Journal]
  80. Karel Culik II, Derick Wood
    Speed-varying OL systems. [Citation Graph (0, 0)][DBLP]
    Inf. Sci., 1978, v:14, n:2, pp:161-170 [Journal]
  81. Walter Bucher, Karel Culik II
    On Real Time and Linear Time Cellular Automata. [Citation Graph (0, 0)][DBLP]
    ITA, 1984, v:18, n:4, pp:307-325 [Journal]
  82. Karel Culik II, Juhani Karhumäki
    On the Equality Sets for Homomorphisms on Free Monoids with Two Generators. [Citation Graph (0, 0)][DBLP]
    ITA, 1980, v:14, n:4, pp:349-369 [Journal]
  83. Karel Culik II, Juhani Karhumäki
    On the Ehrenfeucht Conjecture for DOL Languages. [Citation Graph (0, 0)][DBLP]
    ITA, 1983, v:17, n:3, pp:205-230 [Journal]
  84. Karel Culik II, Juhani Karhumäki
    Loops in automata and HDTOL relations. [Citation Graph (0, 0)][DBLP]
    ITA, 1990, v:24, n:, pp:327-338 [Journal]
  85. Karel Culik II, Hermann A. Maurer
    On simple representations of language families. [Citation Graph (0, 0)][DBLP]
    ITA, 1979, v:13, n:3, pp:- [Journal]
  86. Karel Culik II, Arto Salomaa, Derick Wood
    Systolic Tree Acceptors. [Citation Graph (0, 0)][DBLP]
    ITA, 1984, v:18, n:1, pp:53-69 [Journal]
  87. Karel Culik II
    A Purely Homomorphic Characterization of Recursively Enumerable Sets. [Citation Graph (0, 0)][DBLP]
    J. ACM, 1979, v:26, n:2, pp:345-350 [Journal]
  88. Karel Culik II, Tero Harju
    The omega-Sequence Problem for DOL Systems Is Decidable. [Citation Graph (0, 0)][DBLP]
    J. ACM, 1984, v:31, n:2, pp:282-298 [Journal]
  89. Karel Culik II, Vladimir Valenta
    Generalized Finite Automata and Transducers. [Citation Graph (0, 0)][DBLP]
    Journal of Automata, Languages and Combinatorics, 1997, v:2, n:1, pp:3-18 [Journal]
  90. J. Albert, Karel Culik II
    Tree Correspondence Problems. [Citation Graph (0, 0)][DBLP]
    J. Comput. Syst. Sci., 1982, v:24, n:2, pp:167-179 [Journal]
  91. Janusz A. Brzozowski, Karel Culik II, Armen Gabrielian
    Classification of Noncounting Events. [Citation Graph (0, 0)][DBLP]
    J. Comput. Syst. Sci., 1971, v:5, n:1, pp:41-53 [Journal]
  92. Karel Culik II
    Abstract Families of Relations. [Citation Graph (0, 0)][DBLP]
    J. Comput. Syst. Sci., 1971, v:5, n:6, pp:596-606 [Journal]
  93. Karel Culik II, Rina S. Cohen
    LR-Regular Grammars - an Extension of LR(k) Grammars. [Citation Graph (0, 0)][DBLP]
    J. Comput. Syst. Sci., 1973, v:7, n:1, pp:66-96 [Journal]
  94. Karel Culik II, Arto Salomaa
    On the Decidability of Homomorphism Equivalence for Languages. [Citation Graph (0, 0)][DBLP]
    J. Comput. Syst. Sci., 1978, v:17, n:2, pp:163-175 [Journal]
  95. Karel Culik II, Arto Salomaa
    Test Sets and Checking Words for Homomorphism Equivalence. [Citation Graph (0, 0)][DBLP]
    J. Comput. Syst. Sci., 1980, v:20, n:3, pp:379-395 [Journal]
  96. Karel Culik II, Jarkko Kari
    An Aperiodic Set of Wang Cubes. [Citation Graph (0, 0)][DBLP]
    J. UCS, 1995, v:1, n:10, pp:675-686 [Journal]
  97. Karel Culik II, Vladimir Valenta, Jarkko Kari
    Compression of Silhouette-like Images based on WFA. [Citation Graph (0, 0)][DBLP]
    J. UCS, 1997, v:3, n:10, pp:1100-1113 [Journal]
  98. Karel Culik II, P. C. von Rosenberg
    Generalized Weighted Finite Automata Based Image Compression. [Citation Graph (0, 0)][DBLP]
    J. UCS, 1999, v:5, n:4, pp:227-242 [Journal]
  99. Christian Choffrut, Karel Culik II
    Properties of Finite and Pushdown Transducers. [Citation Graph (0, 0)][DBLP]
    SIAM J. Comput., 1983, v:12, n:2, pp:300-315 [Journal]
  100. Karel Culik II, Juhani Karhumäki
    The Equivalence Problem for Single-Valued Two-Way Transducers (on NPDT0L Languages) is Decidable. [Citation Graph (0, 0)][DBLP]
    SIAM J. Comput., 1987, v:16, n:2, pp:221-230 [Journal]
  101. Karel Culik II, Juhani Karhumäki
    Finite Automata Computing Real Functions. [Citation Graph (0, 0)][DBLP]
    SIAM J. Comput., 1994, v:23, n:4, pp:789-814 [Journal]
  102. Karel Culik II, Jan K. Pachl, Sheng Yu
    On the Limit Sets of Cellular Automata. [Citation Graph (0, 0)][DBLP]
    SIAM J. Comput., 1989, v:18, n:4, pp:831-842 [Journal]
  103. Walter Bucher, Hermann A. Maurer, Karel Culik II
    Context-Free Complexity of Finite Languages. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1984, v:28, n:, pp:277-285 [Journal]
  104. Walter Bucher, Hermann A. Maurer, Karel Culik II, Detlef Wotschke
    Concise Description of Finite Languages. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1981, v:14, n:, pp:227-246 [Journal]
  105. Karel Culik II
    On the Decidability of the Sequence Equivalence Problem for D0L-Systems. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1976, v:3, n:1, pp:75-84 [Journal]
  106. Karel Culik II
    New Techniques for Proving the Decidability of Equivalence Problems. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1990, v:71, n:1, pp:29-45 [Journal]
  107. Karel Culik II, Simant Dube
    An Efficient Solution of the Firing Mob Problem. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1991, v:91, n:1, pp:57-69 [Journal]
  108. Karel Culik II, Ivan Fris
    Topological Transformations as a Tool in the Design of Systolic Networks. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1985, v:37, n:, pp:183-216 [Journal]
  109. Karel Culik II, Jozef Gruska, Arto Salomaa
    On a Family of L Languages Resulting from Systolic Tree Automata. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1983, v:23, n:, pp:231-242 [Journal]
  110. Karel Culik II, Tero Harju
    Dominoes Over a Free Monoid. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1982, v:18, n:, pp:279-300 [Journal]
  111. Karel Culik II, Juhani Karhumäki
    The Equivalence of Finite Valued Transducers (On HDT0L Languages) is Decidable. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1986, v:47, n:3, pp:71-84 [Journal]
  112. Karel Culik II, Hermann A. Maurer, Thomas Ottmann
    On Two-Symbol Complete E0L Forms. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1978, v:6, n:, pp:69-92 [Journal]
  113. Karel Culik II, Hermann A. Maurer, Thomas Ottmann, Keijo Ruohonen, Arto Salomaa
    Isomorphism, Form Equivalence and Sequence Equivalence of PD0L Forms. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1978, v:6, n:, pp:143-173 [Journal]
  114. Karel Culik II, Arto Salomaa
    On Infinite Words Obtained by Iterating Morphisms. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1982, v:19, n:, pp:29-38 [Journal]
  115. Karel Culik II, Sheng Yu
    Iterative Tree Automata. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1984, v:32, n:, pp:227-247 [Journal]
  116. Karel Culik II, Sheng Yu
    Real-Time, Pseudo Real-Time, and Linear-Time ITA. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1986, v:47, n:3, pp:15-26 [Journal]
  117. Karel Culik II, Juhani Karhumäki
    Systems of equations over a free monoid and Ehrenfeucht's conjecture. [Citation Graph (0, 0)][DBLP]
    Discrete Mathematics, 1983, v:43, n:2-3, pp:139-153 [Journal]

  118. Splicing semigroups of dominoes and DNA. [Citation Graph (, )][DBLP]


  119. Cellular automata, omegaomega-regular sets, and sofic systems. [Citation Graph (, )][DBLP]


Search in 0.008secs, Finished in 0.013secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002