BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Denmark
1 × Germany
1 × Hungary
1 × Italy
1 × USA
2 × Austria
2 × Spain
3 × Finland
Collaborated with:
J.Kari T.Harju S.Dube A.Salomaa J.Albert I.Fris T.S.E.Maibaum J.Karhumäki C.Câmpeanu K.Salomaa S.Yu
Talks about:
problem (5) system (5) languag (4) equival (4) decid (3) imag (3) homomorph (2) sequenc (2) generat (2) state (2)

Person: Karel Culik II

DBLP DBLP: II:Karel_Culik

Contributed to:

DLT 20012001
WIA 19991999
ICALP 19951995
DLT 19931993
ICALP 19911991
ICALP 19891989
ICALP 19881988
ICALP 19831983
ICALP 19821982
STOC 19811981
ICALP 19801980
ICALP 19791979
ICALP 19771977
ICALP 19741974

Wrote 14 papers:

DLT-2001-CulikKK #automaton #problem
A Note on Synchronized Automata and Road Coloring Problem (KCI, JK, JK), pp. 175–185.
WIA-1999-CampeanuCSY #complexity #finite
State Complexity of Basic Operations on Finite Languages (CC, KCI, KS, SY), pp. 60–70.
ICALP-1995-CulikK #finite #image
Finite State Transformations of Images (KCI, JK), pp. 51–62.
DLT-1993-CulikK #generative #image #on the #power of
On the Power of L-Systems in Image Generation (KCI, JK), pp. 225–236.
ICALP-1991-CulikD #generative #image #order
Balancing Order and Chaos in Image Generation (KCI, SD), pp. 600–614.
Dominoes and the Regularity of DNS Splicing Languages (KCI, TH), pp. 222–233.
ICALP-1988-Culik #decidability #equivalence #problem #proving
New Techniques for Proving the Decidability of Equivalence Problems (KCI), pp. 162–175.
ICALP-1983-CulikS #ambiguity #problem
Ambiguity and Decision Problems Concerning Number Systems (KCI, AS), pp. 137–146.
ICALP-1982-Culik #on the #testing
On Test Sets and the Ehrenfeucht Conjecture (KCI), pp. 128–140.
STOC-1981-CulikH #decidability #equivalence #problem
The ω-Sequence Equivalence Problem for DOL Systems Is Decidable (KCI, TH), pp. 1–6.
ICALP-1980-AlbertC #context-free grammar #equivalence #morphism #testing
Test Sets for Homomorphism Equivalence on Context Free Languages (JA, KCI), pp. 12–18.
ICALP-1979-Culik #on the #product line
On the Homomorphic Characterizations of Families of Languages (KCI), pp. 161–170.
ICALP-1977-CulikF #decidability #equivalence #problem #sequence
The Sequence Equivalence Problem for D0L Systems is Decidable (KCI, IF), pp. 148–163.
ICALP-1974-CulikM #parallel #term rewriting
Parallel Rewriting Systems on terms (KCI, TSEM), pp. 495–510.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.