( en | de | ru )

 

Disambiguierung von "Goharshady, Amir Kafshdar"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Cost analysis of nondeterministic probabilistic programs.

, , , , , und . PLDI, Seite 204-220. ACM, (2019)

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.

Manutschehr Amirfeyz

Iradj Amirzadeh-Asl

Mahmud Amirian-Khaffadjeh

Belal Amireh

Mansoor Anwer Ismail Amir

 

Weitere Publikationen von Autoren mit dem selben Namen

Secure Credit Reporting on the Blockchain., , und . iThings/GreenCom/CPSCom/SmartData, Seite 1343-1348. IEEE, (2018)Alleviating High Gas Costs by Secure and Trustless Off-chain Execution of Smart Contracts., und . SAC, Seite 258-261. ACM, (2023)Quantitative Analysis of Smart Contracts., , und . ESOP, Volume 10801 von Lecture Notes in Computer Science, Seite 739-767. Springer, (2018)Optimal Mining: Maximizing Bitcoin Miners' Revenues from Transaction Fees., , , und . Blockchain, Seite 266-273. IEEE, (2022)Faster Algorithms for Quantitative Analysis of MCs and MDPs with Small Treewidth., , , , und . ATVA, Volume 12302 von Lecture Notes in Computer Science, Seite 253-270. Springer, (2020)Quantitative Bounds on Resource Usage of Probabilistic Programs., , , und . Proc. ACM Program. Lang., 8 (OOPSLA1): 362-391 (2024)Non-polynomial Worst-Case Analysis of Recursive Programs., , und . ACM Trans. Program. Lang. Syst., 41 (4): 20:1-20:52 (2019)JTDec: A Tool for Tree Decompositions in Soot., , und . ATVA, Volume 10482 von Lecture Notes in Computer Science, Seite 59-66. Springer, (2017)Game-Theoretic Randomness for Proof-of-Stake., und . MARBLE, Seite 28-47. Springer, (2023)Irrationality, Extortion, or Trusted Third-parties: Why it is Impossible to Buy and Sell Physical Goods Securely on the Blockchain.. Blockchain, Seite 73-81. IEEE, (2021)