Mahsa Shirmohammadi
TitleCited byYear
Roughness in Cayley graphs
MH Shahzamanian, M Shirmohammadi, B Davvaz
Information Sciences 180 (17), 3362-3372, 2010
292010
Infinite synchronizing words for probabilistic automata
L Doyen, T Massart, M Shirmohammadi
International Symposium on Mathematical Foundations of Computer Science, 278-289, 2011
162011
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
132014
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
92016
Synchronizing objectives for Markov decision processes
L Doyen, T Massart, M Shirmohammadi
arXiv preprint arXiv:1102.4121, 2011
92011
Revisiting reachability in timed automata
K Quaas, M Shirmohammadi, J Worrell
Proceedings of the 32nd Annual ACM/IEEE Symposium on Logic in Computer …, 2017
82017
Infinite synchronizing words for probabilistic automata (Erratum)
L Doyen, T Massart, M Shirmohammadi
arXiv preprint arXiv:1206.0995, 2012
82012
On restricted nonnegative matrix factorization
D Chistikov, S Kiefer, I Marušić, M Shirmohammadi, J Worrell
arXiv preprint arXiv:1605.07061, 2016
62016
Synchronizing automata over nested words
D Chistikov, P Martyugin, M Shirmohammadi
International Conference on Foundations of Software Science and Computation …, 2016
62016
On rationality of nonnegative matrix factorization
D Chistikov, S Kiefer, I Marušić, 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
Costs and rewards in priced timed automata
M Fränzle, M Shirmohammadi, M Swaminathan, J Worrell
arXiv preprint arXiv:1803.01914, 2018
32018
Synchronizing data words for register automata
P Babari, K Quaas, M Shirmohammadi
41st International Symposium on Mathematical Foundations of Computer Science …, 2016
32016
Qualitative analysis of probabilistic synchronizing systems
M Shirmohammadi
Ecole Normale Supérieure de Cachan, France, 2014
32014
Synchronizing words for timed and weighted automata
L Doyen, L Juhl, KG Larsen, N Markey, M Shirmohammadi
32014
ZDD-Based Cryptanalysis of E0 Keystream Generator
M Ghasemzadeh, C Meinel, M Shirmohammadi, MH Shahzamanian
32008
Coverability in 1-VASS with Disequality tests
S Almagor, N Cohen, GA Pérez, M Shirmohammadi, J Worrell
arXiv preprint arXiv:1902.06576, 2019
22019
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
22017
The system can't perform the operation now. Try again later.
Articles 1–20