Roughness in Cayley graphs MH Shahzamanian, M Shirmohammadi, B Davvaz Information Sciences 180 (17), 3362-3372, 2010 | 39 | 2010 |
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 | 22 | 2014 |
Infinite synchronizing words for probabilistic automata L Doyen, T Massart, M Shirmohammadi Mathematical Foundations of Computer Science 2011: 36th International …, 2011 | 18 | 2011 |
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 | 17 | 2017 |
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 | 15 | 2017 |
On restricted nonnegative matrix factorization D Chistikov, S Kiefer, I Marušić, M Shirmohammadi, J Worrell arXiv preprint arXiv:1605.07061, 2016 | 15 | 2016 |
Synchronizing automata over nested words D Chistikov, P Martyugin, M Shirmohammadi Foundations of Software Science and Computation Structures: 19th …, 2016 | 13 | 2016 |
Limit Synchronization in Markov Decision Processes. L Doyen, T Massart, M Shirmohammadi FoSSaCS, 58-72, 2014 | 13 | 2014 |
Parity objectives in countable MDPs S Kiefer, R Mayr, M Shirmohammadi, D Wojtczak arXiv preprint arXiv:1704.04490, 2017 | 12 | 2017 |
Trace refinement in labelled Markov decision processes N Fijalkow, S Kiefer, M Shirmohammadi Foundations of Software Science and Computation Structures: 19th …, 2016 | 12 | 2016 |
Effective definability of the reachability relation in timed automata M Fränzle, K Quaas, M Shirmohammadi, J Worrell Information Processing Letters 153, 105871, 2020 | 11 | 2020 |
On the complexity of value iteration N Balaji, S Kiefer, P Novotný, GA Pérez, M Shirmohammadi arXiv preprint arXiv:1807.04920, 2018 | 11 | 2018 |
B\" uchi Objectives in Countable MDPs S Kiefer, R Mayr, M Shirmohammadi, P Totzke arXiv preprint arXiv:1904.11573, 2019 | 10 | 2019 |
The complexity of synchronizing Markov decision processes L Doyen, T Massart, M Shirmohammadi Journal of Computer and System Sciences 100, 96-129, 2019 | 10 | 2019 |
Synchronizing data words for register automata P Babari, K Quaas, M Shirmohammadi 41st International Symposium on Mathematical Foundations of Computer Science …, 2016 | 10 | 2016 |
Synchronizing objectives for Markov decision processes L Doyen, T Massart, M Shirmohammadi arXiv preprint arXiv:1102.4121, 2011 | 9 | 2011 |
Robust synchronization in Markov decision processes L Doyen, T Massart, M Shirmohammadi CONCUR 2014–Concurrency Theory: 25th International Conference, CONCUR 2014 …, 2014 | 8 | 2014 |
Infinite synchronizing words for probabilistic automata (Erratum) L Doyen, T Massart, M Shirmohammadi arXiv preprint arXiv:1206.0995, 2012 | 8 | 2012 |
Strategy complexity of parity objectives in countable mdps S Kiefer, R Mayr, M Shirmohammadi, P Totzke arXiv preprint arXiv:2007.05065, 2020 | 7 | 2020 |
Qualitative analysis of probabilistic synchronizing systems M Shirmohammadi Ecole Normale Supérieure de Cachan, France, 2014 | 7 | 2014 |