| Type | Title | Author | Publisher | Year |
| Article | Decomposition Translations and Syntax Directed Translation Schemata | Kopriva, J. | | 1970 |
| Article | Die gute und Zerlegungsubersetzung der formalen Sprachen und die endliche Semantik | Kopriva, J. | | 1975 |
| Article | Prispevek ke vztahu Fareyovy rady a Riemannovy domnenky | Kopriva, J. | | 1954 |
| Article | Dobre a rozkladove prekladani na pocitaci | Kopriva, J. | | |
| Article | Formalni manipulace s vyrazy na pocitaci minsk 22 | Kopriva, J. | | 1973 |
| Article | Formalni manipulace s omezenymi prostredky | Kopriva, J. | | 1975 |
| Article | The system LISP-MANIP-TESLA and its application | Kopriva, J. | | 1975 |
| Article | Der fixpunktansatz zum beweis gewisser eigenschaften eines maschinenprogramms | Kopriva, J. | | |
| Article | Context-sensitive translations | Kopriva, J. | | 1975 |
| Article | Eine Hierarchie der Ubersetzungen mit Kellermaschinen | Kopriva, J. | | 1976 |
| Article | Two-tape pushdown automaton in top-down syntax analysis and algebraic aspect of the process | Kopriva, J. | | 1971 |
| Article | System TELMA | Kopriva, J. | | |
| Article | Prispevek k Riemannove domnence | Kopriva, J. | | 1958 |
| Article | Decomposition translations and pushdown assembler | Kopriva, J. | | 1971 |
| Article | Vyuziti LISPu k prekladani formalnich jazyku na pocitaci | Kopriva, J. | | |
| Article | Metodika programovani a efektivnost vypoctu 2. cast | Kopriva, J. | | 1984 |
| Article | Compilation der ausdrucke im formelverarbeitungssystem TELISYM | Kopriva, J. | | 1978 |
| Article | Poznamka k uprave symolickych vyrazu na pocitacich | Kopriva, J. | | 1978 |
| Article | Uber einige eigenschaften der zerlugungsubersetzung | Kopriva, J. | | 1980 |
| Article | Poznamka k vyznamu Fareyovy rady v theorii cisel | Kopriva, J. | | 1955 |
| Article | LISP-ansatz zur ubersetzung der regelsprachen | Kopriva, J. | | 1976 |
| Article | Metodika programovani a efektivnost vypoctu | Kopriva, J. | | 1990 |
| Article | Rekurzivni funkce a rekurzivni programy | Kopriva, J. | | 1974 |
| Article | Iterace mnozinovych zobrazeni | Kopriva, J. | | 1963 |
| Article | Some notes on the formal structure of Algol 60 | Kopriva, J. | | 1964 |
| 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 |
