| Regular tree model checking PA Abdulla, B Jonsson, P Mahata, J d’Orso Computer Aided Verification: 14th International Conference, CAV 2002 …, 2002 | 114 | 2002 |
| Multi-clock timed networks PA Abdulla, J Deneux, P Mahata Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science …, 2004 | 51 | 2004 |
| Dense-timed Petri nets: Checking zenoness, token liveness and boundedness R Mayr, P Mahata, P Abdulla Logical Methods in Computer Science 3, 2007 | 32 | 2007 |
| Forward reachability analysis of timed Petri nets PA Abdulla, J Deneux, P Mahata, A Nylén FORMATS/FTRTFT 3253, 343-362, 2004 | 30 | 2004 |
| Selecting differentially expressed genes using minimum probability of classification error P Mahata, K Mahata Journal of Biomedical informatics 40 (6), 775-786, 2007 | 27 | 2007 |
| Exploratory consensus of hierarchical clusterings for melanoma and breast cancer P Mahata IEEE/ACM Transactions on Computational Biology and Bioinformatics 7 (1), 138-152, 2008 | 26 | 2008 |
| Biomarkers for epithelial ovarian cancers P Mahata Genome Informatics 17 (2), 184-193, 2006 | 22 | 2006 |
| Hierarchical clustering using the arithmetic-harmonic cut: Complexity and experiments R Rizzi, P Mahata, L Mathieson, P Moscato PLoS One 5 (12), e14067, 2010 | 16 | 2010 |
| Hierarchical clustering, languages and cancer P Mahata, W Costa, C Cotta, P Moscato Applications of Evolutionary Computing: EvoWorkshops 2006: EvoBIO, EvoCOMNET …, 2006 | 14 | 2006 |
| Model checking parameterized timed systems P Mahata Institutionen för informationsteknologi, 2005 | 11 | 2005 |
| Using Forward Reachability Analysis for Verification of Timed Petri Nets. PA Abdulla, J Deneux, P Mahata, A Nylén Nord. J. Comput. 14 (1-2), 1-42, 2007 | 10 | 2007 |
| Decidability of Zenoness, syntactic boundedness and token-liveness for dense-timed petri nets P Abdulla, P Mahata, R Mayr FSTTCS 2004: Foundations of Software Technology and Theoretical Computer …, 2005 | 10 | 2005 |
| Closed, open, and robust timed networks PA Abdulla, J Deneux, P Mahata Electronic Notes in Theoretical Computer Science 138 (3), 117-151, 2005 | 4 | 2005 |
| Maximizing correlation for supervised classification K Mahata, P Mahata 2007 15th International Conference on Digital Signal Processing, 107-110, 2007 | 2 | 2007 |
| Periodicity Detection in Small-Sample Gene-Expression Data K Mahata, P Mahata 2007 15th International Conference on Digital Signal Processing, 111-114, 2007 | 1 | 2007 |
| Investigating the change of the hierarchical pattern of gene expression in the normal and Parkinson's brain using a combinatorial optimization based unsupervised clustering method M Hourani, P Mahata, IMM El Emary University" Politehnica" of Bucharest Scientific Bulletin, Series C …, 2010 | | 2010 |
| Networks of Identical Multi-Clock Timed Processes PA Abdulla, J Deneux, P Mahata | | 2006 |
| Operating System Labs P Mahata Uppsala University, Sweden, 2004 | | 2004 |
| Decidability of Zenoness, Syntactic Boundedness and P Abdulla, P Mahata, R Mayra Foundations of Software Technology and Theoretical Computer Science, 58, 2004 | | 2004 |
| Downward closed language generators PA Abdulla, J Deneux, P Mahata, A Nylén Uppsala: Department of Information Technology, Uppsala University, 2003 | | 2003 |
