Simoni S. Shah
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
4
Active years
2010–2013
Best venue rank
C
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2013 | ICTAC | Deterministic Logics for UL. | Paritosh K. Pandya, Simoni S. Shah |
| 2012 | ATVA | The Unary Fragments of Metric Interval Temporal Logic: Bounded versus Lower Bound Constraints. | Paritosh K. Pandya, Simoni S. Shah |
| 2011 | CONCUR | On Expressive Powers of Timed Logics: Comparing Boundedness, Non-punctuality, and Deterministic Freezing. | Paritosh K. Pandya, Simoni S. Shah |
| 2010 | DLT | Around Dot Depth Two. | Kamal Lodaya, Paritosh K. Pandya, Simoni S. Shah |