|
Search the dblp DataBase
Vinayak S. Prabhu:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Thomas A. Henzinger, Rupak Majumdar, Vinayak S. Prabhu
Quantifying Similarities Between Timed Systems. [Citation Graph (0, 0)][DBLP] FORMATS, 2005, pp:226-241 [Conf]
- Thomas A. Henzinger, Vinayak S. Prabhu
Timed Alternating-Time Temporal Logic. [Citation Graph (0, 0)][DBLP] FORMATS, 2006, pp:1-17 [Conf]
- Thomas A. Henzinger, Marius Minea, Vinayak S. Prabhu
Assume-Guarantee Reasoning for Hierarchical Hybrid Systems. [Citation Graph (0, 0)][DBLP] HSCC, 2001, pp:275-290 [Conf]
- Thomas Brihaye, Thomas A. Henzinger, Vinayak S. Prabhu, Jean-François Raskin
Minimum-Time Reachability in Timed Games. [Citation Graph (0, 0)][DBLP] ICALP, 2007, pp:825-837 [Conf]
Timed Parity Games: Complexity and Robustness. [Citation Graph (, )][DBLP]
Trading Infinite Memory for Uniform Randomness in Timed Games. [Citation Graph (, )][DBLP]
QuanTM: a quantitative trust management system. [Citation Graph (, )][DBLP]
Timed Parity Games: Complexity and Robustness [Citation Graph (, )][DBLP]
Search in 0.002secs, Finished in 0.003secs
|