| Type | Title | Author | Publisher | Year |
| Article | Real-time, pseudo real-time, and linear-time ITA | Culik II, K., Yu, S. | | 1986 |
| Article | Translation of systolic algorithms between systems of different topology | Culik II, K., Yu, S. | | 1985 |
| Article | Iterative Tree Arrays with Logarithmic Depth | Culik II, K., Yu, S., Ibarra, O.H. | | 1986 |
| Article | On some families of languages related to developmental systems | Culik Ii, K. | | 1973 |
| Article | LR-regular grammars---an extension of LR(k) grammars | Culik Ii, K., Cohen, R. | | 1973 |
| Article | Tree controlled grammars | Culik Ii, K., Maurer, H.A. | | 1977 |
| Article | Tree controlled grammars | Culik Ii, K., Maurer, H.A. | | 1977 |
| Article | Isomorphism, form equivalence and sequence equivalence of PD0L forms | Culik Ii, K., Maurer, H.A., Ottmann, Th., Ruohonen, K., Salomaa, A. | | 1978 |
| Article | Nektere problemy teorie jazyku | Culik, K. | | |
| Article | Asynchroneous automata | Culik, K. | | 1970 |
| Article | On languages generated by some types of algorithms | Culik, K. | | 1966 |
| Article | Formal structure of ALGOL and simplification of its description | Culik, K. | | 1962 |
| Article | Some Theorems on Labelled Bracketings Used in Transformational Grammars | Culik, K. | | 1968 |
| Article | Some notes on finite state languages and events represented by finite automata using labelled graphs | Culik, K. | | 1961 |
| Article | A note on comparison of Turing machines with computers | Culik, K. | | 1973 |
| Article | On the ordered rooted trees used in theory of languages | Culik, K. | | |
| Article | Axiomatic systém for Phrase Structure Grammars. I | Culik, K. | | 1965 |
| Article | Abstract Families of Relations | Culik, K. | | 1971 |
| Article | Strukturnoe programmirovanie | Dahl, U., Dijkstra, E., Hoare, K. | | 1975 |
| Article | Concerning two-adjacent context-free languages | Dahlhaus, E., Gaifman, H. | | 1985 |
| Article | Applications of program transformation to program synthesis | Darlington, J. | | |
| Article | A systém which automatically improves programs | Darlington, J., Burstall, R.M. | | 1974 |
| Article | Pure languages of regulated rewriting and their codings | Dassow, J. | | 1988 |
| Article | Comparison of some types of regulated rewriting | Dassow, J. | | 1983 |
| Article | Comparison of some types of regulated rewriting | Dassow, J. | | |
| 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 |
