ISI Technical Reports

This section contains all Technical Reports published by ISI over the past several decades. The search box below enables searches by report titles, authors and report numbers. Technical Reports written by ISI researchers, but not published by ISI, may be available through the author’s individual website.

To be assigned a technical report number, please contact Computing Information Services.

Journal articles and other publications can be found here.

A Formal Definition of AMDL
A. and P.
RR-79-78
October, 1979

1979 Annual Technical ReportI. S. I. Staff
SR-80-17
June, 1979

DARPA Navy CINCPAC Military Message Experiment: SIGMA Message Service Reference Manual
R. and J.
TM-78-11.2
June, 1979

The JOY of TENEX and TOPS-2 1780 ... in two parts - part two
Holg, C.
TM-79-16
March, 1979

DARPA Navy CINCPAC Military Message Experiment: SIGMA Message Service Reference Manual Version 2.2
R. and J.
TM-78-11.1
March, 1979

The JOY of TENEX and TOPS-2.. in two parts - part one
Holg, C.
TM-79-15
March, 1979

Research Programs in Computer Technology, Annual Report, 1978I. S. I. Staff
SR-79-14
February, 1979

Mathematical Approach to Computational NetworksCohen, D.
RR-78-73
November, 1978

A Documentation System
C. and A. S.
ISI/WP-11
August, 1978

Program Verification in the 1980s: Problems, Perspectives, and Opportunities
G. and S.
RR-78-71
August, 1978