Khushraj Madnani

Identifiers

• name variant Khushraj Madnani 0.60 · backfill

Papers (5)

1. B\"uchi-Kamp Theorems for 1-clock ATA cs.LO · 2018 · author #2
2. Making Metric Temporal Logic Rational cs.LO · 2017 · author #2
3. Metric Temporal Logic with Counting cs.LO · 2015 · author #1
4. Partially Punctual Metric Temporal Logic is Decidable cs.LO · 2014 · author #1
5. On the Decidability and Complexity of Some Fragments of Metric Temporal Logic cs.LO · 2013 · author #1

Mentions

• 1404.6965 #1 · backfill · confidence 0.70 Khushraj Madnani
• 1305.6137 #1 · backfill · confidence 0.70 Khushraj Madnani

Frequent Coauthors

• Shankara Narayanan Krishna 5 shared papers
• Paritosh Pandya 3 shared papers
• Paritosh K. Pandya 1 shared papers
• P. K. Pandya 1 shared papers