( en | de | ru )

 

Disambiguierung von "Worrell, James"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
The Orbit Problem for Parametric Linear Dynamical Systems.

, , , , , , , , , und . CONCUR, Volume 203 von LIPIcs, Seite 28:1-28:17. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (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

An Investigation of the Effects of ERP Post-Implementation Support Structure on ERP/Business Unit Fit.. AMCIS, Seite 386. Association for Information Systems, (2007)Approximating a Behavioural Pseudometric Without Discount for Probabilistic Systems., , und . FoSSaCS, Volume 4423 von Lecture Notes in Computer Science, Seite 123-137. Springer, (2007)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)Porous Invariants., , , und . CAV (2), Volume 12760 von Lecture Notes in Computer Science, Seite 172-194. Springer, (2021)On the Monniaux Problem in Abstract Interpretation., , , , , und . SAS, Volume 11822 von Lecture Notes in Computer Science, Seite 162-180. Springer, (2019)Measuring the Probabilistic Powerdomain., , und . ICALP, Volume 2380 von Lecture Notes in Computer Science, Seite 463-475. Springer, (2002)The Membership Problem for Hypergeometric Sequences with Quadratic Parameters., , , und . ISSAC, Seite 407-416. ACM, (2023)Cyclotomic Identity Testing and Applications., , , und . ISSAC, Seite 35-42. ACM, (2021)