| Regular tree model checking PA Abdulla, B Jonsson, P Mahata, J d’Orso International Conference on Computer Aided Verification, 555-568, 2002 | 113 | 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 Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant …, 2004 | 28 | 2004 |
| 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 |
| Selecting differentially expressed genes using minimum probability of classification error P Mahata, K Mahata Journal of Biomedical informatics 40 (6), 775-786, 2007 | 26 | 2007 |
| Biomarkers for epithelial ovarian cancers P Mahata Genome Informatics 17 (2), 184-193, 2006 | 21 | 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 | 17 | 2010 |
| Hierarchical clustering, languages and cancer P Mahata, W Costa, C Cotta, P Moscato Workshops on Applications of Evolutionary Computation, 67-78, 2006 | 14 | 2006 |
| Model checking parameterized timed systems P Mahata Institutionen för informationsteknologi, 2005 | 11 | 2005 |
| Decidability of Zenoness, syntactic boundedness and token-liveness for dense-timed petri nets P Abdulla, P Mahata, R Mayr International Conference on Foundations of Software Technology and …, 2004 | 11 | 2004 |
| 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 |
| 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 |
| Regular Model Checking and Acceleration-Regular Tree Model Checking P Aziz Abdulla, B Jonsson, P Mahata, J d'Orso Lecture Notes in Computer Science 2404, 555-568, 2002 | | 2002 |
| Downward closed language generators PA Abdulla, J Deneux, P Mahata, A Johann, D Pritha, A Nylén | | 2002 |
