Searching for authors named "Venkatesh Mysore" – sorted by Relevance.
7 documents found, showing 1 through 7.
-
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
Showing 1 through 7.
