Pritha Mahata

Publication Activity (10 Years)

Years Active: 2002-2010
Publications (10 Years): 0

Uppsala University, Sweden (PHD)

Education History

Uppsala University, Sweden

PHD

Publications

Pritha Mahata
Exploratory Consensus of Hierarchical Clusterings for Melanoma and Breast Cancer. IEEE ACM Trans. Comput. Biol. Bioinform. 7 (1) (2010)
Parosh Aziz Abdulla, Pritha Mahata, Richard Mayr
Dense-Timed Petri Nets: Checking Zenoness, Token liveness and Boundedness. Log. Methods Comput. Sci. 3 (1) (2007)
Parosh Aziz Abdulla, Johann Deneux, Pritha Mahata, Aletta Nylén
Using Forward Reachability Analysis for Verification of Timed Petri Nets. Nord. J. Comput. 14 (1-2) (2007)
Pritha Mahata, Kaushik Mahata
Selecting differentially expressed genes using minimum probability of classification error. J. Biomed. Informatics 40 (6) (2007)
Kaushik Mahata, Pritha Mahata
Maximizing Correlation for Supervised Classification. DSP (2007)
Kaushik Mahata, Pritha Mahata
Periodicity Detection in Small-Sample Gene-Expression Data. DSP (2007)
Parosh Aziz Abdulla, Pritha Mahata, Richard Mayr
Dense-Timed Petri Nets: Checking Zenoness, Token liveness and Boundedness CoRR (2006)
Pritha Mahata, Wagner Costa, Carlos Cotta, Pablo Moscato
Hierarchical Clustering, Languages and Cancer. EvoWorkshops (2006)
Parosh Aziz Abdulla, Pritha Mahata, Richard Mayr
Decidability of Zenoness, Syntactic Boundedness and Token-Liveness for Dense-Timed Petri Nets. FSTTCS (2004)
Parosh Aziz Abdulla, Johann Deneux, Pritha Mahata
Multi-Clock Timed Networks. LICS (2004)
Parosh Aziz Abdulla, Johann Deneux, Pritha Mahata
Closed, Open, and Robust Timed Networks. INFINITY (2004)
Parosh Aziz Abdulla, Johann Deneux, Pritha Mahata, Aletta Nylén
Forward Reachability Analysis of Timed Petri Nets. FORMATS/FTRTFT (2004)
Parosh Aziz Abdulla, Bengt Jonsson, Pritha Mahata, Julien d'Orso
Regular Tree Model Checking. CAV (2002)

Pritha Mahata.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Pritha Mahata