Venkatesh Mysore

According to our database, Venkatesh Mysore authored at least 12 papers between 2005 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2024

Preference optimization of protein language models as a multi-objective binder design paradigm.

Pouria Mistani, Venkatesh Mysore

CoRR, 2024

2022

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.

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

Int. J. High Perform. Comput. Appl., 2022

2012

Low dimensional hybrid systems - decidable, undecidable, don't know.

Eugene Asarin, Venkatesh Mysore, Amir Pnueli, Gerardo Schneider

Inf. Comput., 2012

2007

Prediction of DNA-binding residues from sequence.

Yanay Ofran, Venkatesh Mysore, Burkhard Rost

Proceedings of the Proceedings 15th International Conference on Intelligent Systems for Molecular Biology (ISMB) & 6th European Conference on Computational Biology (ECCB), 2007

Algorithmic Algebraic Model Checking IV: Characterization of Metabolic Networks.

Venkatesh Mysore, Bud Mishra

Proceedings of the Algebraic Biology, Second International Conference, 2007

2006

Algorithmic Algebraic Model Checking: Hybrid Automata & Systems Biology.

Venkatesh Mysore

PhD thesis, 2006

Multi-objective evolutionary optimization of agent-based models: An application to emergency response planning.

Giuseppe Narzisi, Venkatesh Mysore, Bud Mishra

Proceedings of the Second IASTED International Conference on Computational Intelligence, 2006

2005

Algorithmic Algebraic Model Checking III: Approximate Methods.

Venkatesh Mysore, Bud Mishra

Proceedings of the 7th International Workshop on Verification of Infinite-State Systems, 2005

Fast and Cheap Genome Wide Haplotype Construction via Optical Mapping.

Thomas S. Anantharaman, Venkatesh Mysore, Bud Mishra

Proceedings of the Biocomputing 2005, 2005

Refining the Undecidability Frontier of Hybrid Automata.

Venkatesh Mysore, Amir Pnueli

Proceedings of the FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science, 2005

Algorithmic Algebraic Model Checking I: Challenges from Systems Biology.

Carla Piazza, Marco Antoniotti, Venkatesh Mysore, Alberto Policriti, Franz Winkler, Bud Mishra

Proceedings of the Computer Aided Verification, 17th International Conference, 2005

Algorithmic Algebraic Model Checking II: Decidability of Semi-algebraic Model Checking and Its Applications to Systems Biology.

Venkatesh Mysore, Carla Piazza, Bud Mishra

Proceedings of the Automated Technology for Verification and Analysis, 2005