| Type | Title | Author | Publisher | Year |
| Article | Formalni manipulace s omezenymi prostredky | Kopriva, J. | | 1975 |
| Article | Analyza struktury programu | Ochranova, R. | | 1987 |
| Article | Context-sensitive translations | Kopriva, J. | | 1975 |
| Article | Matematicky nastroj pro analyzu PWM signalu, jeho uziti ve stridavych pohonech | Patocka, M. | | 1999 |
| Article | Die gute und Zerlegungsubersetzung der formalen Sprachen und die endliche Semantik | Kopriva, J. | | 1975 |
| Article | Context pattern grammars: a unifying approach to generalized phrase structure grammars | Dieterich, E.-W. | | 1978 |
| Article | System TELMA | Kopriva, J. | | |
| Article | Rostocker mathemathisches kolloquium 59 | | | 2005 |
| Article | Decomposition translations and pushdown assembler | Kopriva, J. | | 1971 |
| Article | On generalized words of Thue-Morse | Cerny, A. | | 1986 |
| Article | The solvability of machine mappings of regular sets to regular sets | Ginsburg, S., Hibbard, T.N. | | 1962 |
| Article | Reversibility of 2D cellular automata is undecidable | Kari, J. | | 1990 |
| Article | L-Fuzzy Grammars | Kim, H.H., Mizumoto, M., Toyoda, J. | | 1975 |
| Article | Constraints---a language for expressing almost-hierarchical descriptions | Susmann, G.J., Steele, G.L.Jr. | | 1980 |
| Article | The theory of left factored languages: Part 2 | Wood, D. | | 1970 |
| Article | Hypergraph languages of bounded degree | Engelfriet, J., Heyker, L. | | 1994 |
| Article | Context-free text grammars | Ehrenfeucht, A., ten Pas, P., Rozenberg, G. | | 1994 |
| Article | Fixed Languages and the Adult Languages of 0L Schemes | Head, T. | | 1981 |
| Article | Vyuziti LISPu k prekladani formalnich jazyku na pocitaci | Kopriva, J. | | |
| Article | Handle-rewriting hypergraph grammars | Courcelle, B., Engelfriet, J., Rozenberg, G. | | 1993 |
| Article | Compilation der ausdrucke im formelverarbeitungssystem TELISYM | Kopriva, J. | | 1978 |
| Article | Context-free and Stationary Languages | Thierrin, G. | | 1979 |
| Article | Towards verifying distributed systems using object-oriented petri nets | Ceska, M., Janousek, V., Vojnar, T. | | |
| Article | On the size of context-free grammars | Gruska, J. | | 1972 |
| Article | The control of discrete event systems | Ramadge, P.J.G., Wonham, W.M. | | 1989 |
| 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 |
