 | 2011 |
|---|
| 14 |       | Janardan Misra:
A Framework for Specification and Verification of Timeout Models of Real-Time Systems.
IC3 2011: 146-157 |
| 2010 |
|---|
| 13 | | Indranil Saha,
Janardan Misra,
Suman Roy:
A Simplification of a Real-Time Verification Problem
CoRR abs/1008.1417: (2010) |
| 12 | | Janardan Misra,
Suman Roy:
A Decidable Timeout based Extension of Propositional Linear Temporal Logic
CoRR abs/1012.3704: (2010) |
| 11 | | Subhas Kumar Ghosh,
Janardan Misra:
A Randomized Algorithm for 3-SAT.
Mathematics in Computer Science 3(4): 421-431 (2010) |
| 10 | | Janardan Misra,
Indranil Saha:
Artificial neural networks in hardware: A survey of two decades of progress.
Neurocomputing 74(1-3): 239-255 (2010) |
| 2009 |
|---|
| 9 | | Janardan Misra:
Algorithmic Feasibility of Entity Recognition in Artificial Life.
ECAL (2) 2009: 246-253 |
| 8 | | Janardan Misra,
Suman Roy:
Techniques for Distributed Reachability Analysis with Partial Order and Symmetry based Reductions
CoRR abs/0901.0179: (2009) |
| 7 | | Janardan Misra:
Design of a P System based Artificial Graph Chemistry
CoRR abs/0901.0317: (2009) |
| 6 | | Janardan Misra:
Thoughts on an Unified Framework for Artificial Chemistries
CoRR abs/0901.0318: (2009) |
| 5 | | Janardan Misra:
Towards a Framework for Observing Artificial Evolutionary Systems
CoRR abs/0901.1610: (2009) |
| 4 | | Subhas Kumar Ghosh,
Janardan Misra:
A Randomized Algorithm for 3-SAT
CoRR abs/0906.1849: (2009) |
| 2007 |
|---|
| 3 | | 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 | | Rana Barua,
Janardan Misra:
Binary Arithmetic for DNA Computers.
DNA 2002: 124-132 |
Data released under the ODC-BY 1.0 license — See also our legal information page