SRI International

SRI

SRI International

We are a 75-year pioneering research institute with a rich history supporting government and industry. SRI International (formerly Stanford Research Institute) is organized around broad disciplines and capabilities, from research and development divisions and labs to groups who excel at identifying new opportunities, developing products, and creating custom solutions. Our organization is driven by impact— delivering unique solutions for the world’s important challenges and transforming ideas into reality for clients are partners.
industry and services

Collections

All collections
Archives

Archives

Publications

All publications
CURATOR GUIDE FOR PATHWAY/GENOME DATABASES

CURATOR GUIDE FOR PATHWAY/GENOME DATABASES

2023

View
Sound Town Evaluation Report

Sound Town Evaluation Report

2023

View
Mechanized Analysis of Anselm’s Modal Ontological Argument

Mechanized Analysis of Anselm’s Modal Ontological Argument

2023

View
Iospred: I/O Specialized Packaging of Reduced Datasets and Data-Intensive Applications for Efficient Reproducibility

Iospred: I/O Specialized Packaging of Reduced Datasets and Data-Intensive...

2023

View
Yicesqs 2023, an Extension of Yices for Quantified Satisfiability

Yicesqs 2023, an Extension of Yices for Quantified Satisfiability

2023

View
Querying Container Provenance

Querying Container Provenance

2023

View
u.s. Government Subcontract Terms and Conditions (International)

u.s. Government Subcontract Terms and Conditions (International)

2022

View
Government Subcontract Terms and Conditions (Commercial Items)

Government Subcontract Terms and Conditions (Commercial Items)

2022

View
David M. Balenson

David M. Balenson

2022

View
Provenance-Based Workflow Diagnostics Using Program Specification

Provenance-Based Workflow Diagnostics Using Program Specification

2022

View