Mahsa Shirmohammadi
Title
Cited by
Cited by
Year
Roughness in Cayley graphs
MH Shahzamanian, M Shirmohammadi, B Davvaz
Information Sciences 180 (17), 3362-3372, 2010
302010
Infinite synchronizing words for probabilistic automata
L Doyen, T Massart, M Shirmohammadi
International Symposium on Mathematical Foundations of Computer Science, 278-289, 2011
172011
Synchronizing words for weighted and timed automata
L Doyen, L Juhl, KG Larsen, N Markey, M Shirmohammadi
34th International Conference on Foundation of Software Technology and …, 2014
162014
Revisiting reachability in timed automata
K Quaas, M Shirmohammadi, J Worrell
2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 1-12, 2017
122017
Nonnegative matrix factorization requires irrationality
D Chistikov, S Kiefer, I Marusic, M Shirmohammadi, J Worrell
SIAM Journal on Applied Algebra and Geometry 1 (1), 285-307, 2017
112017
Limit synchronization in Markov decision processes
L Doyen, T Massart, M Shirmohammadi
International Conference on Foundations of Software Science and Computation …, 2014
112014
Trace refinement in labelled Markov decision processes
N Fijalkow, S Kiefer, M Shirmohammadi
International Conference on Foundations of Software Science and Computation …, 2016
102016
Synchronizing objectives for Markov decision processes
L Doyen, T Massart, M Shirmohammadi
arXiv preprint arXiv:1102.4121, 2011
92011
Infinite synchronizing words for probabilistic automata (Erratum)
L Doyen, T Massart, M Shirmohammadi
arXiv preprint arXiv:1206.0995, 2012
82012
Synchronizing automata over nested words
D Chistikov, P Martyugin, M Shirmohammadi
International Conference on Foundations of Software Science and Computation …, 2016
72016
Synchronizing data words for register automata
P Babari, K Quaas, M Shirmohammadi
41st International Symposium on Mathematical Foundations of Computer Science …, 2016
72016
Parity objectives in countable mdps
S Kiefer, R Mayr, M Shirmohammadi, D Wojtczakz
2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 1-11, 2017
62017
On restricted nonnegative matrix factorization
D Chistikov, S Kiefer, I Marušić, M Shirmohammadi, J Worrell
arXiv preprint arXiv:1605.07061, 2016
62016
Effective definability of the reachability relation in timed automata
M Fränzle, K Quaas, M Shirmohammadi, J Worrell
Information Processing Letters 153, 105871, 2020
52020
Qualitative analysis of probabilistic synchronizing systems
M Shirmohammadi
Ph. D. Dissertation. Universite Libre de Bruxelles, Belgium, and Ecole …, 2014
52014
B\" uchi Objectives in Countable MDPs
S Kiefer, R Mayr, M Shirmohammadi, P Totzke
arXiv preprint arXiv:1904.11573, 2019
42019
Coverability in 1-VASS with Disequality tests
S Almagor, N Cohen, GA Pérez, M Shirmohammadi, J Worrell
arXiv preprint arXiv:1902.06576, 2019
42019
On rationality of nonnegative matrix factorization
D Chistikov, S Kiefer, I Marušic, M Shirmohammadi, J Worrell
Proceedings of the Twenty-Eighth Annual ACM-SIAM Symposium on Discrete …, 2017
42017
Robust synchronization in Markov decision processes
L Doyen, T Massart, M Shirmohammadi
International Conference on Concurrency Theory, 234-248, 2014
42014
Synchronizing words for timed and weighted automata
L Doyen, L Juhl, KG Larsen, N Markey, M Shirmohammadi
42014
The system can't perform the operation now. Try again later.
Articles 1–20