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