We will be performing a scheduled maintenance of this server on Thursday, July 2, 2015. While we are working, this server may become unrechable for short periods of time. In the mean time, you may use our dblp server in Dagstuhl instead.
Samik Basu, Arka P. Ghosh, Ru He: Approximate Model Checking of PCTL Involving Unbounded Path Properties.ICFEM2009: 326-346
Ankit Agrawal, Arka P. Ghosh, Xiaoqiu Huang: Estimating Pairwise Statistical Significance of Protein Local Alignments Using a Clustering-Classification Approach Based on Amino Acid Composition.ISBRA2008: 62-73