( en | de | ru )

 

Disambiguierung von "Worrell, James"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
When are emptiness and containment decidable for probabilistic automata?

, , , , , und . J. Comput. Syst. Sci., (2021)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Michael James

Audrein James

Katherine James

Ammini James-Mammoottil

Rojin James

 

Weitere Publikationen von Autoren mit dem selben Namen

On the Monniaux Problem in Abstract Interpretation., , , , , und . SAS, Volume 11822 von Lecture Notes in Computer Science, Seite 162-180. Springer, (2019)Approximating a Behavioural Pseudometric Without Discount for Probabilistic Systems., , und . FoSSaCS, Volume 4423 von Lecture Notes in Computer Science, Seite 123-137. Springer, (2007)An Investigation of the Effects of ERP Post-Implementation Support Structure on ERP/Business Unit Fit.. AMCIS, Seite 386. Association for Information Systems, (2007)Porous Invariants., , , und . CAV (2), Volume 12760 von Lecture Notes in Computer Science, Seite 172-194. Springer, (2021)On Reachability Problems for Low-Dimensional Matrix Semigroups., , , und . ICALP, Volume 132 von LIPIcs, Seite 44:1-44:15. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2019)Positivity Problems for Reversible Linear Recurrence Sequences., , , und . ICALP, Volume 261 von LIPIcs, Seite 130:1-130:17. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2023)When are emptiness and containment decidable for probabilistic automata?, , , , , und . J. Comput. Syst. Sci., (2021)Markov chains and unambiguous automata., , , , und . J. Comput. Syst. Sci., (2023)On the Computation of the Algebraic Closure of Finitely Generated Groups of Matrices., , , und . CoRR, (2021)The Membership Problem for Hypergeometric Sequences with Quadratic Parameters., , , und . ISSAC, Seite 407-416. ACM, (2023)