CS Reports from US Company
- AT & T:
AI
, Database group
, plan9 papers
, Bell labs publications index
- Amerinex AI Inc
.
- DEC research reports (html for CRL, NSL, PRL, SRC and WRL)., also
CRL not in the other list
.
- GTE, Distributed Object Computing Dept
.
- IBM
.
- Microsoft Research
- Mitsubishi Electric
.
- NEC Research Institute, also
anonymous ftp site
.
- Price Waterhouse Tech Center
.
- SRI:
Cambridge
, other publications
, AI
, CSL
, other papers in formal methods
- Sun Microsystems Labs
.
- Ultimode
- United Technologies (UTC)
Last modified on Tue, July 21 98