Simoni S. Shah
Identifiers
- name variant Simoni S. Shah 0.60 · backfill
Papers (3)
- Deterministic Logics for UL cs.FL · 2014 · author #2
- The Unary Fragments of Metric Interval Temporal Logic: Bounded versus Lower bound Constraints (Full Version) cs.LO · 2013 · author #2
- On Expressive Powers of Timed Logics: Comparing Boundedness, Non-punctuality and Deterministic Freezing cs.LO · 2011 · author #2
Mentions
Frequent Coauthors
- Paritosh K. Pandya 3 shared papers