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
1152002
Multi-clock timed networks
PA Abdulla, J Deneux, P Mahata
Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science …, 2004
542004
Dense-timed Petri nets: Checking zenoness, token liveness and boundedness
P Abdulla, P Mahata, R Mayr
Logical Methods in Computer Science 3, 2007
332007
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
302004
Selecting differentially expressed genes using minimum probability of classification error
P Mahata, K Mahata
Journal of Biomedical informatics 40 (6), 775-786, 2007
282007
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
232006
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
Downward closed language generators
PA Abdulla, J Deneux, P Mahata, A Nylén
Uppsala: 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
The system can't perform the operation now. Try again later.
Articles 1–20