bibliographer - Mahsa Shirmohammadi

bibliographer a curated TCS bibliography

obsidian
tags
authors
no doi
no pdf
bad author
add item
librarian

Positivity of Nearly Linearly Recurrent Sequences Amaury Pouly Mahsa Shirmohammadi James Worrell [github]

Determination Problems for Orbit Closures and Matrix Groups Rida Ait El Manssour George Kenison Mahsa Shirmohammadi Anton Varonka James Worrell [github]

Algebraic Closure of Matrix Sets Recognized by 1-VASS Rida Ait El Manssour Mahsa Naraghi Mahsa Shirmohammadi James Worrell [github]

Reachability for Multi-Priced Timed Automata with Positive and Negative Rates Andrew Scoones Mahsa Shirmohammadi James Worrell [github]

Simple Linear Loops: Algebraic Invariants and Applications Rida Ait El Manssour George Kenison Mahsa Shirmohammadi Anton Varonka [github]

A parametric version of the Hilbert Nullstellensatz Rida Ait El Manssour Nikhil Balaji Klara Nosan Mahsa Shirmohammadi James Worrell [github]

Determination Problems for Orbit Closures and Matrix Groups Rida Ait El Manssour George Kenison Mahsa Shirmohammadi James Worrell [github]

Reachability for Multi-Priced Timed Automata with Positive and Negative Rates Andrew Scoones Mahsa Shirmohammadi James Worrell [github]

Simple Linear Loops: Algebraic Invariants and Applications Rida Ait El Manssour George Kenison Mahsa Shirmohammadi Anton Varonka [github]

On Tree Automata, Generating Functions, and Differential Equations Rida Ait El Manssour Vincent Cheval Mahsa Shirmohammadi James Worrell [github]

Strategy Complexity of Buchi Objectives in Concurrent Stochastic Games Stefan Kiefer Richard Mayr Mahsa Shirmohammadi Patrick Totzke [github]

Memoryless Strategies in Stochastic Reachability Games Stefan Kiefer Richard Mayr Mahsa Shirmohammadi Patrick Totzke [github]

On Learning Polynomial Recursive Programs Alex Buna-Marginean Vincent Cheval Mahsa Shirmohammadi James Worrell [github]

On Learning Polynomial Recursive Programs Alex Buna-Marginean Vincent Cheval Mahsa Shirmohammadi James Worrell [github]

Multiplicity Problems on Algebraic Series and Context-Free Grammars Nikhil Balaji Lorenzo Clemente Klara Nosan Mahsa Shirmohammadi James Worrell [github]

Multiplicity Problems on Algebraic Series and Context-Free Grammars Nikhil Balaji Lorenzo Clemente Klara Nosan Mahsa Shirmohammadi James Worrell [github]

The Membership Problem for Hypergeometric Sequences with Quadratic Parameters George Kenison Klara Nosan Mahsa Shirmohammadi James Worrell [github]

Strategy Complexity of Reachability in Countable Stochastic 2-Player Games Stefan Kiefer Richard Mayr Mahsa Shirmohammadi Patrick Totzke [github]

On the Computation of the Zariski Closure of Finitely Generated Groups of Matrices Klara Nosan Amaury Pouly Sylvain Schmitz Mahsa Shirmohammadi James Worrell [github]

On the Computation of the Zariski Closure of Finitely Generated Groups of Matrices Klara Nosan Amaury Pouly Sylvain Schmitz Mahsa Shirmohammadi James Worrell [github]

Identity testing for radical expressions Nikhil Balaji Klara Nosan Mahsa Shirmohammadi James Worrell [github]

The Membership Problem for Hypergeometric Sequences with Rational Parameters Klara Nosan Amaury Pouly Mahsa Shirmohammadi James Worrell [github]

Transience in Countable MDPs Stefan Kiefer Richard Mayr Mahsa Shirmohammadi Patrick Totzke [github]

Cyclotomic Identity Testing and Applications Nikhil Balaji Sylvain Perifel Mahsa Shirmohammadi James Worrell [github]

Strategy Complexity of Parity Objectives in Countable MDPs Stefan Kiefer Richard Mayr Mahsa Shirmohammadi Patrick Totzke [github]

Controlling a Random Population is EXPTIME-hard Corto Mascle Mahsa Shirmohammadi Patrick Totzke [github]

How to Play in Infinite MDPs (Invited Talk) Stefan Kiefer Richard Mayr Mahsa Shirmohammadi Patrick Totzke Dominik Wojtczak [github]

Effective definability of the reachability relation in timed automata Martin Franzle Karin Quaas Mahsa Shirmohammadi James Worrell [github]

On Rationality of Nonnegative Matrix Factorization Dmitry Chistikov Stefan Kiefer Ines Marusic Mahsa Shirmohammadi James Worrell [github]

On Restricted Nonnegative Matrix Factorization Dmitry Chistikov Stefan Kiefer Ines Marusic Mahsa Shirmohammadi James Worrell [github]

Effective Definability of the Reachability Relation in Timed Automata Martin Franzle Karin Quaas Mahsa Shirmohammadi James Worrell [github]

Revisiting Reachability in Timed Automata Karin Quaas Mahsa Shirmohammadi James Worrell [github]

On Strong Determinacy of Countable Stochastic Games Stefan Kiefer Richard Mayr Mahsa Shirmohammadi Dominik Wojtczak [github]

Synchronizing Data Words for Register Automata Parvaneh Babari Karin Quaas Mahsa Shirmohammadi [github]

Synchronizing Automata over Nested Words Dmitry Chistikov Pavel Martyugin Mahsa Shirmohammadi [github]

Trace Refinement in Labelled Markov Decision Processes Nathanael Fijalkow Stefan Kiefer Mahsa Shirmohammadi [github]

Robust Synchronization in Markov Decision Processes Laurent Doyen Thierry Massart Mahsa Shirmohammadi [github]

Limit Synchronization in Markov Decision Processes Laurent Doyen Thierry Massart Mahsa Shirmohammadi [github]

Infinite synchronizing words for probabilistic automata Laurent Doyen Thierry Massart Mahsa Shirmohammadi [github]

Parity objectives in countable MDPs Stefan Kiefer Richard Mayr Mahsa Shirmohammadi Dominik Wojtczakz [github]

Library Size: 13G (40 entries), Last Updated: Apr 04, 2026, 18:14:59, Build Time: N/A

[show logs] [hide logs]