Folgen
Mahsa Shirmohammadi
Mahsa Shirmohammadi
Bestätigte E-Mail-Adresse bei cs.ox.ac.uk
Titel
Zitiert von
Zitiert von
Jahr
Roughness in Cayley graphs
MH Shahzamanian, M Shirmohammadi, B Davvaz
Information Sciences 180 (17), 3362-3372, 2010
392010
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
222014
Infinite synchronizing words for probabilistic automata
L Doyen, T Massart, M Shirmohammadi
Mathematical Foundations of Computer Science 2011: 36th International …, 2011
182011
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
172017
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
152017
On restricted nonnegative matrix factorization
D Chistikov, S Kiefer, I Marušić, M Shirmohammadi, J Worrell
arXiv preprint arXiv:1605.07061, 2016
152016
Synchronizing automata over nested words
D Chistikov, P Martyugin, M Shirmohammadi
Foundations of Software Science and Computation Structures: 19th …, 2016
132016
Limit Synchronization in Markov Decision Processes.
L Doyen, T Massart, M Shirmohammadi
FoSSaCS, 58-72, 2014
132014
Parity objectives in countable MDPs
S Kiefer, R Mayr, M Shirmohammadi, D Wojtczak
arXiv preprint arXiv:1704.04490, 2017
122017
Trace refinement in labelled Markov decision processes
N Fijalkow, S Kiefer, M Shirmohammadi
Foundations of Software Science and Computation Structures: 19th …, 2016
122016
Effective definability of the reachability relation in timed automata
M Fränzle, K Quaas, M Shirmohammadi, J Worrell
Information Processing Letters 153, 105871, 2020
112020
On the complexity of value iteration
N Balaji, S Kiefer, P Novotný, GA Pérez, M Shirmohammadi
arXiv preprint arXiv:1807.04920, 2018
112018
B\" uchi Objectives in Countable MDPs
S Kiefer, R Mayr, M Shirmohammadi, P Totzke
arXiv preprint arXiv:1904.11573, 2019
102019
The complexity of synchronizing Markov decision processes
L Doyen, T Massart, M Shirmohammadi
Journal of Computer and System Sciences 100, 96-129, 2019
102019
Synchronizing data words for register automata
P Babari, K Quaas, M Shirmohammadi
41st International Symposium on Mathematical Foundations of Computer Science …, 2016
102016
Synchronizing objectives for Markov decision processes
L Doyen, T Massart, M Shirmohammadi
arXiv preprint arXiv:1102.4121, 2011
92011
Robust synchronization in Markov decision processes
L Doyen, T Massart, M Shirmohammadi
CONCUR 2014–Concurrency Theory: 25th International Conference, CONCUR 2014 …, 2014
82014
Infinite synchronizing words for probabilistic automata (Erratum)
L Doyen, T Massart, M Shirmohammadi
arXiv preprint arXiv:1206.0995, 2012
82012
Strategy complexity of parity objectives in countable mdps
S Kiefer, R Mayr, M Shirmohammadi, P Totzke
arXiv preprint arXiv:2007.05065, 2020
72020
Qualitative analysis of probabilistic synchronizing systems
M Shirmohammadi
Ecole Normale Supérieure de Cachan, France, 2014
72014
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20