| Regular tree model checking PA Abdulla, B Jonsson, P Mahata, J d’Orso International Conference on Computer Aided Verification, 555-568, 2002 | 117 | 2002 |
| Multi-clock timed networks PA Abdulla, J Deneux, P Mahata Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science …, 2004 | 59 | 2004 |
| Dense-timed Petri nets: Checking zenoness, token liveness and boundedness P Abdulla, P Mahata, R Mayr Logical Methods in Computer Science 3, 2007 | 34 | 2007 |
| Forward reachability analysis of timed Petri nets PA Abdulla, J Deneux, P Mahata, A Nylén International Symposium on Formal Techniques in Real-Time and Fault-Tolerant …, 2004 | 34 | 2004 |
| Selecting differentially expressed genes using minimum probability of classification error P Mahata, K Mahata Journal of Biomedical informatics 40 (6), 775-786, 2007 | 30 | 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 | 24 | 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 Workshops on Applications of Evolutionary Computation, 67-78, 2006 | 16 | 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 |
| Downward closed language generators P Abdulla, J Deneux, P Mahata, A Nylén Department of Information Technology, Uppsala University, 2003 | | 2003 |
| A Case Study on the Role of Assertions in Model-Based Testing P Mahata, P Strooper, M Wojcicki | | |
Parosh AbdullaProfessor of Computer Science, Uppsala UniversityVerifisert e-postadresse på it.uu.se
