Mahsa Shirmohammadi

Available identifiers

zbMath Open shirmohammadi.mahsaMaRDI QIDQ1740669

List of research outcomes

Publication	Date of Publication	Type
Cyclotomic identity testing and applications	2025-01-20	Paper
On the computation of the Zariski closure of finitely generated groups of matrices	2025-01-17	Paper
The membership problem for hypergeometric sequences with rational parameters	2025-01-17	Paper
Identity testing for radical expressions	2024-12-06	Paper
The Membership Problem for Hypergeometric Sequences with Quadratic Parameters	2023-11-03	Paper
https://portal.mardi4nfdi.de/entity/Q6134255	2023-08-21	Paper
On the Complexity of Value Iteration	2022-07-21	Paper
https://portal.mardi4nfdi.de/entity/Q5092320	2022-07-21	Paper
https://portal.mardi4nfdi.de/entity/Q5089305	2022-07-18	Paper
https://portal.mardi4nfdi.de/entity/Q5089306	2022-07-18	Paper
Strategy Complexity of Reachability in Countable Stochastic 2-Player Games	2022-03-22	Paper
Costs and rewards in priced timed automata	2022-01-06	Paper
https://portal.mardi4nfdi.de/entity/Q5002811	2021-07-28	Paper
On the Computation of the Zariski Closure of Finitely Generated Groups of Matrices	2021-06-03	Paper
https://portal.mardi4nfdi.de/entity/Q5144644	2021-01-19	Paper
https://portal.mardi4nfdi.de/entity/Q5144681	2021-01-19	Paper
https://portal.mardi4nfdi.de/entity/Q5144646	2021-01-19	Paper
Trace Refinement in Labelled Markov Decision Processes	2020-06-26	Paper
Synchronizing Automata over Nested Words	2020-01-15	Paper
Effective definability of the reachability relation in timed automata	2019-11-21	Paper
Synchronizing Data Words for Register Automata	2019-07-04	Paper
The complexity of synchronizing Markov decision processes	2019-05-02	Paper
B\"uchi Objectives in Countable MDPs	2019-04-25	Paper
On Rationality of Nonnegative Matrix Factorization	2018-07-16	Paper
Synchronizing Data Words for Register Automata	2018-03-21	Paper
On Restricted Nonnegative Matrix Factorization	2017-12-19	Paper
Nonnegative Matrix Factorization Requires Irrationality	2017-07-21	Paper
https://portal.mardi4nfdi.de/entity/Q2978507	2017-04-25	Paper
Synchronizing Automata over Nested Words	2016-06-10	Paper
Trace Refinement in Labelled Markov Decision Processes	2016-06-10	Paper
Robust Synchronization in Markov Decision Processes	2014-09-15	Paper
Limit Synchronization in Markov Decision Processes	2014-04-16	Paper
Infinite Synchronizing Words for Probabilistic Automata	2011-08-17	Paper
Memoryless Strategies in Stochastic Reachability Games	N/A	Paper
"Strategy Complexity of B\""uchi Objectives in Concurrent Stochastic Games"	N/A	Paper

Research outcomes over time

This page was built for person: Mahsa Shirmohammadi