Dina Thomas

Publication Activity (10 Years)

Years Active: 2005-2009
Publications (10 Years): 0

Publications

Dina Thomas, Rajesh Bordawekar, Charu C. Aggarwal, Philip S. Yu
On Efficient Query Processing of Stream Counts on the Cell Processor. ICDE (2009)
Dina Thomas, Supratik Chakraborty, Paritosh K. Pandya
Efficient guided symbolic reachability using reachability expressions. Int. J. Softw. Tools Technol. Transf. 10 (2) (2008)
Dina Thomas, Supratik Chakraborty, Paritosh K. Pandya
Efficient Guided Symbolic Reachability Using Reachability Expressions. TACAS (2006)
Kshitiz Gupta, Dina Thomas, S. V. Vidya, Kareenhalli V. Venkatesh, S. Ramakumar
Detailed protein sequence alignment based on Spectral Similarity Score (SSS). BMC Bioinform. 6 (2005)