Work yet to be accepted for publication
- Rajab Aghamov, Christel Baier, Joël Ouaknine, Jakob Piribauer, Mihir Vahanwala, Isa Vialard Temporal Properties of Conditional Independence in Dynamic Bayesian Networks
Submitted.
- Valérie Berthé, Toghrul Karimov, Mihir Vahanwala Automata on Self-Similar Words
Submitted.
- Parosh Abdulla, Mohamed Faouzi Atig, Adwait Godbole, S. Krishna, Mihir Vahanwala Unified Fairness for Weak Memory Verification
Submitted. Extended version of the CAV 2023 paper.
Papers
- Valérie Berthé, Toghrul Karimov, Joris Nieuwveld, Joël Ouaknine, Mihir Vahanwala, James Worrell On the Decidability of Monadic Second-Order Logic with Arithmetic Predicates
Proceedings of LICS 2024 (doi). Distinguished Paper Award.
- Mihir Vahanwala Robust Positivity Problems for Linear Recurrence Sequences
Proceedings of FSTTCS 2023 (doi).
- Parosh Abdulla, Mohamed Faouzi Atig, Adwait Godbole, S. Krishna, Mihir Vahanwala Overcoming Memory Weakness with Unified Fairness
Proceedings of CAV 2023 (doi).
Errata
- Mihir Vahanwala Skolem and Positivity Completeness of Ergodic Markov Chains
Information Processing Letters, 186:106481 (doi).
- S. Akshay, Hugo Bazille, Blaise Genest, Mihir Vahanwala On Robustness for the Skolem, Positivity and Ultimate Positivity Problems
LMCS Volume 20, Issue 2 (doi). Extended version of the conference paper which appeared in the proceedings of STACS 2022 (doi).
Invited papers for special-issue volumes
- Toghrul Karimov, Joris Nieuwveld, Joël Ouaknine, Mihir Vahanwala, James Worrell Algorithmic Applications of Schanuel's Conjecture
LNCS Volume 15760 (Principles of Formal Quantitative Analysis, doi)
- Rajab Aghamov, Christel Baier, Toghrul Karimov, Joris Nieuwveld, Joël Ouaknine, Jakob Piribauer, Mihir Vahanwala Model Checking Markov Chains as Distribution Transformers
LNCS Volume 15261 (Principles of Verification: Cycling the Probabilistic Landscape, doi).
- Parosh Abdulla, Mohamed Faouzi Atig, Adwait Godbole, S. Krishna, Mihir Vahanwala Fairness and Liveness under Weak Consistency
LNCS volume 14660 (Taming the Infinities of Concurrency, doi).
- Valérie Berthé, Toghrul Karimov, Joris Nieuwveld, Joël Ouaknine, Mihir Vahanwala, James Worrell The Monadic Theory of Toric Words
Theoretical Computer Science Volume 1025 (doi).
Talks
- Automata on Self-Similar Words, Poster
Highlights 2025, Saarbrücken
- On the Monadic Second-Order Theory of Arithmetic Predicates (Technical)
Invited Talk at IRIF Automata Seminar 2024, Paris
- On the Monadic Second-Order Theory of Arithmetic Predicates (General), Poster
SymDynAr 2024, Roscoff; Invited Talk at TCS Seminar Series 2024, CMI, Chennai; Poster at LICS 2024, Tallinn
- Skolem and Positivity Completeness of Ergodic Markov Chains
Highlights 2023, Kassel
- Robust Positivity Problems for Linear Recurrence Sequences
Dynamical Systems 2023, Barbados; Highlights 2023, Kassel; FSTTCS 2023, Hyderabad
- Overcoming Memory Weakness with Unified Fairness
CAV 2023, Paris; RHPL 2023, Hyderabad
- On Robustness for Linear Recurrence Sequences
Invited talk, STCS Seminar 2023, TIFR, Mumbai
Other writings
Go back up
Home
LaTeX Course
Hobbies
Imprint
Data Protection