 | 2009 |
|---|
| 4 |       | Dina Thomas,
Rajesh Bordawekar,
Charu C. Aggarwal,
Philip S. Yu:
On Efficient Query Processing of Stream Counts on the Cell Processor.
ICDE 2009: 748-759 |
| 2008 |
|---|
| 3 | | Dina Thomas,
Supratik Chakraborty,
Paritosh K. Pandya:
Efficient guided symbolic reachability using reachability expressions.
STTT 10(2): 113-129 (2008) |
| 2006 |
|---|
| 2 | | Dina Thomas,
Supratik Chakraborty,
Paritosh K. Pandya:
Efficient Guided Symbolic Reachability Using Reachability Expressions.
TACAS 2006: 120-134 |
| 2005 |
|---|
| 1 | | Kshitiz Gupta,
Dina Thomas,
S. V. Vidya,
K. V. Venkatesh,
S. Ramakumar:
Detailed protein sequence alignment based on Spectral Similarity Score (SSS).
BMC Bioinformatics 6: 105 (2005) |
