Get started
Author

Mahsa Shirmohammadi

Roughness in Cayley graphs
2010 · M.H. Shahzamanian, M. Shirmohammadi, et al. · Information Sciences · 36
PDF
On the Complexity of Value Iteration
2018 · Balaji, Nikhil, Kiefer, Stefan, et al. · arXiv (Cornell University) · 21
PDF
Synchronizing Words for Weighted and Timed Automata
2014 · Doyen, Laurent, Juhl, Line, et al. · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 17
PDF
Revisiting reachability in timed automata
2017 · Karin Quaas, Mahsa Shirmohammadi, et al. · ACM/IEEE Symposium on Logic in Computer Science (LICS) · 16
PDF
Infinite Synchronizing Words for Probabilistic Automata
2011 · Laurent Doyen, Thierry Massart, et al. · Lecture notes in computer science · 16
The complexity of synchronizing Markov decision processes
2018 · Laurent Doyen, Thierry Massart, et al. · Journal of Computer and System Sciences · 15
Parity objectives in countable MDPs
2017 · Stefan Kiefer, Richard Mayr, et al. · ACM/IEEE Symposium on Logic in Computer Science (LICS) · 15
PDF
Limit Synchronization in Markov Decision Processes
2014 · Laurent Doyen, Thierry Massart, et al. · Lecture notes in computer science · 14
PDF
On Learning Polynomial Recursive Programs
2024 · Alex Buna-Marginean, Vincent Cheval, et al. · Proceedings of the ACM on Programming Languages · 13
PDF
Büchi Objectives in Countable MDPs (Track B: Automata, Logic, Semantics, and Theory of Programming)
2019 · Kiefer, Stefan, Mayr, Richard, et al. · Oxford University Research Archive (ORA) (University of Oxford) · 12
PDF
On Restricted Nonnegative Matrix Factorization
2016 · Chistikov, Dmitry, Kiefer, Stefan, et al. · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 12
PDF
How to Play in Infinite MDPs (Invited Talk)
2020 · Kiefer, Stefan, Mayr, Richard, et al. · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 10
PDF
Coverability in 1-VASS with Disequality Tests
2019 · Almagor, Shaull, Cohen, Nathann, et al. · arXiv (Cornell University) · 10
PDF
Synchronizing Objectives for Markov Decision Processes
2011 · Laurent Doyen, Thierry Massart, et al. · Electronic Proceedings in Theoretical Computer Science · 10
Nonnegative Matrix Factorization Requires Irrationality
2017 · Dmitry Chistikov, Stefan Kiefer, et al. · SIAM Journal on Applied Algebra and Geometry · 9
PDF
Robust Synchronization in Markov Decision Processes
2014 · Laurent Doyen, Thierry Massart, et al. · Lecture notes in computer science · 9
PDF
Strategy Complexity of Parity Objectives in Countable MDPs
2020 · Kiefer, Stefan, Mayr, Richard, et al. · arXiv (Cornell University) · 8
PDF
Effective definability of the reachability relation in timed automata
2019 · Martin Fränzle, Karin Quaas, et al. · Information Processing Letters · 7
PDF
Parity objectives in countable MDPs
2017 · Stefan Kiefer, Richard Mayr, et al. · Logic in Computer Science · 7
Simple Linear Loops: Algebraic Invariants and Applications
2025 · Rida Ait El Manssour, George Kenison, et al. · Proceedings of the ACM on Programming Languages · 6
A parametric version of the Hilbert Nullstellensatz
2025 · Rida Ait El Manssour, Nikhil Balaji, et al. · Society for Industrial and Applied Mathematics eBooks · 6
PDF
The Membership Problem for Hypergeometric Sequences with Rational Parameters
2022 · Klara Nosan, Amaury Pouly, et al. · International Symposium on Symbolic and Algebraic Computation · 6
PDF
On the Computation of the Zariski Closure of Finitely Generated Groups of Matrices
2022 · Klara Nosan, Amaury Pouly, et al. · International Symposium on Symbolic and Algebraic Computation · 6
PDF
Controlling a Random Population is EXPTIME-hard
2019 · Mascle, Corto, Shirmohammadi, Mahsa, et al. · arXiv (Cornell University) · 6
PDF
On strong determinacy of countable stochastic games
2017 · Stefan Kiefer, Richard Mayr, et al. · ACM/IEEE Symposium on Logic in Computer Science (LICS) · 6
PDF
Works count: 76
Citation count: 401
H-index: 11
I10-index: 14
Year
Topic
Type