dblp.uni-trier.dewww.uni-trier.de

Karel Culik II Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
Home Page

*2004
119EEKarel Culik II, Juhani Karhumäki, Petri Salmela: Fixed Point Approach to Commutation of Languages. Aspects of Molecular Computing 2004: 119-131
2002
118EEKarel 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
117EEKarel 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
115EECezar Câmpeanu, Karel Culik II, Kai Salomaa, Sheng Yu: State Complexity of Basic Operations on Finite Languages. WIA 1999: 60-70
114EEKarel Culik II, P. C. von Rosenberg: Generalized Weighted Finite Automata Based Image Compression. J. UCS 5(4): 227-242 (1999)
1997
113EEKarel 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)
110EEKarel Culik II, Vladimir Valenta: Finite automata based compression of bi-level and simple color images. Computers & Graphics 21(1): 61-68 (1997)
109EEKarel 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
106EEKarel Culik II, Jarkko Kari: An Aperiodic Set of Wang Cubes. STACS 1996: 137-146
105EEKarel 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
103EEKarel 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)
101EEKarel Culik II, Ivan Fris: Weighted Finite Transducers in Image Processing. Discrete Applied Mathematics 58(3): 223-237 (1995)
100EEKarel 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
92EEKarel Culik II, Jarkko Kari: Image Compression Using Weighted Finite Automata. MFCS 1993: 392-402
91EEKarel 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)
89EEKarel Culik II, Jarkko Kari: Image compression using weighted finite automata. Computers & Graphics 17(3): 305-313 (1993)
88EEKarel Culik II, Simant Dube: Balancing order and chaos in image generation. Computers & Graphics 17(4): 465-486 (1993)
87EEKarel 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
85EEKarel Culik II, Juhani Karhumäki: Iterative Devices Generating Infinite Words. STACS 1992: 531-543
1991
84EEKarel 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
82EEKarel Culik II, Tero Harju: Splicing semigroups of dominoes and DNA. Discrete Applied Mathematics 31(3): 261-277 (1991)
81EEKarel 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
79EEKarel Culik II, Simant Dube: Automata-Theoretic Techniques for Image Generation and Compression. FSTTCS 1990: 76-90
78EEKarel Culik II, Simant Dube: Methods for Generating Deterministic Fractals and Image Compression. IMYCS 1990: 2-28
77EEKarel 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
74EEKarel Culik II, Tero Harju: Dominoes and the Regularity of DNS Splicing Languages. ICALP 1989: 222-233
73EEKarel 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
69EEKarel 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
67EEKarel 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
65EEKarel 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
57EEChristian 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)
53EEKarel 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
49EEKarel Culik II, Arto Salomaa: Ambiguity and Decision Problems Concerning Number Systems. ICALP 1983: 137-146
48EEKarel 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
42EEKarel 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
33EEKarel 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
29EEJ. 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
25EEKarel Culik II: On the Homomorphic Characterizations of Families of Languages. ICALP 1979: 161-170
24EEKarel 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)
18EEKarel 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)
15EEKarel 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
10EEKarel 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
7EEKarel 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)

Coauthor Index

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

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)