Amir Goharshady

Amir Goharshady

Institute of Science and Technology, Austria - Klosterneuburg / Austria
Engineering & Technology / Computer Science
AD Scientific Index ID: 1396969
-
person_outline Amir Goharshady's MOST POPULAR ARTICLES
1-) Termination analysis of probabilistic programs through PositivstellensätzeK Chatterjee, H Fu, AK GoharshadyInternational Conference on Computer Aided Verification (CAV), 2016862016
2-) Probabilistic Smart Contracts: Secure Randomness on the BlockchainK Chatterjee, A Goharshady, A PourdamghaniIEEE International Conference on Blockchain and Cryptocurrency (ICBC), 2019642019
3-) Quantitative Analysis of Smart ContractsK Chatterjee, AK Goharshady, Y VelnerEuropean Symposium on Programming (ESOP), 2018642018
4-) Cost Analysis of Nondeterministic Probabilistic ProgramsP Wang, H Fu, AK Goharshady, K Chatterjee, X Qin, W ShiACM Conference on Programming Language Design and Implementation (PLDI), 2019602019
5-) The Treewidth of Smart ContractsK Chatterjee, AK Goharshady, EK GoharshadyACM Symposium on Applied Computing (SAC), 2019572019