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
International Conference on Computer Aided Verification, 555-568, 2002
1082002
Multi-clock timed networks
PA Abdulla, J Deneux, P Mahata
Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Scienceá…, 2004
472004
Dense-timed Petri nets: Checking zenoness, token liveness and boundedness
P Abdulla, P Mahata, R Mayr
arXiv preprint cs/0611048, 2006
322006
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
282004
Selecting differentially expressed genes using minimum probability of classification error
P Mahata, K Mahata
Journal of Biomedical informatics 40 (6), 775-786, 2007
262007
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
222008
Biomarkers for epithelial ovarian cancers
P Mahata
Genome Informatics 17 (2), 184-193, 2006
202006
Hierarchical clustering, languages and cancer
P Mahata, W Costa, C Cotta, P Moscato
Workshops on Applications of Evolutionary Computation, 67-78, 2006
162006
Hierarchical clustering using the arithmetic-harmonic cut: Complexity and experiments
R Rizzi, P Mahata, L Mathieson, P Moscato
PLoS One 5 (12), e14067, 2010
132010
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
International Conference on Foundations of Software Technology andá…, 2004
102004
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
Downward closed language generators
PA Abdulla, J Deneux, P Mahata, A Johann, D Pritha, A NylÚn
2002
A Case Study on the Role of Assertions in Model-Based Testing
P Mahata, P Strooper, M Wojcicki
The system can't perform the operation now. Try again later.
Articles 1–20