Publications
Search

Publications :: Search

Show author

On this page you see the details of the selected author.

    Author information
    First name: Mahsa
    Last name: Shirmohammadi
    DBLP: 32/9219
    Rating: (not rated yet)
    Bookmark:

    Below you find the publications which have been written by this author.

    Show item 1 to 23 of 23  
    Select a publication
    Show Title Venue Rating Date
    Conference paper
    Dmitry Chistikov, Stefan Kiefer, Ines Marusic, Mahsa Shirmohammadi, James Worrell.
    On Rationality of Nonnegative Matrix Factorization.
    Proceedings of the Twenty-Eighth Annual ACM-SIAM Symposium on Discrete Algorithms, SODA 2017, Barcelona, Spain, Hotel Porta Fira, January 16-19 2017 (0) 2017
    Conference paper
    Karin Quaas, Mahsa Shirmohammadi, James Worrell.
    Revisiting Reachability in Timed Automata.
    CoRR 2017, Volume 0 (0) 2017
    Conference paper
    Stefan Kiefer, Richard Mayr, Mahsa Shirmohammadi, Dominik Wojtczak.
    Parity Objectives in Countable MDPs.
    CoRR 2017, Volume 0 (0) 2017
    Conference paper
    Stefan Kiefer, Richard Mayr, Mahsa Shirmohammadi, Dominik Wojtczak.
    On Strong Determinacy of Countable Stochastic Games.
    CoRR 2017, Volume 0 (0) 2017
    Conference paper
    Karin Quaas, Mahsa Shirmohammadi, James Worrell.
    Revisiting reachability in timed automata.
    32nd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2017, Reykjavik, Iceland, June 20-23, 2017 2017 (0) 2017
    Conference paper
    Stefan Kiefer, Richard Mayr, Mahsa Shirmohammadi, Dominik Wojtczak.
    Parity objectives in countable MDPs.
    32nd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2017, Reykjavik, Iceland, June 20-23, 2017 2017 (0) 2017
    Conference paper
    Stefan Kiefer, Richard Mayr, Mahsa Shirmohammadi, Dominik Wojtczak.
    On strong determinacy of countable stochastic games.
    32nd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2017, Reykjavik, Iceland, June 20-23, 2017 2017 (0) 2017
    Conference paper
    Nathanaël Fijalkow, Stefan Kiefer, Mahsa Shirmohammadi.
    Trace Refinement in Labelled Markov Decision Processes.
    Foundations of Software Science and Computation Structures - 19th International Conference, FOSSACS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedin 2016 (0) 2016
    Conference paper
    Laurent Doyen 0001, Thierry Massart, Mahsa Shirmohammadi.
    The Complexity of Synchronizing Markov Decision Processes.
    CoRR 2016, Volume 0 (0) 2016
    Conference paper
    Dmitry Chistikov, Stefan Kiefer, Ines Marusic, Mahsa Shirmohammadi, James Worrell.
    On Restricted Nonnegative Matrix Factorization.
    CoRR 2016, Volume 0 (0) 2016
    Conference paper
    Dmitry Chistikov, Stefan Kiefer, Ines Marusic, Mahsa Shirmohammadi, James Worrell.
    Nonnegative Matrix Factorization Requires Irrationality.
    CoRR 2016, Volume 0 (0) 2016
    Conference paper
    Dmitry Chistikov, Stefan Kiefer, Ines Marusic, Mahsa Shirmohammadi, James Worrell.
    On Restricted Nonnegative Matrix Factorization.
    43rd International Colloquium on Automata, Languages, and Programming, ICALP 2016, July 11-15, 2016, Rome, Italy 2016 (0) 2016
    Conference paper
    Parvaneh Babari, Karin Quaas, Mahsa Shirmohammadi.
    Synchronizing Data Words for Register Automata.
    41st International Symposium on Mathematical Foundations of Computer Science, MFCS 2016, August 22-26, 2016 - Kraków, Poland 2016 (0) 2016
    Conference paper
    Dmitry Chistikov, Pavel Martyugin, Mahsa Shirmohammadi.
    Synchronizing Automata over Nested Words.
    Foundations of Software Science and Computation Structures - 19th International Conference, FOSSACS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedin 2016 (0) 2016
    Conference paper
    Nathanaël Fijalkow, Stefan Kiefer, Mahsa Shirmohammadi.
    Trace Refinement in Labelled Markov Decision Processes.
    CoRR 2015, Volume 0 (0) 2015
    Journal article
    Laurent Doyen 0001, Thierry Massart, Mahsa Shirmohammadi.
    Robust Synchronization in Markov Decision Processes.
    CoRR 2014, Volume 0 (0) 2014
    Conference paper
    Laurent Doyen 0001, Thierry Massart, Mahsa Shirmohammadi.
    Limit Synchronization in Markov Decision Processes.
    Foundations of Software Science and Computation Structures - 17th International Conference, FOSSACS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings 2014 (0) 2014
    Conference paper
    Laurent Doyen 0001, Thierry Massart, Mahsa Shirmohammadi.
    Robust Synchronization in Markov Decision Processes.
    CONCUR 2014 - Concurrency Theory - 25th International Conference, CONCUR 2014, Rome, Italy, September 2-5, 2014. Proceedings 2014 (0) 2014
    Conference paper
    Laurent Doyen 0001, Line Juhl, Kim G. Larsen, Nicolas Markey, Mahsa Shirmohammadi.
    Synchronizing Words for Weighted and Timed Automata.
    34th International Conference on Foundation of Software Technology and Theoretical Computer Science, FSTTCS 2014, December 15-17, 2014, New Delhi, India 2014 (0) 2014
    Journal article
    Laurent Doyen 0001, Thierry Massart, Mahsa Shirmohammadi.
    Limit Synchronization in Markov Decision Processes.
    CoRR 2013, Volume 0 (0) 2013
    Conference paper
    Laurent Doyen 0001, Thierry Massart, Mahsa Shirmohammadi.
    Infinite Synchronizing Words for Probabilistic Automata (Erratum)
    CoRR 2012, Volume 0 (0) 2012
    Journal article
    Laurent Doyen, Thierry Massart, Mahsa Shirmohammadi.
    Synchronizing Objectives for Markov Decision Processes
    Proceedings International Workshop on Interactions, Games and Protocols, iWIGP 2011, Saarbrücken, Germany, 27th March 2011. 2011, Volume 50 (0) 2011
    Conference paper
    Laurent Doyen, Thierry Massart, Mahsa Shirmohammadi.
    Infinite Synchronizing Words for Probabilistic Automata.
    Mathematical Foundations of Computer Science 2011 - 36th International Symposium, MFCS 2011, Warsaw, Poland, August 22-26, 2011. Proceedings 2011 (0) 2011
    Show item 1 to 23 of 23  

    Your query returned 23 matches in the database.