Articles dans des revues avec comité de lecture (5)
  1. 1. Doyen, L., Markey, N. N., Shirmohammadi, M., Juhl, L., & Larsen, K. G. (2014). Synchronizing words for weighted and timed automata. Leibniz international proceedings in informatics, 29, 121-132. doi:10.4230/LIPIcs.FSTTCS.2014.121
  2. 2. Doyen, L., Shirmohammadi, M., & Massart, T. (2014). Robust synchronization in Markov decision processes. Lecture notes in computer science, 8704 LNCS, 234-248. doi:10.1007/978-3-662-44584-6_17
  3. 3. Doyen, L., Shirmohammadi, M., & Massart, T. (2014). Limit synchronization in Markov decision processes. Lecture notes in computer science, 8412 LNCS, 58-72. doi:10.1007/978-3-642-54830-7_4
  4. 4. Doyen, L., Massart, T., & Shirmohammadi, M. (2011). Synchronizing Objectives for Markov Decision Processes. Electronic Notes in Theoretical Computer Science, 50, 61-75.
  5. 5. Doyen, L., Massart, T., & Shirmohammadi, M. (2011). Infinite Synchronizing Words for Probabilistic Automata. Lecture notes in computer science, 6907, 278-289. doi:10.1007/978-3-642-22993-0_27
    6.   Rapports de recherche, comptes rendus, lettres à l'éditeur, working papers (1)
  6. 1. Doyen, L., Massart, T., & Shirmohammadi, M. (2012). Infinite Synchronizing Words for Probabilistic Automata: (Erratum).
    7.   Thèses et mémoires (1)
  7. 1. Shirmohammadi, M. (2014). Qualitative analysis of probabilistic synchronizing systems (Thèse doctorale non-publiée). Université libre de Bruxelles, Faculté des Sciences – Informatique, Bruxelles.