| Prediction of DNA-binding residues from sequence Y Ofran, V Mysore, B Rost Bioinformatics 23 (13), i347-i353, 2007 | 208 | 2007 |
| EGFR oligomerization organizes kinase-active dimers into competent signalling platforms SR Needham, SK Roberts, A Arkhipov, VP Mysore, CJ Tynan, ... Nature communications 7 (1), 13307, 2016 | 174 | 2016 |
| Structural analysis of the EGFR/HER3 heterodimer reveals the molecular basis for activating HER3 mutations P Littlefield, L Liu, V Mysore, Y Shan, DE Shaw, N Jura Science signaling 7 (354), ra114-ra114, 2014 | 130 | 2014 |
| Algorithmic algebraic model checking I: Challenges from systems biology C Piazza, M Antoniotti, V Mysore, A Policriti, F Winkler, B Mishra International Conference on Computer Aided Verification, 5-19, 2005 | 96 | 2005 |
| Multi-objective evolutionary optimization of agent-based models: An application to emergency response planning. G Narzisi, V Mysore, B Mishra Computational Intelligence 2006, 224-230, 2006 | 77 | 2006 |
| A structural model of a Ras–Raf signalosome VP Mysore, ZW Zhou, C Ambrogio, L Li, JN Kapp, C Lu, Q Wang, ... Nature structural & molecular biology 28 (10), 847-857, 2021 | 61 | 2021 |
| Algorithmic algebraic model checking II: Decidability of semi-algebraic model checking and its applications to systems biology V Mysore, C Piazza, B Mishra International Symposium on Automated Technology for Verification and …, 2005 | 52 | 2005 |
| Agent modeling of a sarin attack in manhattan V Mysore, G Narzisi, B Mishra Proceedings of the First International Workshop on Agent Technology for …, 2006 | 50 | 2006 |
| Low dimensional hybrid systems–decidable, undecidable, donʼt know E Asarin, VP Mysore, A Pnueli, G Schneider Information and Computation 211, 138-159, 2012 | 45 | 2012 |
| System, method, and computer-accessible medium for providing a multi-objective evolutionary optimization of agent-based models G Narzisi, B Mishra, V Mysore US Patent 8,015,127, 2011 | 36 | 2011 |
| How does a small molecule bind at a cryptic binding site? Y Shan, VP Mysore, AE Leffler, ET Kim, S Sagawa, DE Shaw PLoS computational biology 18 (3), e1009817, 2022 | 28 | 2022 |
| Fast and cheap genome wide haplotype construction via optical mapping TS Anantharaman, V Mysore, B Mishra Biocomputing 2005, 385-396, 2005 | 26 | 2005 |
| Refining the undecidability frontier of hybrid automata V Mysore, A Pnueli International conference on foundations of software technology and …, 2005 | 22 | 2005 |
| Multi-agent modeling and analysis of the brazilian food-poisoning scenario V Mysore, O Gill, RS Daruwala, M Antoniotti, V Saraswat, B Mishra The Agent Conference, 2005 | 21 | 2005 |
| Algorithmic algebraic model checking III: Approximate methods V Mysore, B Mishra Electronic Notes in Theoretical Computer Science 149 (1), 61-77, 2006 | 19 | 2006 |
| Independent dynamics hybrid automata in systems biology A Casagrande, V Mysore, C Piazza, B Mishra Proceedings of the First International Conference on Algebraic Biology (AB …, 2005 | 17 | 2005 |
| AI is a viable alternative to high throughput screening: a 318-target study Scientific reports 14 (1), 7526, 2024 | 16 | 2024 |
| Algorithmic algebraic model checking iv: Characterization of metabolic networks V Mysore, B Mishra Algebraic Biology: Second International Conference, AB 2007, Castle of …, 2007 | 14 | 2007 |
| Algorithmic algebraic model checking i: The case of biochemical systems and their reachability analysis C Piazza, M Antoniotti, V Mysore, A Policriti, F Winkler, B Mishra CAV, 5-19, 2005 | 13 | 2005 |
| A sense of life: computational and experimental investigations with models of biochemical and evolutionary processes B Mishra, RS Daruwala, Y Zhou, N Ugel, A Policriti, M Antoniotti, S Paxia, ... OMICS A Journal of Integrative Biology 7 (3), 253-268, 2003 | 13 | 2003 |