Follow
Pritha Mahata
Pritha Mahata
Senior Software Engineer, SwitchDin Pty Ltd
Verified email at switchdin.com
Title
Cited by
Cited by
Year
Regular tree model checking
PA Abdulla, B Jonsson, P Mahata, J d’Orso
Computer Aided Verification: 14th International Conference, CAV 2002á…, 2002
1142002
Multi-clock timed networks
PA Abdulla, J Deneux, P Mahata
Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Scienceá…, 2004
512004
Dense-timed Petri nets: Checking zenoness, token liveness and boundedness
R Mayr, P Mahata, P Abdulla
Logical Methods in Computer Science 3, 2007
322007
Forward reachability analysis of timed Petri nets
PA Abdulla, J Deneux, P Mahata, A NylÚn
FORMATS/FTRTFT 3253, 343-362, 2004
302004
Selecting differentially expressed genes using minimum probability of classification error
P Mahata, K Mahata
Journal of Biomedical informatics 40 (6), 775-786, 2007
272007
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
262008
Biomarkers for epithelial ovarian cancers
P Mahata
Genome Informatics 17 (2), 184-193, 2006
222006
Hierarchical clustering using the arithmetic-harmonic cut: Complexity and experiments
R Rizzi, P Mahata, L Mathieson, P Moscato
PLoS One 5 (12), e14067, 2010
162010
Hierarchical clustering, languages and cancer
P Mahata, W Costa, C Cotta, P Moscato
Applications of Evolutionary Computing: EvoWorkshops 2006: EvoBIO, EvoCOMNETá…, 2006
142006
Model checking parameterized timed systems
P Mahata
Institutionen f÷r informationsteknologi, 2005
112005
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
102007
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
102005
Closed, open, and robust timed networks
PA Abdulla, J Deneux, P Mahata
Electronic Notes in Theoretical Computer Science 138 (3), 117-151, 2005
42005
Maximizing correlation for supervised classification
K Mahata, P Mahata
2007 15th International Conference on Digital Signal Processing, 107-110, 2007
22007
Periodicity Detection in Small-Sample Gene-Expression Data
K Mahata, P Mahata
2007 15th International Conference on Digital Signal Processing, 111-114, 2007
12007
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
The system can't perform the operation now. Try again later.
Articles 1–20