Venkatesh Mysore

12 papers A* 1B 1Misc 1Journal 3Unranked 5
YearRankTypeTitle / Venue / Authors
2024 J jnl
Preference optimization of protein language models as a multi-objective binder design paradigm.
CoRR
Pouria Mistani, Venkatesh Mysore
2022 J jnl
Intelligent resolution: Integrating Cryo-EM with AI-driven multi-resolution simulations to observe the severe acute respiratory syndrome coronavirus-2 replication-transcription machinery in action.
Int. J. High Perform. Comput. Appl.
Anda Trifan, Defne Gorgun, Michael Salim, Zongyi Li, Alexander Brace, Maxim Zvyagin, Heng Ma, Austin Clyde, David Clark, David J. Hardy, Tom Burnley, Lei Huang, John D. McCalpin, Murali Emani, Hyenseung Yoo, Junqi Yin, Aristeidis Tsaris, Vishal Subbiah, Tanveer Raza, Jessica Liu, Noah Trebesch, Geoffrey Wells, Venkatesh Mysore, Tom Gibbs, James C. Phillips, S. Chakra Chennubhotla, Ian T. Foster, Rick Stevens, Anima Anandkumar, Venkatram Vishwanath, John E. Stone, Emad Tajkhorshid, Sarah A. Harris, Arvind Ramanathan
2012 J jnl
Low dimensional hybrid systems - decidable, undecidable, don't know.
Inf. Comput.
Eugene Asarin, Venkatesh Mysore, Amir Pnueli, Gerardo Schneider
2007 — conf
Algorithmic Algebraic Model Checking IV: Characterization of Metabolic Networks.
AB
Venkatesh Mysore, Bud Mishra
2007 — conf
Prediction of DNA-binding residues from sequence.
ISMB/ECCB (Supplement of Bioinformatics)
Yanay Ofran, Venkatesh Mysore, Burkhard Rost
2006 — —
Algorithmic Algebraic Model Checking: Hybrid Automata & Systems Biology.
Venkatesh Mysore
2006 — conf
Multi-objective evolutionary optimization of agent-based models: An application to emergency response planning.
Computational Intelligence
Giuseppe Narzisi, Venkatesh Mysore, Bud Mishra
2005 A* conf
Algorithmic Algebraic Model Checking I: Challenges from Systems Biology.
CAV
Carla Piazza, Marco Antoniotti, Venkatesh Mysore, Alberto Policriti, Franz Winkler, Bud Mishra
2005 B conf
Algorithmic Algebraic Model Checking II: Decidability of Semi-algebraic Model Checking and Its Applications to Systems Biology.
ATVA
Venkatesh Mysore, Carla Piazza, Bud Mishra
2005 — conf
Algorithmic Algebraic Model Checking III: Approximate Methods.
INFINITY
Venkatesh Mysore, Bud Mishra
2005 Misc conf
Fast and Cheap Genome Wide Haplotype Construction via Optical Mapping.
Pacific Symposium on Biocomputing
Thomas S. Anantharaman, Venkatesh Mysore, Bud Mishra
2005 — conf
Refining the Undecidability Frontier of Hybrid Automata.
FSTTCS
Venkatesh Mysore, Amir Pnueli