Simoni S. Shah

According to our database, Simoni S. Shah authored at least 7 papers between 2008 and 2013.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2013

The Unary Fragments of Metric Interval Temporal Logic: Bounded versus Lower bound Constraints (Full Version)

Paritosh K. Pandya, Simoni S. Shah

CoRR, 2013

Deterministic Logics for UL.

Paritosh K. Pandya, Simoni S. Shah

Proceedings of the Theoretical Aspects of Computing - ICTAC 2013, 2013

2012

The Unary Fragments of Metric Interval Temporal Logic: Bounded versus Lower Bound Constraints.

Paritosh K. Pandya, Simoni S. Shah

Proceedings of the Automated Technology for Verification and Analysis, 2012

2011

On Expressive Powers of Timed Logics: Comparing Boundedness, Non-punctuality, and Deterministic Freezing.

Paritosh K. Pandya, Simoni S. Shah

Proceedings of the CONCUR 2011 - Concurrency Theory - 22nd International Conference, 2011

2010

Unambiguity in Timed Regular Languages: Automata and Logics.

Paritosh K. Pandya, Simoni S. Shah

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2010

Around Dot Depth Two.

Kamal Lodaya, Paritosh K. Pandya, Simoni S. Shah

Proceedings of the Developments in Language Theory, 14th International Conference, 2010

2008

Marking the chops: an unambiguous temporal logic.

Kamal Lodaya, Paritosh K. Pandya, Simoni S. Shah

Proceedings of the Fifth IFIP International Conference On Theoretical Computer Science, 2008