Mihir Vahanwala
Scholar

Mihir Vahanwala

Google Scholar ID: Nr6ekRcAAAAJ
Doctoral Researcher, MPI-SWS
Formal MethodsLinear Dynamical SystemsConcurrencyWeak Memory
Google Scholar↗
Citations & Impact
All-time
Citations
50
 
H-index
5
 
i10-index
1
 
Publications
20
 
Co-authors
11
list available
Contact
No contact links provided.
Publications
4 items
On Variable-Bounded Non-Linear Expansions of Presburger Arithmetic
2026
Cited
0
Temporal Properties of Conditional Independence in Dynamic Bayesian Networks
2025
Cited
0
Automata on $S$-adic words
2025
Cited
0
The Monadic Theory of Toric Words
Theoretical Computer Science · 2023
Cited
2
Resume (English only)
Co-authors
11 total
Toghrul Karimov
Toghrul Karimov
Max Planck Institute for Software Systems
Joel Ouaknine
Joel Ouaknine
Director, Max Planck Institute for Software Systems (MPI-SWS), Saarland Informatics Campus
Joris Nieuwveld
Joris Nieuwveld
Max Planck Institute for Software Systems
Valerie Berthe
Valerie Berthe
IRIF, CNRS
Hugo Bazille
Hugo Bazille
Laboratoire Recherche et Développement EPITA
S Akshay
S Akshay
IIT Bombay
Parosh Abdulla
Parosh Abdulla
Professor of Computer Science, Uppsala University
James Worrell
James Worrell
Professor of Computer Science, Oxford University