Mihir Vahanwala
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
5
Active years
2022–2026
Best venue rank
A*
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | AAAI | Temporal Properties of Conditional Independence in Dynamic Bayesian Networks. | Rajab Aghamov, Christel Baier, Jol Ouaknine, Jakob Piribauer, Mihir Vahanwala, Isa Vialard |
| 2026 | ICALP | Automata on S-Adic Words. | Valrie Berth, Toghrul Karimov, Mihir Vahanwala |
| 2026 | LICS | On Variable-Bounded Non-Linear Expansions of Presburger Arithmetic. | Piotr Bacik, Joris Nieuwveld, Jol Ouaknine, Mihir Vahanwala, Madhavan Venkatesh, Emil Rugaard Wieser |
| 2024 | LICS | On the Decidability of Monadic Second-Order Logic with Arithmetic Predicates. | Valrie Berth, Toghrul Karimov, Joris Nieuwveld, Jol Ouaknine, Mihir Vahanwala, James Worrell |
| 2023 | CAV | Overcoming Memory Weakness with Unified Fairness - Systematic Verification of Liveness in Weak Memory Models. | Parosh Aziz Abdulla, Mohamed Faouzi Atig, Adwait Godbole, Shankaranarayanan Krishna, Mihir Vahanwala |
| 2022 | STACS | On Robustness for the Skolem and Positivity Problems. | S. Akshay, Hugo Bazille, Blaise Genest, Mihir Vahanwala |