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.

Journal articles and other publications can be found here.

A Proof Rule for Euclid Procedures
G. , J. , H. , J. , L. , and R.
RR-77-60
May, 1977

Informality in Program Specifications
Balzer, R.M., Goldman, N., and Wile, D.
RR-77-59
April, 1977

PRIM System: OverviewB. Britt, A. Cooperband, L. Gallenson, and J. Goldberg
RR-77-58
March, 1977

Man-Machine Communication Research: Final Report
M. and W.
RR-77-57
February, 1977

An Assessment of Reliability of Dialogue-Annotation Instructions
M. , W. , C. , J. , L. , and J.
RR-77-54
January, 1977

A Goal-Oriented Model of Natural Language Interaction
L. , J. , M. , and W.
RR-77-52
January, 1977

Dialogue Games: Meta-communication Structures for Natural Language Interaction
L. and J.
RR-77-53
January, 1977

Working Papers in Dialogue Modeling Vol.1
L. , J. , A. , and A.
RR-77-55
January, 1977

ARPA Navy CINCPAC Military Message Experiment SIGMA Primer
Holg, C.
TM-77-9
January, 1977

Working Papers in Dialogue Modeling Vol. 2
M. , W. , A. , A. , S. , and G.
RR-77-56
January, 1977