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.

The Anatomy of a Systemic Choice
M. and W.
RR-82-104
October, 1982

Automated Protocol Verification
S. and C.
RR-83-110
October, 1982

Two Discourse Generators -and- A Grammar and a Lexicon for Text-Production Systems
M. and W.
RR-82-102
September, 1982

On the Equivalence of If-Then-Else and Max-Min
M. and L.
RR-81-92
August, 1982

Program Developments: Formal Explanations of Implementations
RR-82-99
August, 1982

An Introductory Guide to TOPS-20
TM-82-22
June, 1982

State Deltas that Remember: A Formalism for Describing State Changes
M. and L.
RR-81-93
May, 1982

MME Final Report Volume V, Parts 1, 2, and 3. SIGMA Final Report: Introduction, Functional Description, and Evaluation
M. , L. , L. , R. , O. , and D.
RR-82-94
May, 1982

MME Final Report Volume V, Part 4. SIGMA Final Report: The Design of SIGMA
M. , L. , L. , R. , O. , and D.
RR-82-95
May, 1982

Text Generation: The State of the Art and the Literature
M. , W. , B. , M. , G. , B. , M. D. , and D.
RR-81-101
December, 1981