| |
| 2008 | ||
|---|---|---|
| 2 | EE | Gregory Kulczycki, Murali Sitaraman, Kimberly Roche, Nighat Yasmin: Formal Specification. Wiley Encyclopedia of Computer Science and Engineering 2008 |
| 2006 | ||
| 1 | EE | Nighat Yasmin: Incremental computation of shortest paths in semi-dynamic graphs using software components. ACM Southeast Regional Conference 2006: 96-101 |
| 1 | Gregory Kulczycki | [2] |
| 2 | Kimberly Roche | [2] |
| 3 | Murali Sitaraman | [2] |