| 2007 |
|---|
| 9 | EE | Pritha Mahata,
Kaushik Mahata:
Selecting differentially expressed genes using minimum probability of classification error.
Journal of Biomedical Informatics 40(6): 775-786 (2007) |
| 8 | EE | Parosh Aziz Abdulla,
Pritha Mahata,
Richard Mayr:
Dense-Timed Petri Nets: Checking Zenoness, Token liveness and Boundedness.
Logical Methods in Computer Science 3(1): (2007) |
| 2006 |
|---|
| 7 | EE | Pritha Mahata,
Wagner Costa,
Carlos Cotta,
Pablo Moscato:
Hierarchical Clustering, Languages and Cancer.
EvoWorkshops 2006: 67-78 |
| 6 | EE | Parosh Aziz Abdulla,
Pritha Mahata,
Richard Mayr:
Dense-Timed Petri Nets: Checking Zenoness, Token liveness<br> and<br><br> Boundedness
CoRR abs/cs/0611048: (2006) |
| 2005 |
|---|
| 5 | EE | Parosh Aziz Abdulla,
Johann Deneux,
Pritha Mahata:
Closed, Open, and Robust Timed Networks.
Electr. Notes Theor. Comput. Sci. 138(3): 117-151 (2005) |
| 2004 |
|---|
| 4 | EE | Parosh Aziz Abdulla,
Johann Deneux,
Pritha Mahata,
Aletta Nylén:
Forward Reachability Analysis of Timed Petri Nets.
FORMATS/FTRTFT 2004: 343-362 |
| 3 | EE | Parosh Aziz Abdulla,
Pritha Mahata,
Richard Mayr:
Decidability of Zenoness, Syntactic Boundedness and Token-Liveness for Dense-Timed Petri Nets.
FSTTCS 2004: 58-70 |
| 2 | EE | Parosh Aziz Abdulla,
Johann Deneux,
Pritha Mahata:
Multi-Clock Timed Networks.
LICS 2004: 345-354 |
| 2002 |
|---|
| 1 | EE | Parosh Aziz Abdulla,
Bengt Jonsson,
Pritha Mahata,
Julien d'Orso:
Regular Tree Model Checking.
CAV 2002: 555-568 |
