×

zbMATH — the first resource for mathematics

Culik, Karel II

Compute Distance To:
Author ID: culik.karel-ii Recent zbMATH articles by "Culik, Karel II"
Published as: Culik, K.; Culik, K. II; Culik, K. II.; Culik, Karel; Culik, Karel II; Culik, Karel II.; Čul’ık, Karel; Čulik, Karel; Čulik, Karel II; Čulik, Karel II.; Čulík, Karel
External Links: MGP · Wikidata · dblp
Documents Indexed: 217 Publications since 1956, including 2 Books
Biographic References: 1 Publication

Publications by Year

Citations contained in zbMATH

142 Publications have been cited 1,242 times in 784 Documents Cited by Year
On real-time cellular automata and trellis automata. Zbl 0534.68039
Choffrut, C.; Čulik, Karel II
46
1984
The decidability of the equivalence problem for DOL-systems. Zbl 0365.68074
Čulik, Karel II; Fris, I.
41
1977
On the limit sets of cellular automata. Zbl 0691.68060
Culik, Karel II.; Pachl, Jan; Yu, Sheng
38
1989
Undecidability of CA classification schemes. Zbl 0657.68054
Culik, Karel II; Yu, Sheng
37
1988
Splicing semigroups of dominoes and DNA. Zbl 0747.20035
Culik, Karel II; Harju, Tero
35
1991
Systems of equations over a free monoid and Ehrenfeucht’s conjecture. Zbl 0528.68057
Čulik, Karel II; Karhumäki, Juhani
32
1983
A note on some tree similarity measures. Zbl 0489.68058
Culik, Karel II; Wood, Derick
31
1982
On the decidability of homomorphism equivalence for languages. Zbl 0389.68042
Culik, Karel II; Salomaa, Arto
31
1978
LR-regular grammars - an extension of LR(k) grammars. Zbl 0253.68014
Culik, Karel II; Cohen, Rina
30
1973
A purely homomorphic characterization of recursively enumerable sets. Zbl 0395.68076
Čulik, Karel II
29
1979
Systolic trellis automata. I. Zbl 0571.68041
Culik, Karel II; Gruska, Jozef; Salomaa, Arto
26
1984
An aperiodic set of 13 Wang tiles. Zbl 0865.05033
Culik, Karel II
25
1996
Systolic trellis automata. II. Zbl 0571.68042
Culik, Karel II; Gruska, J.; Salomaa, A.
25
1984
State complexity of basic operations on finite languages. Zbl 1050.68091
Câmpeanu, C.; Culik, K.; Salomaa, Kai; Yu, Sheng
24
2001
Finite automata computing real functions. Zbl 0820.68061
Culik, Karel II; Karhumäki, Juhani
22
1994
The topological entropy of cellular automata is uncomputable. Zbl 0770.58017
Hurd, Lyman P.; Kari, Jarkko; Culik, Karel
21
1992
Systolic automata for VLSI on balanced trees. Zbl 0493.68054
Culik, Karel II; Gruska, J.; Salomaa, A.
21
1983
Test sets and checking words for homomorphism equivalence. Zbl 0451.68046
Culik, Karel II; Salomaa, Arto
21
1980
Computation theoretic aspects of cellular automata. Zbl 0729.68052
Culik, K. II; Hurd, L. P.; Yu, S.
20
1990
A simple universal cellular automaton and its one-way and totalistic version. Zbl 0655.68065
Albert, Jürgen; Culik, Karel II
20
1987
Systolic tree acceptors. Zbl 0571.68043
Culik, Karel II; Salomaa, Arto; Wood, Derick
20
1984
Classification of noncounting events. Zbl 0241.94050
Brzozowski, J. A.; Čulik, Karel II; Gabrielian, A.
20
1971
The equivalence of finite valued transducers (on HDT0L languages) is decidable. Zbl 0621.68049
Culik, Karel II; Karhumäki, Juhani
19
1986
Test sets for context free languages and algebraic systems of equations over a free monoid. Zbl 0522.68064
Albert, J.; Čulik, Karel II; Karhumäki, Juhani
19
1982
Variations of the firing squad problem and applications. Zbl 0665.68043
Culik, Karel II
17
1989
On infinite words obtained by iterating morphisms. Zbl 0492.68059
Culik, Karel II; Salomaa, Arto
17
1982
Systolic trellis automata: Stability, decidability and complexity. Zbl 0626.68048
Culik, K. II; Gruska, J.; Salomaa, A.
16
1986
Concise description of finite languages. Zbl 0469.68081
Bucher, W.; Maurer, H. A.; Čulik, Karel II; Wotschke, D.
16
1981
On a family of L languages resulting from systolic tree automata. Zbl 0549.68081
Čulik, Karel II; Gruska, J.; Salomaa, A.
15
1983
Parametrized recurrent systems for image generation. Zbl 0813.68159
Culik, Karel II; Kari, Jarkko
14
1993
Affine automata and related techniques for generation of complex images. Zbl 0779.68062
Culik, Karel II; Dube, Simant
14
1993
On the equality sets for homomorphisms on free monoids with two generators. Zbl 0454.20048
Čulik, Karel II; Karhumäki, Juhani
14
1980
Some decidability results about regular and pushdown translations. Zbl 0397.68083
Čulik, Karel II
14
1979
Rational and affine expressions for image description. Zbl 0784.68058
Culik, Karel II; Dube, Simant
13
1993
The \(\omega\)-sequence equivalence problem for D0L systems is decidable. Zbl 0632.68078
Culik, Karel II; Harju, Tero
13
1984
On extendibility of unavoidable sets. Zbl 0629.68080
Choffrut, Christian; Culik, Karel II
12
1984
On real time and linear time cellular automata. Zbl 0547.68050
Bucher, W.; Čulik, Karel II
12
1984
On some families of languages related to developmental systems. Zbl 0294.68025
Culik, Karel II
12
1974
Topological transformations as a tool in the design of systolic networks. Zbl 0584.68068
Culik, Karel II; Friš, Ivan
11
1985
Iterative tree automata. Zbl 0544.68055
Culik, Karel II; Yu, Sheng
11
1984
Properties of finite and pushdown transducers. Zbl 0512.68065
Choffrut, Christian; Culik, Karel II
11
1983
A homomorphic characterization of regular languages. Zbl 0481.68069
Culik, Karel II; Fich, Faith E.; Salomaa, Arto
11
1982
On simple representations of language families. Zbl 0432.68052
Culik, Karel II; Maurer, H. A.
11
1979
Two way finite state generators. Zbl 0528.68059
Culik, Karel II; Welzl, Emmerich
10
1983
On two-symbol complete EOL forms. Zbl 0369.68046
Čulik, Karel II; Maurer, H. A.; Ottmann, Th.
10
1978
Tree controlled grammars. Zbl 0363.68108
Čulik, Karel II.; Maurer, H. A.
10
1977
Zur Theorie der Graphen. Zbl 0083.02401
Čulik, Karel
10
1958
An aperiodic set of Wang cubes. Zbl 0960.68623
Culik, Karel II; Kari, Jarkko
9
1995
Dense multiway trees. Zbl 0462.68035
Čulik, Karel II; Ottmann, Th.; Wood, D.
9
1981
The ultimate equivalence problem for DOL systems. Zbl 0385.68060
Culik, Karel II
9
1978
On invertible cellular automata. Zbl 0657.68053
Culik, Karel II
8
1987
On the decidability of the sequence equivalence problem for DOL-systems. Zbl 0352.68103
Čulik, Karel II
8
1977
\(L\)-systems and mutually recursive function systems. Zbl 0790.68056
Culik, Karel II; Dube, Simant
7
1993
The equivalence problem for single-valued two-way transducers (on NPDT0L languages) is decidable. Zbl 0632.68077
Culik, Karel II; Karhumäki, Juhani
7
1987
Context-free complexity of finite languages. Zbl 0536.68065
Bucher, W.; Maurer, H. A.; Culik, Karel II
7
1984
Ambiguity and decision problems concerning number systems. Zbl 0541.03006
Culik, Karel II; Salomaa, Arto
7
1983
Equivalence problems for mappings on infinite strings. Zbl 0472.68045
Culik, Karel II; Pachl, Jan K.
7
1981
A note on synchronized automata and road coloring problem. Zbl 1073.68665
Culik, Karel II; Karhumäki, Juhani; Kari, Jarkko
6
2002
Iterative devices generating infinite worlds. Zbl 0900.68337
Culik, Karel II; Karhumäki, Juhani
6
1994
Parallel graph generating and graph recurrence systems for multicellular development. Zbl 0332.68054
Culik, Karel II; Lindenmayer, Aristid
6
1976
Semantics and translation of grammars and ALGOL-like languages. Zbl 0161.13904
Čulik, Karel
6
1965
A note on synchronized automata and road coloring problem. Zbl 1066.68065
Culik, Karel II; Karhumäki, Juhani; Kari, Jarkko
5
2002
Balancing order and chaos in image generation. Zbl 0769.68120
Culik, Karel II.; Dube, Simant
5
1991
Cellular automata, \(\omega{} \omega\)-regular sets, and sofic systems. Zbl 0743.68085
Culik, Karel II.; Yu, Sheng
5
1991
Programmable finite automata for VLSI. Zbl 0528.68035
Čulik, Karel II; Jürgensen, H.
5
1983
A homomorphic characterization of time and space complexity classes of languages. Zbl 0444.68035
Culik, Karel II; Diamond, N. D.
5
1980
Doubly deterministic tabled OL systems. Zbl 0426.68073
Čulik, Karel II; Wood, D.
5
1979
Isomorphism, form equivalence and sequence equivalence of PDOL forms. Zbl 0368.68072
Čulik, Karel II; Maurer, H. A.; Ottmann, Th.; Ruohonen, K.; Salomaa, A.
5
1978
Propagating chain-free normal forms for EOL systems. Zbl 0368.68071
Čulik, Karel II; Maurer, H. A.
5
1978
On some transformations in context-free grammars and languages. Zbl 0204.02103
Čulik, Karel
5
1967
Weighted finite transducers in image processing. Zbl 0818.68145
Culik, Karel II; Friš, Ivan
4
1995
Encoding images as words and languages. Zbl 0777.68056
Culik, Karel II; Dube, Simant
4
1993
Formal languages and global cellular automaton behavior. Zbl 0729.68053
Culik, K. II; Hurd, L. P.; Yu, S.
4
1990
Fractal and recurrent behavior of cellular automata. Zbl 0732.68079
Culik, Karel II; Dube, Simant
4
1989
HDTOL matching of computations of multitape automata. Zbl 0689.68103
Culik, Karel II; Karhumäki, Juhani
4
1989
On totalistic systolic networks. Zbl 0654.68058
Culik, Karel II; Karhumäki, Juhani
4
1988
Iterative tree arrays with logarithmic depth. Zbl 0655.68056
Culik, Karel II; Yu, Sheng; Ibarra, Oscar H.
4
1986
Synchronizable deterministic pushdown automata and the decidability of their equivalence. Zbl 0617.68075
Culik, Karel II; Karhumäki, Juhani
4
1986
On the Ehrenfeucht conjecture for DOL languages. Zbl 0544.68050
Culik, Karel II; Karhumäki, Juhani
4
1983
A mathematical investigation of propagating graph OL systems. Zbl 0415.68039
Culik, Karel II; Wood, Derick
4
1979
A model for the formal definition of programming languages. Zbl 0273.68052
Culik, Karel II
4
1973
Some notes on finite state languages and events represented by finite automata using labelled graphs. Zbl 0143.25603
Čulik, Karel
4
1961
Teilweise Lösung eines verallgemeinerten Problems von K. Zarankiewicz. Zbl 0071.01205
Čulik, Karel
4
1956
On aperiodic sets of Wang tiles. Zbl 0883.05035
Culik, Karel; Kari, Jarkko
3
1997
New techniques for proving the decidability of equivalence problems. Zbl 0662.68079
Culik, Karel II
3
1988
The decidability of the DT0L sequence equivalence problem and related decision problems. Zbl 0641.68117
Culik, Karel II; Karhumäki, Juhani
3
1987
Ambiguity and decision problems concerning number systems. Zbl 0582.10004
Culik, Karel II; Salomaa, Arto
3
1983
Homomorphism equivalence on ETOL languages. Zbl 0401.68049
Culik, Karel II; Richier, J. L.
3
1979
Combinatorial problems in the theory of complexity of algorithmic nets without cycles for simple computers. Zbl 0231.68022
Čulík, Karel
3
1971
Abstract families of relations. Zbl 0226.68033
Čulik, Karel II
3
1971
On multiple finite automata. Zbl 0174.03304
Čulik, Karel; Havel, I.
3
1967
Computational fractal geometry with WFA. Zbl 0877.68120
Culik, Karel II; Kari, Jarkko
2
1997
An aperiodic set of Wang cubes. Zbl 1379.68120
Culik, Karel II; Kari, Jarkko
2
1996
On the power of L-systems in image generation. Zbl 0820.68123
Culik, Karel II; Kari, Jarkko
2
1994
Automata-theoretic techniques for image generation and compression. Zbl 0733.68098
Culik, Karel II; Dube, Simant
2
1990
Affine automata: A technique to generate complex images. Zbl 0729.68083
Culik, Karel II.; Dube, Simant
2
1990
Loops in automata and HDTOL relations. Zbl 0701.68079
Culik, Karel II; Karhumäki, Juhani
2
1990
New techniques for proving the decidability of equivalence problem. Zbl 0699.68092
Culik, Karel II
2
1990
Methods for generating deterministic fractals and image compression. Zbl 0735.68093
Culik, Karel II; Dube, Simant
2
1990
Dominoes and the regularity of DNA splicing languages. Zbl 0686.68059
Culik, Karel II; Harju, Tero
2
1989
Fixed point approach to commutation of languages. Zbl 1200.68136
Culik, Karel II; Karhumäki, Juhani; Salmela, Petri
1
2004
A note on synchronized automata and road coloring problem. Zbl 1073.68665
Culik, Karel II; Karhumäki, Juhani; Kari, Jarkko
6
2002
A note on synchronized automata and road coloring problem. Zbl 1066.68065
Culik, Karel II; Karhumäki, Juhani; Kari, Jarkko
5
2002
State complexity of basic operations on finite languages. Zbl 1050.68091
Câmpeanu, C.; Culik, K.; Salomaa, Kai; Yu, Sheng
24
2001
On aperiodic sets of Wang tiles. Zbl 0883.05035
Culik, Karel; Kari, Jarkko
3
1997
Computational fractal geometry with WFA. Zbl 0877.68120
Culik, Karel II; Kari, Jarkko
2
1997
Generalized finite automata and transducers. Zbl 0881.68077
Culik, Karel II; Valenta, Vladimir
1
1997
An aperiodic set of 13 Wang tiles. Zbl 0865.05033
Culik, Karel II
25
1996
An aperiodic set of Wang cubes. Zbl 1379.68120
Culik, Karel II; Kari, Jarkko
2
1996
An aperiodic set of Wang cubes. Zbl 0942.68595
Culik, Karel II
1
1996
An aperiodic set of Wang cubes. Zbl 0960.68623
Culik, Karel II; Kari, Jarkko
9
1995
Weighted finite transducers in image processing. Zbl 0818.68145
Culik, Karel II; Friš, Ivan
4
1995
Finite state transformations of images. Zbl 1412.68125
Culik, Karel; Kari, Jarkko
1
1995
Iterative weighted finite transductions. Zbl 0831.68119
Culik, Karel II; Rajčáni, Peter
1
1995
Finite automata computing real functions. Zbl 0820.68061
Culik, Karel II; Karhumäki, Juhani
22
1994
Iterative devices generating infinite worlds. Zbl 0900.68337
Culik, Karel II; Karhumäki, Juhani
6
1994
On the power of L-systems in image generation. Zbl 0820.68123
Culik, Karel II; Kari, Jarkko
2
1994
Parametrized recurrent systems for image generation. Zbl 0813.68159
Culik, Karel II; Kari, Jarkko
14
1993
Affine automata and related techniques for generation of complex images. Zbl 0779.68062
Culik, Karel II; Dube, Simant
14
1993
Rational and affine expressions for image description. Zbl 0784.68058
Culik, Karel II; Dube, Simant
13
1993
\(L\)-systems and mutually recursive function systems. Zbl 0790.68056
Culik, Karel II; Dube, Simant
7
1993
Encoding images as words and languages. Zbl 0777.68056
Culik, Karel II; Dube, Simant
4
1993
Mechanisms for pattern generation. Zbl 0938.68724
Culik, Karel II; Kari, Jarkko
1
1993
The topological entropy of cellular automata is uncomputable. Zbl 0770.58017
Hurd, Lyman P.; Kari, Jarkko; Culik, Karel
21
1992
Alternating iteration of morphisms and the Kolakovski sequence. Zbl 0766.68073
Culik, K. II.; Karhumäki, J.; Lepistö, A.
1
1992
Splicing semigroups of dominoes and DNA. Zbl 0747.20035
Culik, Karel II; Harju, Tero
35
1991
Balancing order and chaos in image generation. Zbl 0769.68120
Culik, Karel II.; Dube, Simant
5
1991
Cellular automata, \(\omega{} \omega\)-regular sets, and sofic systems. Zbl 0743.68085
Culik, Karel II.; Yu, Sheng
5
1991
Computation theoretic aspects of cellular automata. Zbl 0729.68052
Culik, K. II; Hurd, L. P.; Yu, S.
20
1990
Formal languages and global cellular automaton behavior. Zbl 0729.68053
Culik, K. II; Hurd, L. P.; Yu, S.
4
1990
Automata-theoretic techniques for image generation and compression. Zbl 0733.68098
Culik, Karel II; Dube, Simant
2
1990
Affine automata: A technique to generate complex images. Zbl 0729.68083
Culik, Karel II.; Dube, Simant
2
1990
Loops in automata and HDTOL relations. Zbl 0701.68079
Culik, Karel II; Karhumäki, Juhani
2
1990
New techniques for proving the decidability of equivalence problem. Zbl 0699.68092
Culik, Karel II
2
1990
Methods for generating deterministic fractals and image compression. Zbl 0735.68093
Culik, Karel II; Dube, Simant
2
1990
On the limit sets of cellular automata. Zbl 0691.68060
Culik, Karel II.; Pachl, Jan; Yu, Sheng
38
1989
Variations of the firing squad problem and applications. Zbl 0665.68043
Culik, Karel II
17
1989
Fractal and recurrent behavior of cellular automata. Zbl 0732.68079
Culik, Karel II; Dube, Simant
4
1989
HDTOL matching of computations of multitape automata. Zbl 0689.68103
Culik, Karel II; Karhumäki, Juhani
4
1989
Dominoes and the regularity of DNA splicing languages. Zbl 0686.68059
Culik, Karel II; Harju, Tero
2
1989
Undecidability of CA classification schemes. Zbl 0657.68054
Culik, Karel II; Yu, Sheng
37
1988
On totalistic systolic networks. Zbl 0654.68058
Culik, Karel II; Karhumäki, Juhani
4
1988
New techniques for proving the decidability of equivalence problems. Zbl 0662.68079
Culik, Karel II
3
1988
Systems of equations over a finitely generated free monoid having an effectively findable equivalent finite subsystem. Zbl 0648.68084
Culik, K. II; Karhumäki, J.
1
1988
A simple universal cellular automaton and its one-way and totalistic version. Zbl 0655.68065
Albert, Jürgen; Culik, Karel II
20
1987
On invertible cellular automata. Zbl 0657.68053
Culik, Karel II
8
1987
The equivalence problem for single-valued two-way transducers (on NPDT0L languages) is decidable. Zbl 0632.68077
Culik, Karel II; Karhumäki, Juhani
7
1987
The decidability of the DT0L sequence equivalence problem and related decision problems. Zbl 0641.68117
Culik, Karel II; Karhumäki, Juhani
3
1987
Systolic tree architecture for some standard functions. Zbl 0633.68043
Culik, Karel II; Jürgensen, Helmut; Mak, Kenneth
1
1987
The equivalence of finite valued transducers (on HDT0L languages) is decidable. Zbl 0621.68049
Culik, Karel II; Karhumäki, Juhani
19
1986
Systolic trellis automata: Stability, decidability and complexity. Zbl 0626.68048
Culik, K. II; Gruska, J.; Salomaa, A.
16
1986
Iterative tree arrays with logarithmic depth. Zbl 0655.68056
Culik, Karel II; Yu, Sheng; Ibarra, Oscar H.
4
1986
Synchronizable deterministic pushdown automata and the decidability of their equivalence. Zbl 0617.68075
Culik, Karel II; Karhumäki, Juhani
4
1986
A new proof for the DOL sequence equivalence problem and its implications. Zbl 0586.68066
Čulik, Karel II; Karhumäki, Juhani
2
1986
Real-time, pseudo real-time, and linear-time ITA. Zbl 0619.68050
Culik, Karel II; Yu, Sheng
1
1986
Topological transformations as a tool in the design of systolic networks. Zbl 0584.68068
Culik, Karel II; Friš, Ivan
11
1985
On real-time cellular automata and trellis automata. Zbl 0534.68039
Choffrut, C.; Čulik, Karel II
46
1984
Systolic trellis automata. I. Zbl 0571.68041
Culik, Karel II; Gruska, Jozef; Salomaa, Arto
26
1984
Systolic trellis automata. II. Zbl 0571.68042
Culik, Karel II; Gruska, J.; Salomaa, A.
25
1984
Systolic tree acceptors. Zbl 0571.68043
Culik, Karel II; Salomaa, Arto; Wood, Derick
20
1984
The \(\omega\)-sequence equivalence problem for D0L systems is decidable. Zbl 0632.68078
Culik, Karel II; Harju, Tero
13
1984
On extendibility of unavoidable sets. Zbl 0629.68080
Choffrut, Christian; Culik, Karel II
12
1984
On real time and linear time cellular automata. Zbl 0547.68050
Bucher, W.; Čulik, Karel II
12
1984
Iterative tree automata. Zbl 0544.68055
Culik, Karel II; Yu, Sheng
11
1984
Context-free complexity of finite languages. Zbl 0536.68065
Bucher, W.; Maurer, H. A.; Culik, Karel II
7
1984
Systems of equations over a free monoid and Ehrenfeucht’s conjecture. Zbl 0528.68057
Čulik, Karel II; Karhumäki, Juhani
32
1983
Systolic automata for VLSI on balanced trees. Zbl 0493.68054
Culik, Karel II; Gruska, J.; Salomaa, A.
21
1983
On a family of L languages resulting from systolic tree automata. Zbl 0549.68081
Čulik, Karel II; Gruska, J.; Salomaa, A.
15
1983
Properties of finite and pushdown transducers. Zbl 0512.68065
Choffrut, Christian; Culik, Karel II
11
1983
Two way finite state generators. Zbl 0528.68059
Culik, Karel II; Welzl, Emmerich
10
1983
Ambiguity and decision problems concerning number systems. Zbl 0541.03006
Culik, Karel II; Salomaa, Arto
7
1983
Programmable finite automata for VLSI. Zbl 0528.68035
Čulik, Karel II; Jürgensen, H.
5
1983
On the Ehrenfeucht conjecture for DOL languages. Zbl 0544.68050
Culik, Karel II; Karhumäki, Juhani
4
1983
Ambiguity and decision problems concerning number systems. Zbl 0582.10004
Culik, Karel II; Salomaa, Arto
3
1983
Folding of the plane and the design of systolic arrays. Zbl 0531.68009
Čulik, Karel II; Choffrut, C.
2
1983
Transductions and the parallel generation of languages. Zbl 0503.68057
Culik, Karel II; Head, Tom
1
1983
A note on some tree similarity measures. Zbl 0489.68058
Culik, Karel II; Wood, Derick
31
1982
Test sets for context free languages and algebraic systems of equations over a free monoid. Zbl 0522.68064
Albert, J.; Čulik, Karel II; Karhumäki, Juhani
19
1982
On infinite words obtained by iterating morphisms. Zbl 0492.68059
Culik, Karel II; Salomaa, Arto
17
1982
A homomorphic characterization of regular languages. Zbl 0481.68069
Culik, Karel II; Fich, Faith E.; Salomaa, Arto
11
1982
Dominoes over a free monoid. Zbl 0509.68068
Culik, Karel II; Harju, Tero
1
1982
On test sets and the Ehrenfeucht conjecture. Zbl 0485.68070
Čulik, Karel II; Karhumäki, Juhani
1
1982
Tree correspondence problems. Zbl 0478.68089
Albert, J.; Culik, Karel II
1
1982
Concise description of finite languages. Zbl 0469.68081
Bucher, W.; Maurer, H. A.; Čulik, Karel II; Wotschke, D.
16
1981
Dense multiway trees. Zbl 0462.68035
Čulik, Karel II; Ottmann, Th.; Wood, D.
9
1981
Equivalence problems for mappings on infinite strings. Zbl 0472.68045
Culik, Karel II; Pachl, Jan K.
7
1981
Test sets for context free languages and algebraic systems of equations over a free monoid. Zbl 0477.68082
Albert, J.; Čulik, Karel II; Karhumäki, Juhani
2
1981
Linked forest manipulation systems - a tool for computational semantics. Zbl 0555.68005
Culik, Karel II; Farah, Mansour
1
1981
A note on recurrent words. Zbl 0493.68079
Culik, Karel II; Wood, Derick
1
1981
Test sets and checking words for homomorphism equivalence. Zbl 0451.68046
Culik, Karel II; Salomaa, Arto
21
1980
On the equality sets for homomorphisms on free monoids with two generators. Zbl 0454.20048
Čulik, Karel II; Karhumäki, Juhani
14
1980
A homomorphic characterization of time and space complexity classes of languages. Zbl 0444.68035
Culik, Karel II; Diamond, N. D.
5
1980
Test sets for homomorphism equivalence on context free languages. Zbl 0453.68048
Albert, J.; Čulik, Karel II
2
1980
Test sets for homomorphism equivalence on context free languages. Zbl 0443.68069
Albert, J.; Culik, Karel II
1
1980
A purely homomorphic characterization of recursively enumerable sets. Zbl 0395.68076
Čulik, Karel II
29
1979
Some decidability results about regular and pushdown translations. Zbl 0397.68083
Čulik, Karel II
14
1979
On simple representations of language families. Zbl 0432.68052
Culik, Karel II; Maurer, H. A.
11
1979
Doubly deterministic tabled OL systems. Zbl 0426.68073
Čulik, Karel II; Wood, D.
5
1979
A mathematical investigation of propagating graph OL systems. Zbl 0415.68039
Culik, Karel II; Wood, Derick
4
1979
Homomorphism equivalence on ETOL languages. Zbl 0401.68049
Culik, Karel II; Richier, J. L.
3
1979
...and 42 more Documents
all top 5

