2009 | ||
---|---|---|
2 | EE | Shaunak Chatterjee, Sudeep Juvekar, Koushik Sen: SNIFF: A Search Engine for Java Using Free-Form Queries. FASE 2009: 385-400 |
2006 | ||
1 | EE | Sudeep Juvekar, Nir Piterman: Minimizing Generalized Büchi Automata. CAV 2006: 45-58 |
1 | Shaunak Chatterjee | [2] |
2 | Nir Piterman | [1] |
3 | Koushik Sen | [2] |