Searching for authors named "Sumit Kumar Jha" – sorted by Relevance.
3 documents found, showing 1 through 3.
-
Symbolic approaches to finding control strategies in boolean networks
- … ∗† , Sumit Kumar Jha ∗ October 2007 CMU-CS-07-155R School of Computer Science Carnegie Mellon University…
- Cited by 2 (2 self) – Add To MetaCart
-
Using Bit-Vector Decision Procedures for Analysis of Protein Folding Pathways
- … Langmead 1,2 and Sumit Kumar Jha 1 1 School of Computer Science, Carnegie Mellon University {cjl,jha…
- Cited by 2 (2 self) – Add To MetaCart
-
Statistical Model Checking in BioLab: Applications to the automated analysis of T-Cell Receptor Signaling Pathway ⋆
- … , Sumit Kumar Jha 1 , and Axel Legay 1 1 Computer Science Department, Carnegie Mellon University…
- Cited by 3 (3 self) – Add To MetaCart
Showing 1 through 3.
