S. Srivastava
Loading Google Thumbnails...
from Google Images |
- Sorted by Year/Conf, Year/Citation, Citation
| 2008 | ||
|---|---|---|
| 3 | Semantically-Assisted Integration Query Editing in the AquaLogic Data Services Platform. Michael J. Carey, Shahram Ghandeharizadeh, Kautul Mehta, Peter Mork, Leonard J. Seligman, S. Srivastava, Sachin Thatte. ICSC 2008, 482-483. Cited by 1Web SearchBibTeXDownload | |
| 2005 | ||
| 2 | Simulating Reachability Using First-Order Logic with Applications to Verification of Linked Data Structures. Tal Lev-Ami, Neil Immerman, Thomas W. Reps, Shmuel Sagiv, Siddharth Srivastava, Greta Yorsh. CADE 2005, 99-115. Web SearchBibTeXDownload | |
| 1998 | ||
| 1 | Evolution of Architectural Concepts and Design Methods of Microprocessors. S. Srivastava, S. C. Bose, B. P. Mathur, Arti Noor, Raj Singh, A. S. Mandal, K. Prabhakaran, A. Karmakar, Chandra Shekhar, Sudhir Kumar, Amit K. Agarwal. VLSI Design 1998, 312-317. Web SearchBibTeXDownload | |
from DBLP and Google Scholar