2009 | ||
---|---|---|
7 | EE | Janardan Misra, Suman Roy: Techniques for Distributed Reachability Analysis with Partial Order and Symmetry based Reductions CoRR abs/0901.0179: (2009) |
6 | EE | Janardan Misra: Design of a P System based Artificial Graph Chemistry CoRR abs/0901.0317: (2009) |
5 | EE | Janardan Misra: Thoughts on an Unified Framework for Artificial Chemistries CoRR abs/0901.0318: (2009) |
4 | EE | Janardan Misra: Towards a Framework for Observing Artificial Evolutionary Systems CoRR abs/0901.1610: (2009) |
2007 | ||
3 | EE | Indranil Saha, Janardan Misra, Suman Roy: Timeout and Calendar Based Finite State Modeling and Verification of Real-Time Systems. ATVA 2007: 284-299 |
2005 | ||
2 | Gabriel Ciobanu, Janardan Misra: Performance Analysis and Name Passing Errors in Probabilistic Fusion. Sci. Ann. Cuza Univ. 15: 57-76 (2005) | |
2002 | ||
1 | EE | Rana Barua, Janardan Misra: Binary Arithmetic for DNA Computers. DNA 2002: 124-132 |
1 | Rana Barua | [1] |
2 | Gabriel Ciobanu | [2] |
3 | Suman Roy | [3] [7] |
4 | Indranil Saha | [3] |