Algorithmic Algebraic Model Checking II: Decidability of Semi-algebraic Model Checking and Its Applications to Systems Biology. - Venkatesh Mysore; Carla Piazza; Bud Mishra (ATVA, 2005)

Algorithmic Algebraic Model Checking I: Challenges from Systems Biology. - Carla Piazza; Marco Antoniotti; Venkatesh Mysore; Alberto Policriti; Franz Winkler 001; Bud Mishra (CAV, 2005)

Refining the Undecidability Frontier of Hybrid Automata. - Venkatesh Mysore; Amir Pnueli (FSTTCS, 2005)

Fast and Cheap Genome Wide Haplotype Construction via Optical Mapping. - Thomas S. Anantharaman; Venkatesh Mysore; Bud Mishra (Pacific Symposium on Biocomputing, 2005)

Algorithmic Algebraic Model Checking III: Approximate Methods. - Venkatesh Mysore; Bud Mishra (INFINITY, 2005)

Multi-objective evolutionary optimization of agent-based models: An application to emergency response planning. - Giuseppe Narzisi; Venkatesh Mysore; Bud Mishra (Computational Intelligence, 2006)

Algorithmic Algebraic Model Checking: Hybrid Automata & Systems Biology. - Venkatesh Mysore (2006)

Algorithmic Algebraic Model Checking IV: Characterization of Metabolic Networks. - Venkatesh Mysore; Bud Mishra (AB, 2007)

Prediction of DNA-binding residues from sequence. - Yanay Ofran; Venkatesh Mysore; Burkhard Rost (ISMB/ECCB (Supplement of Bioinformatics), 2007)

Low dimensional hybrid systems - decidable, undecidable, don't know. - Eugene Asarin; Venkatesh Mysore; Amir Pnueli; Gerardo Schneider (Inf. Comput., 2012)

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 019; et al. (Int. J. High Perform. Comput. Appl., 2022)

Preference optimization of protein language models as a multi-objective binder design paradigm. - Pouria Mistani; Venkatesh Mysore (CoRR, 2024)