( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Non-polynomial Worst-Case Analysis of Recursive Programs.

, , и . ACM Trans. Program. Lang. Syst., 41 (4): 20:1-20:52 (2019)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Mahmud Amirian-Khaffadjeh

Iradj Amirzadeh-Asl

Manutschehr Amirfeyz

Borzu Amirhosseini

Mansoor Anwer Ismail Amir

 

Другие публикации лиц с тем же именем

Game-Theoretic Randomness for Proof-of-Stake., и . MARBLE, стр. 28-47. Springer, (2023)JTDec: A Tool for Tree Decompositions in Soot., , и . ATVA, том 10482 из Lecture Notes in Computer Science, стр. 59-66. Springer, (2017)Non-polynomial Worst-Case Analysis of Recursive Programs., , и . ACM Trans. Program. Lang. Syst., 41 (4): 20:1-20:52 (2019)Irrationality, Extortion, or Trusted Third-parties: Why it is Impossible to Buy and Sell Physical Goods Securely on the Blockchain.. Blockchain, стр. 73-81. IEEE, (2021)Probabilistic Smart Contracts: Secure Randomness on the Blockchain., , и . IEEE ICBC, стр. 403-412. IEEE, (2019)Cost analysis of nondeterministic probabilistic programs., , , , , и . PLDI, стр. 204-220. ACM, (2019)Secure Credit Reporting on the Blockchain., , и . iThings/GreenCom/CPSCom/SmartData, стр. 1343-1348. IEEE, (2018)Alleviating High Gas Costs by Secure and Trustless Off-chain Execution of Smart Contracts., и . SAC, стр. 258-261. ACM, (2023)Quantitative Analysis of Smart Contracts., , и . ESOP, том 10801 из Lecture Notes in Computer Science, стр. 739-767. Springer, (2018)Optimal Mining: Maximizing Bitcoin Miners' Revenues from Transaction Fees., , , и . Blockchain, стр. 266-273. IEEE, (2022)