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.

1988 Annual Technical Report: July 1987 - June 1988
I. S. I. Staff
SR-88-255
July, 1990

Rigidity of Two-Dimensional StructuresCohen, D.
RR-89-229
July, 1990

Functions of Language in Two Frameworks
M. and W.
RR-90-290
June, 1990

Model Checking for Linear Temporal Logic: An Efficient Implementation
P. and A.
RR-89-241
June, 1990

A Vision Recognition System for High-Accuracy Position Control for Laser Configurable Integrated Circuits
B. , W. , B. , and R.
RS-89-232
June, 1990

From Systemic-Functional Grammar to Systemic-Functional Text Generation: Escalating the Exchange
RR-89-220
April, 1990

Time-Warp vs. Chandy-Misra: A Worst-Case Comparison
L. , R. , M. , and R.
RS-90-253
April, 1990

N-Way Conferencing with Packet VideoCasner, S. , Seo, K., Edmond, W., and Topolcic, C.
RS-90-252
April, 1990

Intermail and Commercial Mail Relay ServicesA. Westine, A. DeSchon, J. Postel, and C. Ward
RR-90-254
March, 1990

Phonetool: Integrating Telephones and WorkstationsC. Schmandt and S. Casner
RS-90-250
March, 1990