![]() |
| 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] |