Pritha Mahata

According to our database, Pritha Mahata authored at least 13 papers between 2002 and 2010.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2010

Exploratory Consensus of Hierarchical Clusterings for Melanoma and Breast Cancer.

Pritha Mahata

IEEE ACM Trans. Comput. Biol. Bioinform., 2010

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

Dense-Timed Petri Nets: Checking Zenoness, Token liveness and Boundedness.

Parosh Aziz Abdulla, Pritha Mahata, Richard Mayr

Log. Methods Comput. Sci., 2007

Selecting differentially expressed genes using minimum probability of classification error.

Pritha Mahata, Kaushik Mahata

J. Biomed. Informatics, 2007

Periodicity Detection in Small-Sample Gene-Expression Data.

Kaushik Mahata, Pritha Mahata

Proceedings of the 15th International Conference on Digital Signal Processing, 2007

Maximizing Correlation for Supervised Classification.

Kaushik Mahata, Pritha Mahata

Proceedings of the 15th International Conference on Digital Signal Processing, 2007

2006

Hierarchical Clustering, Languages and Cancer.

Pritha Mahata, Wagner Costa, Carlos Cotta, Pablo Moscato

Proceedings of the Applications of Evolutionary Computing, 2006

2005

Model Checking Parameterized Timed Systems.

Pritha Mahata

PhD thesis, 2005

2004

Closed, Open, and Robust Timed Networks.

Parosh Aziz Abdulla, Johann Deneux, Pritha Mahata

Proceedings of the 6th International Workshop on Verification of Infinite-State Systems, 2004

Multi-Clock Timed Networks.

Parosh Aziz Abdulla, Johann Deneux, Pritha Mahata

Proceedings of the 19th IEEE Symposium on Logic in Computer Science (LICS 2004), 2004

Decidability of Zenoness, Syntactic Boundedness and Token-Liveness for Dense-Timed Petri Nets.

Parosh Aziz Abdulla, Pritha Mahata, Richard Mayr

Proceedings of the FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science, 2004

Forward Reachability Analysis of Timed Petri Nets.

Parosh Aziz Abdulla, Johann Deneux, Pritha Mahata, Aletta Nylén

Proceedings of the Formal Techniques, 2004

2002

Regular Tree Model Checking.

Parosh Aziz Abdulla, Bengt Jonsson, Pritha Mahata, Julien d'Orso

Proceedings of the Computer Aided Verification, 14th International Conference, 2002