Paritosh Pandya

Identifiers

• name variant Paritosh Pandya 0.60 · backfill

Papers (4)

1. B\"uchi-Kamp Theorems for 1-clock ATA cs.LO · 2018 · author #3
2. Two-variable Logic with a Between Predicate cs.LO · 2016 · author #3
3. Metric Temporal Logic with Counting cs.LO · 2015 · author #3
4. Partially Punctual Metric Temporal Logic is Decidable cs.LO · 2014 · author #3

Mentions

• 1404.6965 #3 · backfill · confidence 0.70 Paritosh Pandya

Frequent Coauthors

• Khushraj Madnani 3 shared papers
• Shankara Narayanan Krishna 3 shared papers
• Andreas Krebs 1 shared papers
• Howard Straubing 1 shared papers
• Kamal Lodaya 1 shared papers