Pritha Mahata

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