Search the dblp DataBase

Publications of Author

1. Venkatesh Mysore, Carla Piazza, Bud Mishra
   Algorithmic Algebraic Model Checking II: Decidability of Semi-algebraic Model Checking and Its Applications to Systems Biology. [Citation Graph (0, 0)][DBLP]
   ATVA, 2005, pp:217-233 [Conf]
   
2. Carla Piazza, Marco Antoniotti, Venkatesh Mysore, Alberto Policriti, Franz Winkler, Bud Mishra
   Algorithmic Algebraic Model Checking I: Challenges from Systems Biology. [Citation Graph (0, 0)][DBLP]
   CAV, 2005, pp:5-19 [Conf]
   
3. Venkatesh Mysore, Amir Pnueli
   Refining the Undecidability Frontier of Hybrid Automata. [Citation Graph (0, 0)][DBLP]
   FSTTCS, 2005, pp:261-272 [Conf]
   
4. Thomas S. Anantharaman, Venkatesh Mysore, Bud Mishra
   Fast and Cheap Genome Wide Haplotype Construction via Optical Mapping. [Citation Graph (0, 0)][DBLP]
   Pacific Symposium on Biocomputing, 2005, pp:- [Conf]
   
5. Venkatesh Mysore, Bud Mishra
   Algorithmic Algebraic Model Checking III: Approximate Methods. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2006, v:149, n:1, pp:61-77 [Journal]
   
6. Giuseppe Narzisi, Venkatesh Mysore, Bud Mishra
   Multi-objective evolutionary optimization of agent-based models: An application to emergency response planning. [Citation Graph (0, 0)][DBLP]
   Computational Intelligence, 2006, pp:228-232 [Conf]
   
7. Venkatesh Mysore, Bud Mishra
   Algorithmic Algebraic Model Checking IV: Characterization of Metabolic Networks. [Citation Graph (0, 0)][DBLP]
   AB, 2007, pp:170-184 [Conf]
   
8. 
   Prediction of DNA-binding residues from sequence. [Citation Graph (, )][DBLP]