Cited by 758 Authors

57 Culik, Karel II
35 Karhumaki, Juhani
35 Salomaa, Arto Kustaa
25 Honkala, Juha
20 Wood, Derick
19 Okhotin, Alexander
19 Yu, Sheng
17 Maurer, Hermann A.
16 Ibarra, Oscar H.
16 Kari, Jarkko
16 Rozenberg, Grzegorz
15 Păun, Gheorghe
14 Salomaa, Kai T.
11 Harju, Tero
10 Gruska, Jozef
9 Margara, Luciano
8 Durand, Bruno
8 Formenti, Enrico
8 Jürgensen, Helmut
8 Krithivasan, Kamala
8 Latteux, Michel
8 Mazoyer, Jacques
8 Napoli, Margherita
8 Terrier, Véronique
7 Dassow, Jürgen
7 Fachini, Emanuela
7 Otto, Friedrich
6 Blanchet-Sadri, Francine
6 Bonizzoni, Paola
6 Cattaneo, Gianpiero
6 Ehrenfeucht, Andrzej
6 Kim, Changwook
6 Kutrib, Martin
6 Mauri, Giancarlo
6 Ottmann, Thomas A.
5 Cleary, Sean
5 Čulik, Karel
5 Dennunzio, Alberto
5 Engelfriet, Joost
5 Jiang, Tao
5 Manzini, Giovanni
5 Maon, Yael
5 Mitrana, Victor
5 Monti, Angelo
5 Nirmal, Nalinakshi
5 Plandowski, Wojciech
5 Siromoney, Rani
5 Staiger, Ludwig
5 Turakainen, Paavo
4 Asveld, Peter R. J.
4 Bermudez, Manuel E.
4 Brzozowski, Janusz Antoni
4 Bucher, Walter
4 Chen, Fangyue
4 Choffrut, Christian
4 Dare, Vincent Rajkumar
4 De Felice, Clelia
4 de Luca, Aldo
4 Dube, Simant
4 Flocchini, Paola
4 Gao, Yuan
4 Han, Yo-Sub
4 Holub, Štěpán
4 Hunt, Harry Bowen III
4 Jin, Weifeng
4 Jirásková, Galina
4 Kari, Lila
4 Luccio, Fabrizio
4 Mateescu, Alexandru
4 Morita, Kenichi
4 Pagli, Linda
4 Restivo, Antonio
4 Ruohonen, Keijo
4 Saarela, Aleksi
4 Sudborough, Ivan Hal
4 Yokomori, Takashi
3 Albert, Michael Henry
3 Czeizler, Elena
3 Day, Joel D.
3 Drewes, Frank
3 Droste, Manfred
3 Fernau, Henning
3 Heilbrunner, Stephan
3 Higgins, Peter Michael
3 Hu, Wen-Guei
3 Imai, Katsunobu
3 Jeandel, Emmanuel
3 Jeż, Artur
3 Kleijn, H. C. M.
3 Kopriva, Jiri
3 Korec, Ivan
3 Kůrka, Petr
3 Lawrence, John A. jun.
3 Lin, Song-Sun
3 Lisovik, Leonid P.
3 Loos, Remco
3 Maass, Alejandro
3 Mahajan, Meena
3 Maneth, Sebastian
3 Marathe, Madhav V.
...and 658 more Authors
all top 5

