| Type | Title | Author | Publisher | Year |
| Article | Automaty a mozek | Kopriva, J. | | 1964 |
| Article | A note on the structure of certain predicates concerning the sublanguages of Algol 60 | Kopriva, J. | | 1965 |
| Article | Automatizace programovani | Kopriva, J. | | 1965 |
| Article | A Contribution to the Top-to-Bottom Recognizer Rehabilitation | Kopriva, J. | | 1968 |
| Article | Pushdown Automaton with two Stacks as a Parsing Device | Kopriva, J. | | 1968 |
| Article | Realization of Generalized Good Translation Algorithm on Computer | Kopriva, J. | | 1967 |
| Article | Syntakticka analyza textu | Kopriva, J. | | 1966 |
| Article | Generalization of Well-Translation of Formal Languages | Kopriva, J. | | 1966 |
| Article | K problemu iteraci v topologii | Kopriva, J. | | 1957 |
| Article | Metodika programovani a efektivnost vypoctu 1. cast | Kopriva, J. | | 1984 |
| Article | Jazykove promenne v rozhodovacim procesu | Kopriva, J. | | 1985 |
| Article | O jistem systemu topologii v danem prostoru | Kopriva, J. | | 1957 |
| Article | O jednom vztahu Fareyovy rady k Riemannove domnence o nulovych bodech funkce „ksi“ | Kopriva, J. | | 1952 |
| Article | O nekolika novych vztazich ekvivalentnich s Riemannovou domnenkou | Kopriva, J. | | 1956 |
| Article | Uber einige eigenschaften der zerlugungsubersetzung | Kopriva, J. | | 1976 |
| Article | Symbolicke operace s vyrazy na pocitaci MINSK 22 | Kopriva, J., Pinkas, J. | | 1974 |
| Article | Formula manipulation system on minsk-22 computer | Kopriva, J., Pinkas, J. | | 1977 |
| Article | Rekurse | Kopriva, J., Racansky, V. | | 1981 |
| Article | Simple Deterministic Langauges | Korenjak, A.J., Hopcroft, J.E. | | 1966 |
| Article | X-grammars | Kornai, A. | | 1983 |
| Article | On kleene algebras and closed semirings | Kozen, D. | | 1990 |
| Article | A completeness theorem for kleene algebras and the algebra of regular events | Kozen, D. | | 1990 |
| Article | Bottom up versus top down syntax analysis revised. Semitop-down transition diagrams driven syntax analysis. | Kral, J. | | 1974 |
| Article | A modification of a substitution theorem and some necessary and sufficient conditions for sets to be context-free | Kral, J. | | 1970 |
| Article | On multiple grammars | Kral, J. | | 1969 |
| 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 |
