Marking the chops: an unambiguous temporal logic. - Kamal Lodaya; Paritosh K. Pandya; Simoni S. Shah (IFIP TCS, 2008)

Around Dot Depth Two. - Kamal Lodaya; Paritosh K. Pandya; Simoni S. Shah (Developments in Language Theory, 2010)

Unambiguity in Timed Regular Languages: Automata and Logics. - Paritosh K. Pandya; Simoni S. Shah (FORMATS, 2010)

On Expressive Powers of Timed Logics: Comparing Boundedness, Non-punctuality, and Deterministic Freezing. - Paritosh K. Pandya; Simoni S. Shah (CONCUR, 2011)

The Unary Fragments of Metric Interval Temporal Logic: Bounded versus Lower Bound Constraints. - Paritosh K. Pandya; Simoni S. Shah (ATVA, 2012)

Deterministic Logics for UL. - Paritosh K. Pandya; Simoni S. Shah (ICTAC, 2013)

The Unary Fragments of Metric Interval Temporal Logic: Bounded versus Lower bound Constraints (Full Version) - Paritosh K. Pandya; Simoni S. Shah (CoRR, 2013)