| |
| 2009 | ||
|---|---|---|
| 3 | EE | Olivier Biton, Susan B. Davidson, Sanjeev Khanna, Sudeepa Roy: Optimizing user views for workflows. ICDT 2009: 310-323 |
| 2008 | ||
| 2 | EE | Sampath Kannan, Sanjeev Khanna, Sudeepa Roy: STCON in Directed Unique-Path Graphs. FSTTCS 2008 |
| 2006 | ||
| 1 | EE | B. Meenakshi, Abhishek Bhatnagar, Sudeepa Roy: Tool for Translating Simulink Models into Input Language of a Model Checker. ICFEM 2006: 606-620 |
| 1 | Abhishek Bhatnagar | [1] |
| 2 | Olivier Biton | [3] |
| 3 | Susan B. Davidson | [3] |
| 4 | Sampath Kannan | [2] |
| 5 | Sanjeev Khanna | [2] [3] |
| 6 | B. Meenakshi | [1] |