Searching for authors named "Venkatesh Mysore" – sorted by Relevance.
-
Tolque – A Tool for Algorithmic Algebraic Model Checking
- Tolque: A Tool for Algorithmic Algebraic Model Checking Venkatesh Mysore 1 , Alberto Casagrande 2
- Cited by 3 (2 self) – Add To MetaCart
-
Complexities, catastrophes and cities: Emergency dynamics in varying scenarios and urban topologies
- Topologies Giuseppe Narzisi, Venkatesh Mysore, Jeewoong Byeon and Bud Mishra Courant Institute
- Cited by 1 (1 self) – Add To MetaCart
-
Emergency Response Planning for a Potential Sarin Gas
- ABSTRACT Venkatesh Mysore New York University 715 Broadway #1012 New York, NY, USA mysore
- Add To MetaCart
-
Multi-Objective Evolutionary Optimization Of Agent-Based
- RESPONSE PLANNING Giuseppe Narzisi 1,2 , Venkatesh Mysore 2 and Bud Mishra 2 1 Department of Mathematics
- Add To MetaCart
-
The Importance of Being Bounded
- The Importance of Being Bounded ⋆ Alberto Casagrande 1,2 , Venkatesh Mysore 3 , Carla Piazza 2
- Add To MetaCart
-
INFINITY 2005 Preliminary Version
- Abstract Venkatesh Mysore 1,2 Computer Science Department, Courant Institute New York University, New York
- Add To MetaCart
-
Algorithmic Algebraic Model Checking: Hybrid Automata and Systems Biology
- Algorithmic Algebraic Model Checking: Hybrid Automata and Systems Biology by Venkatesh Pranesh
- Cited by 3 (1 self) – Add To MetaCart

