Mahsa Shirmohammadi
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
29
Venues
8
Active years
2011–2026
Best venue rank
A*
Where they publish
Papers
29 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | ICALP | Revisiting Finiteness of Matrix Monoids. | Rida Ait El Manssour, Roland Guttenberg, Nathan Lhote, Mahsa Shirmohammadi, James B. Worrell |
| 2026 | LICS | Differential Tree Automata. | Rida Ait El Manssour, Vincent Cheval, Mahsa Shirmohammadi, James Worrell |
| 2026 | SODA | Algebraic Closure of Matrix Sets Recognized by 1-VASS. | Rida Ait El Manssour, Mahsa Naraghi, Mahsa Shirmohammadi, James Worrell |
| 2025 | CSL | Reachability for Multi-Priced Timed Automata with Positive and Negative Rates. | Andrew Scoones, Mahsa Shirmohammadi, James Worrell |
| 2025 | LICS | Learning Weighted Automata over Number Rings, Concretely and Categorically. | Quentin Aristote, Sam van Gool, Daniela Petrisan, Mahsa Shirmohammadi |
| 2023 | ISSAC | The Membership Problem for Hypergeometric Sequences with Quadratic Parameters. | George Kenison, Klara Nosan, Mahsa Shirmohammadi, James Worrell |
| 2023 | LICS | Multiplicity Problems on Algebraic Series and Context-Free Grammars. | Nikhil Balaji, Lorenzo Clemente, Klara Nosan, Mahsa Shirmohammadi, James Worrell |
| 2022 | ISSAC | The Membership Problem for Hypergeometric Sequences with Rational Parameters. | Klara Nosan, Amaury Pouly, Mahsa Shirmohammadi, James Worrell |
| 2022 | ISSAC | On the Computation of the Zariski Closure of Finitely Generated Groups of Matrices. | Klara Nosan, Amaury Pouly, Sylvain Schmitz, Mahsa Shirmohammadi, James Worrell |
| 2022 | LICS | Identity Testing for Radical Expressions. | Nikhil Balaji, Klara Nosan, Mahsa Shirmohammadi, James Worrell |
| 2021 | CONCUR | Transience in Countable MDPs. | Stefan Kiefer, Richard Mayr, Mahsa Shirmohammadi, Patrick Totzke |
| 2021 | ISSAC | Cyclotomic Identity Testing and Applications. | Nikhil Balaji, Sylvain Perifel, Mahsa Shirmohammadi, James Worrell |
| 2020 | CONCUR | Coverability in 1-VASS with Disequality Tests. | Shaull Almagor, Nathann Cohen, Guillermo A. Prez, Mahsa Shirmohammadi, James Worrell |
| 2020 | CONCUR | Strategy Complexity of Parity Objectives in Countable MDPs. | Stefan Kiefer, Richard Mayr, Mahsa Shirmohammadi, Patrick Totzke |
| 2020 | ICALP | How to Play in Infinite MDPs (Invited Talk). | Stefan Kiefer, Richard Mayr, Mahsa Shirmohammadi, Patrick Totzke, Dominik Wojtczak |
| 2019 | ICALP | On the Complexity of Value Iteration. | Nikhil Balaji, Stefan Kiefer, Petr Novotn, Guillermo A. Prez, Mahsa Shirmohammadi |
| 2019 | ICALP | Bchi Objectives in Countable MDPs. | Stefan Kiefer, Richard Mayr, Mahsa Shirmohammadi, Patrick Totzke |
| 2018 | ICALP | Costs and Rewards in Priced Timed Automata. | Martin Frnzle, Mahsa Shirmohammadi, Mani Swaminathan, James Worrell |
| 2017 | LICS | Parity objectives in countable MDPs. | Stefan Kiefer, Richard Mayr, Mahsa Shirmohammadi, Dominik Wojtczak |
| 2017 | LICS | On strong determinacy of countable stochastic games. | Stefan Kiefer, Richard Mayr, Mahsa Shirmohammadi, Dominik Wojtczak |
| 2017 | LICS | Revisiting reachability in timed automata. | Karin Quaas, Mahsa Shirmohammadi, James Worrell |
| 2017 | SODA | On Rationality of Nonnegative Matrix Factorization. | Dmitry Chistikov, Stefan Kiefer, Ines Marusic, Mahsa Shirmohammadi, James Worrell |
| 2016 | FOSSACS | Synchronizing Automata over Nested Words. | Dmitry Chistikov, Pavel Martyugin, Mahsa Shirmohammadi |
| 2016 | FOSSACS | Trace Refinement in Labelled Markov Decision Processes. | Nathanal Fijalkow, Stefan Kiefer, Mahsa Shirmohammadi |
| 2016 | ICALP | On Restricted Nonnegative Matrix Factorization. | Dmitry Chistikov, Stefan Kiefer, Ines Marusic, Mahsa Shirmohammadi, James Worrell |
| 2016 | MFCS | Synchronizing Data Words for Register Automata. | Parvaneh Babari, Karin Quaas, Mahsa Shirmohammadi |
| 2014 | CONCUR | Robust Synchronization in Markov Decision Processes. | Laurent Doyen, Thierry Massart, Mahsa Shirmohammadi |
| 2014 | FOSSACS | Limit Synchronization in Markov Decision Processes. | Laurent Doyen, Thierry Massart, Mahsa Shirmohammadi |
| 2011 | MFCS | Infinite Synchronizing Words for Probabilistic Automata. | Laurent Doyen, Thierry Massart, Mahsa Shirmohammadi |