P. Dasgupta

Learn More
The global behavior of interactions between genes can be investigated by forming the network of functionally-related genes using the annotations based on the Gene Ontology. We define two genes to be connected when the pair of genes is involved in the same biological process. There has been other work on the analysis of different kinds of cellular and(More)
Scalable tools and algorithms for liveness verification: contributed to design and implementation of symbolic liveness verification algorithms that can be seamlessly integrated with SAT-based bit-level model checkers. Efficacy of the proposed techniques have been demonstrated for response verification for industrially relevant communication fabrics.(More)
  • 1