Khushraj Madnani
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
12
Venues
8
Active years
2014–2026
Best venue rank
A*
Where they publish
Papers
12 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | TACAS | MightyPPL: Model Checking MITL with Past and Pnueli Modalities. | Hsi-Ming Ho, Shankara Narayanan Krishna, Khushraj Madnani, Rupak Majumdar, Paritosh K. Pandya |
| 2025 | CONCUR | Expressive Equivalence Between Decidable Freeze and Metric Timed Temporal Logics. | Hsi-Ming Ho, Shankara Narayanan Krishna, Khushraj Madnani, Rupak Majumdar, Paritosh K. Pandya |
| 2025 | ICALP | Approximate Problems for Finite Transducers. | Emmanuel Filiot, Ismal Jecker, Khushraj Madnani, Saina Sunny |
| 2024 | ICALP | An Efficient Quantifier Elimination Procedure for Presburger Arithmetic. | Christoph Haase, Shankara Narayanan Krishna, Khushraj Madnani, Om Swostik Mishra, Georg Zetzsche |
| 2023 | CONCUR | Monus Semantics in Vector Addition Systems with States. | Pascal Baumann, Khushraj Madnani, Filip Mazowiecki, Georg Zetzsche |
| 2023 | TIME | More Than 0s and 1s: Metric Quantifiers and Counting over Timed Words. | Hsi-Ming Ho, Khushraj Madnani |
| 2021 | FM | Generalizing Non-punctuality for Timed Temporal Logic with Freeze Quantifiers. | Shankara Narayanan Krishna, Khushraj Madnani, Manuel Mazo Jr., Paritosh K. Pandya |
| 2018 | CONCUR | Logics Meet 1-Clock Alternating Timed Automata. | Shankara Narayanan Krishna, Khushraj Madnani, Paritosh K. Pandya |
| 2017 | MFCS | Making Metric Temporal Logic Rational. | Shankara Narayanan Krishna, Khushraj Madnani, Paritosh K. Pandya |
| 2016 | FOSSACS | Metric Temporal Logic with Counting. | Shankara Narayanan Krishna, Khushraj Madnani, Paritosh K. Pandya |
| 2014 | ICTAC | On Unary Fragments of MTL and TPTL over Timed Words. | Khushraj Madnani, Shankara Narayanan Krishna, Paritosh K. Pandya |
| 2014 | TIME | Partially Punctual Metric Temporal Logic is Decidable. | Khushraj Madnani, Shankara Narayanan Krishna, Paritosh K. Pandya |