| 2001 | DLT | A Note on Synchronized Automata and Road Coloring Problem. | Karel Culk II, Juhani Karhumki, Jarkko Kari |
| 1996 | DCC | Finite Automata Based Compression of Bi-level Images. | Karel Culk II, Vladimir Valenta |
| 1996 | STACS | An Aperiodic Set of Wang Cubes. | Karel Culk II, Jarkko Kari |
| 1995 | DCC | Finite State Methods for Compression and Manipulation of Images. | Karel Culk II, Jarkko Kari |
| 1995 | ICALP | Finite State Transformations of Images. | Karel Culk II, Jarkko Kari |
| 1993 | DCC | Efficient Compression of Wavelet Coefficients for Smooth and Fractal-like Data. | Karel Culk II, Simant Dube, Peter Rajcni |
| 1993 | DLT | On the Power of L-Systems in Image Generation. | Karel Culk II, Jarkko Kari |
| 1993 | MFCS | Image Compression Using Weighted Finite Automata. | Karel Culk II, Jarkko Kari |
| 1993 | STACS | Efficient Compression of Wavelet Coefficients for Smooth and Fractal-like Data. | Karel Culk II, Simant Dube |
| 1992 | STACS | Iterative Devices Generating Infinite Words. | Karel Culk II, Juhani Karhumki |
| 1991 | ICALP | Balancing Order and Chaos in Image Generation (Extended Abstract). | Karel Culk II, Simant Dube |
| 1990 | MFCS | Affine Automata: A Technique to Generate Complex Images. | Karel Culk II, Simant Dube |
| 1989 | ICALP | Dominoes and the Regularity of DNS Splicing Languages. | Karel Culk II, Tero Harju |
| 1989 | STACS | On the Equivalence Problem for Deterministic Multitape Automata and Transducers. | Karel Culk II, Juhani Karhumki |
| 1988 | ICALP | New Techniques for Proving the Decidability of Equivalence Problems. | Karel Culk II |
| 1986 | MFCS | The Equivalence of Finite Valued Transducers (on HDTOL Languages) is Decidable. | Karel Culk II, Juhani Karhumki |
| 1985 | ICPP | Translation of Systolic Algorithms between Systems of Different Topology. | Karel Culk II, Sheng Yu |
| 1984 | STACS | On Extendibility of Unavoidable Sets. | Christian Choffrut, Karel Culk II |
| 1983 | FCT | Two Way Finite State Generators. | Karel Culk II, Emo Welzl |
| 1983 | ICALP | Ambiguity and Decision Problems Concerning Number Systems. | Karel Culk II, Arto Salomaa |
| 1983 | SIGCSE | Logic versus mathematics in computer science education. | Karel Culk II, Mateen M. Rizki |
| 1982 | ICALP | On Test Sets and the Ehrenfeucht Conjecture. | Karel Culk II |
| 1982 | PODC | Folding and Unrolling Systolic Arrays (Preliminary Version). | Karel Culk II, Jan K. Pachl |
| 1981 | STOC | The omega-Sequence Equivalence Problem for DOL Systems Is Decidable | Karel Culk II, Tero Harju |
| 1980 | ICALP | Test Sets for Homomorphism Equivalence on Context Free Languages. | Jrgen Albert, Karel Culk II |
| 1979 | ICALP | On the Homomorphic Characterizations of Families of Languages. | Karel Culk II |
| 1979 | MFCS | Interactive L Systems with Almost Interactionless Behaviour. | Karel Culk II, Juhani Karhumki |
| 1977 | ICALP | The Sequence Equivalence Problem for D0L Systems is Decidable. | Karel Culk II, Ivan Fris |
| 1974 | ICALP | Parallel Rewriting Systems on terms. | Karel Culk II, T. S. E. Maibaum |
| 1971 | FOCS | LR-Regular Grammars-An Extension of LR(k) Grammars | Rina S. Cohen, Karel Culk II |