Regular Tree Model Checking. - Parosh Aziz Abdulla; Bengt Jonsson 001; Pritha Mahata; Julien d'Orso (CAV, 2002)

Forward Reachability Analysis of Timed Petri Nets. - Parosh Aziz Abdulla; Johann Deneux; Pritha Mahata; Aletta Nylén (FORMATS/FTRTFT, 2004)

Decidability of Zenoness, Syntactic Boundedness and Token-Liveness for Dense-Timed Petri Nets. - Parosh Aziz Abdulla; Pritha Mahata; Richard Mayr (FSTTCS, 2004)

Multi-Clock Timed Networks. - Parosh Aziz Abdulla; Johann Deneux; Pritha Mahata (LICS, 2004)

Closed, Open, and Robust Timed Networks. - Parosh Aziz Abdulla; Johann Deneux; Pritha Mahata (INFINITY, 2004)

Model Checking Parameterized Timed Systems. - Pritha Mahata (2005)

Hierarchical Clustering, Languages and Cancer. - Pritha Mahata; Wagner Costa; Carlos Cotta; Pablo Moscato (EvoWorkshops, 2006)

Maximizing Correlation for Supervised Classification. - Kaushik Mahata; Pritha Mahata (DSP, 2007)

Periodicity Detection in Small-Sample Gene-Expression Data. - Kaushik Mahata; Pritha Mahata (DSP, 2007)

Selecting differentially expressed genes using minimum probability of classification error. - Pritha Mahata; Kaushik Mahata (J. Biomed. Informatics, 2007)

Dense-Timed Petri Nets: Checking Zenoness, Token liveness and Boundedness. - Parosh Aziz Abdulla; Pritha Mahata; Richard Mayr (Log. Methods Comput. Sci., 2007)

Using Forward Reachability Analysis for Verification of Timed Petri Nets. - Parosh Aziz Abdulla; Johann Deneux; Pritha Mahata; Aletta Nylén (Nord. J. Comput., 2007)

Exploratory Consensus of Hierarchical Clusterings for Melanoma and Breast Cancer. - Pritha Mahata (IEEE ACM Trans. Comput. Biol. Bioinform., 2010)