E-LIB Suche - Ergebnisse für: Shirmohammadi, Mahsa

1

Memoryless Strategies in Stochastic Reachability Games:

, In: Taming the Infinities of Concurrency; Lecture Notes in Computer Science,

Kiefer, Stefan ; Mayr, Richard ; Shirmohammadi, Mahsa. - p. 225-242 , 2024

2

On Learning Polynomial Recursive Programs:

Buna-Marginean, Alex ; Cheval, Vincent ; Shirmohammadi, Mahsa.
Proceedings of the ACM on Programming Languages. 8 (2024) POPL - p. 1001-1027 , 2024

Link: https://doi.org/10.1145/..

3

The Membership Problem for Hypergeometric Sequences with Qu..:

, In: Proceedings of the 2023 International Symposium on Symbolic and Algebraic Computation,

Kenison, George ; Nosan, Klara ; Shirmohammadi, Mahsa. - p. 407-416 , 2023

Link: https://dl.acm.org/doi/1..

4

Multiplicity Problems on Algebraic Series and Context-Free ..:

, In: 2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS),

Balaji, Nikhil ; Clemente, Lorenzo ; Nosan, Klara.. - p. 1-12 , 2023

Link: https://doi.org/10.1109/..

5

Identity Testing for Radical Expressions:

, In: Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer Science,

Balaji, Nikhil ; Nosan, Klara ; Shirmohammadi, Mahsa. - p. 1-11 , 2022

Link: https://dl.acm.org/doi/1..

6

A Beginner's Tutorial on Strategy Complexity in Stochastic ..:

Shirmohammadi, Mahsa
ACM SIGLOG News. 9 (2022) 4 - p. 27-43 , 2022

Link: https://doi.org/10.1145/..

7

On the Computation of the Zariski Closure of Finitely Gener..:

, In: Proceedings of the 2022 International Symposium on Symbolic and Algebraic Computation,

Nosan, Klara ; Pouly, Amaury ; Schmitz, Sylvain.. - p. 129-138 , 2022

Link: https://dl.acm.org/doi/1..

8

Costs and rewards in priced timed automata:

Fränzle, Martin ; Shirmohammadi, Mahsa ; Swaminathan, Mani.
Information and Computation. 282 (2022) - p. 104656 , 2022

Link: https://doi.org/10.1016/..

9

The Membership Problem for Hypergeometric Sequences with Ra..:

, In: Proceedings of the 2022 International Symposium on Symbolic and Algebraic Computation,

Nosan, Klara ; Pouly, Amaury ; Shirmohammadi, Mahsa. - p. 381-389 , 2022

Link: https://dl.acm.org/doi/1..

10

Cyclotomic Identity Testing and Applications:

, In: Proceedings of the 2021 International Symposium on Symbolic and Algebraic Computation,

Balaji, Nikhil ; Perifel, Sylvain ; Shirmohammadi, Mahsa. - p. 35-42 , 2021

Link: https://dl.acm.org/doi/1..

11

Formal Modeling and Analysis of Timed Systems: 19th Interna..

Theoretical Computer Science and General Issues, 12860

Dima, Catalin ; Shirmohammadi, Mahsa - 1st ed. 2021 . , 2021

Link: https://doi.org/10.1007/..

12

Effective definability of the reachability relation in time..:

Fränzle, Martin ; Quaas, Karin ; Shirmohammadi, Mahsa.
Information Processing Letters. 153 (2020) - p. 105871 , 2020

Link: https://doi.org/10.1016/..

13

Synchronizing Data Words for Register Automata:

Quaas, Karin ; Shirmohammadi, Mahsa
ACM Transactions on Computational Logic. 20 (2019) 2 - p. 1-27 , 2019

Link: https://doi.org/10.1145/..

14

The complexity of synchronizing Markov decision processes:

Doyen, Laurent ; Massart, Thierry ; Shirmohammadi, Mahsa
Journal of Computer and System Sciences. 100 (2019) - p. 96-129 , 2019

Link: https://doi.org/10.1016/..

15

Synchronizing Data Words for Register Automata:

Quaas, Karin ; Shirmohammadi, Mahsa
ACM Transactions on Computational Logic (TOCL). 20 (2019) 2 - p. 1-27 , 2019

Link: https://dl.acm.org/doi/1..