Searching for authors named "Sumit Kumar" – sorted by Relevance.
7 documents found, showing 1 through 7.
-
Better slicing of programs with jumps and switches
- …Better Slicing of Programs with Jumps and Switches Sumit Kumar 1 (sumit@(email omitted);) and Susan…
- Cited by 15 (3 self) – Add To MetaCart
-
Better Slicing of Programs with Jumps and Switches
- …Better Slicing of Programs with Jumps and Switches Sumit Kumar 1 (sumit@(email omitted);) and Susan…
- Add To MetaCart
-
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…
- Cited by 2 (2 self) – Add To MetaCart
-
Anaphora Resolution in Multi-Person Dialogues
- …Anaphora Resolution in Multi-Person Dialogues Prateek Jain and Manav Ratan Mital and Sumit Kumar…
- Add To MetaCart
-
A Novel Interface Gateway Architecture for Seamless Interoperability between 802.11e and 802.16e
- … Ritesh Kumar K 1 , Vidya Sagar 1 , Sumit Kumar 1 , Abhijit M. Lele 2 , Debabrata Das 1 1 International…
- Cited by 1 (1 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 1 (1 self) – Add To MetaCart
Showing 1 through 7.
