( en | de | ru )

 

Disambiguierung von "Etessami, Kousha"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
An abort-aware model of transactional programming.

, und . Int. J. Softw. Tools Technol. Transf., 13 (6): 537-551 (2011)

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.

Abdol Azim Etessami

 

Weitere Publikationen von Autoren mit dem selben Namen

From Rule-based to Automata-based Testing., und . FORTE, Volume 183 von IFIP Conference Proceedings, Seite 53-68. Kluwer, (2000)A Polynomial Time Algorithm for Computing Extinction Probabilities of Multitype Branching Processes., , und . SIAM J. Comput., 46 (5): 1515-1553 (2017)Realizability and Verification of MSC Graphs., , und . ICALP, Volume 2076 von Lecture Notes in Computer Science, Seite 797-808. Springer, (2001)Greatest Fixed Points of Probabilistic Min/Max Polynomial Equations, and Reachability for Branching Markov Decision Processes., , und . ICALP (2), Volume 9135 von Lecture Notes in Computer Science, Seite 184-196. Springer, (2015)Stochastic Context-Free Grammars, Regular Languages, and Newton's Method., , und . ICALP (2), Volume 7966 von Lecture Notes in Computer Science, Seite 199-211. Springer, (2013)Algorithms for Analyzing and Verifying Infinite-State Recursive Probabilistic Systems.. LATA, Volume 7810 von Lecture Notes in Computer Science, Seite 12. Springer, (2013)Special Section on the Forty-Third Annual ACM Symposium on Theory of Computing (STOC 2011)., , , , und . SIAM J. Comput., 41 (5): 1233-1234 (2012)Multi-Objective Model Checking of Markov Decision Processes., , , und . Logical Methods in Computer Science, (2008)Reachability and the Power of Local Ordering., und . Theor. Comput. Sci., 148 (2): 261-279 (1995)The complexity of computing a (quasi-)perfect equilibrium for an n-player extensive form game.. Games Econ. Behav., (2021)