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