Karel Culik II

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

Coauthor Index

1	J. Albert	[28] [30] [38] [39]
2	Janusz A. Brzozowski (John Brzozowski)	[2]
3	Walter Bucher	[31] [53] [55]
4	Cezar Câmpeanu	[116]
5	Christian Choffrut	[45] [47] [57] [58]
6	Rina S. Cohen	[3] [4]
7	Simant Dube	[78] [79] [80] [81] [84] [85] [88] [89] [91] [92] [95] [112]
8	Ivan Fris	[9] [10] [59] [102]
9	Armen Gabrielian	[2]
10	Jozef Gruska	[41] [44] [64]
11	Tero Harju	[35] [37] [54] [75] [83]
12	Juhani Karhumäki	[20] [25] [29] [39] [48] [49] [60] [62] [65] [66] [67] [69] [73] [74] [77] [86] [96] [97] [118] [119] [120]
13	Jarkko Kari	[87] [90] [93] [94] [98] [99] [100] [101] [104] [105] [106] [107] [110] [113] [114] [118] [119]
14	Matti Linna	[68]
15	T. S. E. Maibaum (Thomas Stephen Edward Maibaum)	[7]
16	Hermann A. Maurer	[11] [12] [14] [22] [24] [31] [53]
17	Jaroslav Opatrny	[5]
18	Thomas Ottmann	[11] [12] [34]
19	Jan K. Pachl	[33] [42] [71]
20	Peter Rajcáni	[95] [103]
21	P. C. von Rosenberg	[115]
22	Keijo Ruohonen	[12]
23	Petri Salmela	[120]
24	Arto Salomaa	[12] [13] [27] [36] [41] [44] [46] [50] [56] [64]
25	Kai Salomaa	[116]
26	Vladimir Valenta	[108] [109] [110] [111]
27	Emo Welzl	[51]
28	Derek Wood	[19]
29	Derick Wood	[15] [21] [32] [34] [40] [56]
30	Detlef Wotschke	[31]
31	Sheng Yu	[52] [61] [63] [71] [82] [116]

Colors in the list of coauthors

Last update Tue May 29 20:41:18 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page