Venkatesh P. Mysore, Ph.D.

Affiliations: 
2006 New York University, New York, NY, United States 
Area:
Computer Science
Google:
"Venkatesh Mysore"

Parents

Sign in to add mentor
Bud Mishra grad student 2006 NYU
 (Algorithmic algebraic model checking: Hybrid automata and systems biology.)
BETA: Related publications

Publications

You can help our author matching system! If you notice any publications incorrectly attributed to this author, please sign in and mark matches as correct or incorrect.

Asarin E, Mysore VP, Pnueli A, et al. (2012) Low dimensional hybrid systems - Decidable, undecidable, dont know Information and Computation. 211: 138-159
See more...