| |
| 2008 | ||
|---|---|---|
| 3 | EE | Anu Singh, C. R. Ramakrishnan, Scott A. Smolka: A Process Calculus for Mobile Ad Hoc Networks. COORDINATION 2008: 296-314 |
| 2 | EE | Anu Singh, C. R. Ramakrishnan, I. V. Ramakrishnan, David Scott Warren, Jennifer L. Wong: A methodology for in-network evaluation of integrated logical-statistical models. SenSys 2008: 197-210 |
| 2007 | ||
| 1 | EE | Anu Singh, C. R. Ramakrishnan, I. V. Ramakrishnan, Scott D. Stoller, David Scott Warren: Security policy analysis using deductive spreadsheets. FMSE 2007: 42-50 |
| 1 | C. R. Ramakrishnan | [1] [2] [3] |
| 2 | I. V. Ramakrishnan | [1] [2] |
| 3 | Scott A. Smolka | [3] |
| 4 | Scott D. Stoller | [1] |
| 5 | David Scott Warren | [1] [2] |
| 6 | Jennifer L. Wong | [2] |