Cited in 95 Serials

241 Theoretical Computer Science
44 International Journal of Computer Mathematics
41 Information Processing Letters
41 Journal of Computer and System Sciences
33 Discrete Applied Mathematics
28 International Journal of Foundations of Computer Science
27 Acta Informatica
27 Information and Computation
26 RAIRO. Informatique Théorique et Applications
19 Physica D
14 RAIRO. Theoretical Informatics and Applications
13 Kybernetika
12 Theory of Computing Systems
9 RAIRO, Informatique Théorique
8 Discrete Mathematics
8 Semigroup Forum
7 Information Sciences
7 Mathematical Systems Theory
6 Natural Computing
5 International Journal of Computer & Information Sciences
5 International Journal of Algebra and Computation
4 Computing
4 Chaos
3 International Journal of General Systems
3 Aplikace Matematiky
3 Czechoslovak Mathematical Journal
3 Journal of Algebra
3 European Journal of Combinatorics
3 SIAM Journal on Discrete Mathematics
3 Computational Geometry
3 Linear Algebra and its Applications
3 Cybernetics and Systems Analysis
2 Journal of Mathematical Physics
2 Journal of Statistical Physics
2 Mathematical Notes
2 Problems of Information Transmission
2 Chaos, Solitons and Fractals
2 Geometriae Dedicata
2 Journal of Combinatorial Theory. Series A
2 Mathematica Slovaca
2 Proceedings of the American Mathematical Society
2 Ergodic Theory and Dynamical Systems
2 Science of Computer Programming
2 Combinatorica
2 Journal of Classification
2 Discrete & Computational Geometry
2 Aequationes Mathematicae
2 Applicable Algebra in Engineering, Communication and Computing
2 Russian Mathematics
2 Discrete and Continuous Dynamical Systems
2 Journal of Systems Science and Complexity
2 Journal of Discrete Algorithms
1 Advances in Applied Probability
1 Communications in Algebra
1 Computers & Mathematics with Applications
1 Israel Journal of Mathematics
1 Ukrainian Mathematical Journal
1 Bulletin of Mathematical Biology
1 Advances in Mathematics
1 Algebra Universalis
1 Applied Mathematics and Computation
1 Automatica
1 Commentationes Mathematicae Universitatis Carolinae
1 Fuzzy Sets and Systems
1 Inventiones Mathematicae
1 Journal of Applied Probability
1 Journal of Computational and Applied Mathematics
1 Journal of Pure and Applied Algebra
1 Journal of Soviet Mathematics
1 Mathematische Zeitschrift
1 Proceedings of the Edinburgh Mathematical Society. Series II
1 Cybernetics
1 Advances in Applied Mathematics
1 Journal of Theoretical Probability
1 Journal of the American Mathematical Society
1 Neural Computation
1 Japan Journal of Industrial and Applied Mathematics
1 Proceedings of the Indian Academy of Sciences. Mathematical Sciences
1 Journal of Algebraic Combinatorics
1 Formal Methods in System Design
1 Applied Mathematics. Series B (English Edition)
1 Journal of Mathematical Sciences (New York)
1 Annals of Mathematics and Artificial Intelligence
1 Complexity
1 Nonlinear Dynamics
1 Journal of Combinatorial Optimization
1 European Journal of Mechanics. A. Solids
1 Annals of Mathematics. Second Series
1 Interdisciplinary Information Sciences (IIS)
1 ACM Transactions on Computational Logic
1 BIT. Nordisk Tidskrift for Informationsbehandling
1 Matematicko-Fyzikálny Časopis, Slovenskej Akadémie Vied
1 Proceedings of the Steklov Institute of Mathematics
1 RAIRO. Theoretical Informatics and Applications
1 Computer Science Review

Citations by Year

Wikidata Timeline

The data are displayed as stored in Wikidata under a Creative Commons CC0 License. Updates and corrections should be made in Wikidata.