Konstruktivní test délky formalizovaných důkazů
KRAMOSIL, Ivan. <em>Konstruktivní test délky formalizovaných důkazů</em>. Praha: ÚTIA ČSAV, 1978. Výzkumná zpráva, 869.
Odhad přesnosti lokace hypocentra seismických vln
FABIÁN, Zdeněk, ČERVENÝ, V., JANÁČKOVÁ, A. <em>Odhad přesnosti lokace hypocentra seismických vln</em>. Praha: Katedra geofyziky a meteorologie MFF UK, 1978. Závěrečná zpráva.
Integrované funkční bloky
NOVÁK, Mirko. <em>Integrované funkční bloky</em>. Praha: SNTL, 1978.
Projekt sítě terminálů ČSAV
NOVÁK, Mirko, POUPĚ, Jiří, STRNAD, Petr. <em>Projekt sítě terminálů ČSAV</em>. Praha: CVS ČSAV, 1978. Výzkumná zpráva, V-21.
Informační systém pro Archiv výpočetních programů CVS ČSAV
FABIÁN, Zdeněk, CHVÁLOVÁ, Jana, KUFUDAKI, Olga, POHOŘALÁ, Hana, ŠEBESTA, Václav, VLČEK, M. <em>Informační systém pro Archiv výpočetních programů CVS ČSAV</em>. Praha: CVS ČSAV, 1978. Výzkumná zpráva, V-23.
A Formal Definition of Heuristics in the Terms of Computational Complexity - nepublikováno, napsáno po roce 1978
KRAMOSIL, Ivan. <em>A Formal Definition of Heuristics in the Terms of Computational Complexity - nepublikováno, napsáno po roce 1978</em>. 1978.
Statistický odhad délky formalizovaných důkazů na základě statistického testu dokazatelnosti
KRAMOSIL, Ivan. <em>Statistický odhad délky formalizovaných důkazů na základě statistického testu dokazatelnosti</em>. Praha: ÚTIA ČSAV, 1978. Výzkumná zpráva, 863.
Vliv porušení koeficientů algebraické rovnice s reálnými koeficienty a blízkými kořeny na polohu kořenů
VLČEK, Jan. <em>Vliv porušení koeficientů algebraické rovnice s reálnými koeficienty a blízkými kořeny na polohu kořenů</em>. Praha, 1978. Dizertační práce. MÚ ČSAV.
Inteligentní terminál řizený procesorem Tesla JPR-12
STRNAD, Petr. <em>Inteligentní terminál řizený procesorem Tesla JPR-12</em>. Praha: CVS ČSAV, 1978. Výzkumná zpráva, V-26.