Mihir Vahanwala

From MaRDI portal
Person:6490958

Available identifiers

zbMath Open vahanwala.mihirMaRDI QIDQ6490958

List of research outcomes





PublicationDate of PublicationType
The monadic theory of toric words2024-12-12Paper
On robustness for the Skolem, positivity and ultimate positivity problems2024-06-27Paper
Skolem and positivity completeness of ergodic Markov chains2024-06-07Paper
On robustness for the Skolem and positivity problems2024-04-23Paper
Overcoming memory weakness with unified fairness. Systematic verification of liveness in weak memory models2024-02-01Paper

Research outcomes over time

This page was built for person: Mihir Vahanwala

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:6490958&oldid=40441717"
Powered by MediaWiki