Venkatesh Mysore

Publication Activity (10 Years)

Years Active: 2005-2024
Publications (10 Years): 2

Top Topics

Electron Microscopy

Language Modeling

Severe Acute Respiratory Syndrome

Top Venues

Int. J. High Perform. Comput. Appl.

Publications

Pouria Mistani, Venkatesh Mysore
Preference optimization of protein language models as a multi-objective binder design paradigm. CoRR (2024)
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
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. 36 (5-6) (2022)
Eugene Asarin, Venkatesh Mysore, Amir Pnueli, Gerardo Schneider
Low dimensional hybrid systems - decidable, undecidable, don't know. Inf. Comput. 211 (2012)
Venkatesh Mysore, Bud Mishra
Algorithmic Algebraic Model Checking IV: Characterization of Metabolic Networks. AB (2007)
Yanay Ofran, Venkatesh Mysore, Burkhard Rost
Prediction of DNA-binding residues from sequence. ISMB/ECCB (Supplement of Bioinformatics) (2007)
Giuseppe Narzisi, Venkatesh Mysore, Bud Mishra
Multi-objective evolutionary optimization of agent-based models: An application to emergency response planning. Computational Intelligence (2006)
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)
Venkatesh Mysore, Bud Mishra
Algorithmic Algebraic Model Checking III: Approximate Methods. INFINITY (2005)
Carla Piazza, Marco Antoniotti, Venkatesh Mysore, Alberto Policriti, Franz Winkler, Bud Mishra
Algorithmic Algebraic Model Checking I: Challenges from Systems Biology. CAV (2005)
Thomas S. Anantharaman, Venkatesh Mysore, Bud Mishra
Fast and Cheap Genome Wide Haplotype Construction via Optical Mapping. Pacific Symposium on Biocomputing (2005)
Venkatesh Mysore, Amir Pnueli
Refining the Undecidability Frontier of Hybrid Automata. FSTTCS (2005)