Statistics
Publications
10
Citations
286
H-Index
10
Active since
1985
Affiliations
Stanford University(Current)
Sriram Sankar is an author at Stanford University specializing in computing, computer science, and formal methods.
Publications per year
1985–1996
10
10
Exploiting locality in maintaining potential causality
Sigurd Meldal, Sriram Sankar, James Vera · 1991 · 50 citations · Full text
Specifying and Testing Software Components using ADL
Roger Hayes, Sriram Sankar · 1994 · 49 citations
Run-time consistency checking of algebraic specifications
Sriram Sankar · 1991 · 30 citations
1–5 of 10