( en | de | ru )

 

Disambiguation of "Goharshady, Amir Kafshdar"

Author of the publication

copydeleteadd this publication to your clipboard
Faster Algorithms for Quantitative Analysis of Markov Chains and Markov Decision Processes with Small Treewidth.

, , , , and . CoRR, (2020)

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. You can also use the button next to the name to display some publications already assigned to the person.

Manutschehr Amirfeyz

Iradj Amirzadeh-Asl

Mahmud Amirian-Khaffadjeh

Mansoor Anwer Ismail Amir

Belal Amireh

 

Other publications of authors with the same name

Secure Credit Reporting on the Blockchain., , and . iThings/GreenCom/CPSCom/SmartData, page 1343-1348. IEEE, (2018)Parameterized Algorithms for Topological Indices in Chemistry., , , and . CoRR, (2023)A note on belief structures and S-approximation spaces., , , and . CoRR, (2018)Alleviating High Gas Costs by Secure and Trustless Off-chain Execution of Smart Contracts., and . SAC, page 258-261. ACM, (2023)Optimal Mining: Maximizing Bitcoin Miners' Revenues from Transaction Fees., , , and . Blockchain, page 266-273. IEEE, (2022)Quantitative Analysis of Smart Contracts., , and . ESOP, volume 10801 of Lecture Notes in Computer Science, page 739-767. Springer, (2018)Faster Algorithms for Quantitative Analysis of MCs and MDPs with Small Treewidth., , , , and . ATVA, volume 12302 of Lecture Notes in Computer Science, page 253-270. Springer, (2020)A Short Note on Parameterized Computation of Network Reliability with respect to Treewidth., and . CoRR, (2017)Exploiting the Sparseness of Control-Flow and Call Graphs for Efficient and On-Demand Algebraic Program Analysis., , , , and . Proc. ACM Program. Lang., 7 (OOPSLA2): 1993-2022 (October 2023)Modular verification for almost-sure termination of probabilistic programs., , , and . Proc. ACM Program. Lang., 3 (OOPSLA): 129:1-129:29 (2019)