![]() | ![]() |
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] |