| Termination analysis of probabilistic programs through Positivstellensätze K Chatterjee, H Fu, AK Goharshady International Conference on Computer Aided Verification (CAV), 2016 | 156 | 2016 |
| Probabilistic Smart Contracts: Secure Randomness on the Blockchain K Chatterjee, A Goharshady, A Pourdamghani IEEE International Conference on Blockchain and Cryptocurrency (ICBC), 2019 | 146 | 2019 |
| Quantitative Analysis of Smart Contracts K Chatterjee, AK Goharshady, Y Velner European Symposium on Programming (ESOP), 2018 | 100 | 2018 |
| Cost Analysis of Nondeterministic Probabilistic Programs P Wang, H Fu, AK Goharshady, K Chatterjee, X Qin, W Shi ACM Conference on Programming Language Design and Implementation (PLDI), 2019 | 79 | 2019 |
| The Treewidth of Smart Contracts K Chatterjee, AK Goharshady, EK Goharshady ACM Symposium on Applied Computing (SAC), 2019 | 66 | 2019 |
| Polynomial invariant generation for non-deterministic recursive programs K Chatterjee, H Fu, AK Goharshady, EK Goharshady ACM Conference on Programming Language Design and Implementation (PLDI), 2020 | 62 | 2020 |
| Hybrid Mining: Exploiting Blockchain's Computational Power for Distributed Problem Solving K Chatterjee, AK Goharshady, A Pourdamghani ACM Symposium on Applied Computing (SAC), 2019 | 62 | 2019 |
| Modular Verification for Almost-Sure Termination of Probabilistic Programs M Huang, H Fu, K Chatterjee, AK Goharshady ACM International Conference on Object-Oriented Programming, Systems …, 2019 | 57 | 2019 |
| Non-polynomial Worst-case Analysis of Recursive Programs K Chatterjee, H Fu, AK Goharshady ACM Transactions on Programming Languages and Systems (TOPLAS) 41 (4), 20, 2019 | 49 | 2019 |
| Ergodic Mean-Payoff Games for the Analysis of Attacks in Crypto-Currencies K Chatterjee, AK Goharshady, R Ibsen-Jensen, Y Velner International Conference on Concurrency Theory (CONCUR), 2018 | 49 | 2018 |
| Non-polynomial Worst-Case Analysis of Recursive Programs K Chatterjee, H Fu, AK Goharshady International Conference on Computer Aided Verification (CAV), 2017 | 49 | 2017 |
| Polynomial Reachability Witnesses via Stellensätze A Asadi, K Chatterjee, H Fu, A Goharshady, M Mahdavi ACM Conference on Programming Language Design and Implementation (PLDI), 2021 | 47 | 2021 |
| Sound and Complete Certificates for Quantitative Termination Analysis of Probabilistic Programs K Chatterjee, A Goharshady, T Meggendorfer, Ð Žikelić International Conference on Computer Aided Verification (CAV), 2022 | 45 | 2022 |
| Quantitative Analysis of Assertion Violations in Probabilistic Programs J Wang, Y Sun, H Fu, K Chatterjee, AK Goharshady ACM Conference on Programming Language Design and Implementation (PLDI), 2021 | 41 | 2021 |
| Optimal Mining: Maximizing Bitcoin Miners' Revenues from Transaction Fees MA Meybodi, AK Goharshady, MR Hooshmandasl, A Shakiba IEEE International Conference on Blockchain (Blockchain), 266-273, 2022 | 35 | 2022 |
| An Efficient Algorithm for Computing Network Reliability in Small Treewidth AK Goharshady, F Mohammadi Reliability Engineering and System Safety, 2020 | 32 | 2020 |
| Algorithms for algebraic path properties in concurrent systems of constant treewidth components K Chatterjee, AK Goharshady, R Ibsen-Jensen, A Pavlogiannis ACM Symposium on Principles of Programming Languages (POPL), 2016 | 31 | 2016 |
| Reducing the Gas Usage of Ethereum Smart Contracts without a Sidechain S Farokhnia, AK Goharshady IEEE International Conference on Blockchain and Cryptocurrency (ICBC), 2023 | 28 | 2023 |
| Proving non-termination by program reversal K Chatterjee, EK Goharshady, P Novotný, Đ Žikelić Proceedings of the 42nd ACM SIGPLAN International Conference on Programming …, 2021 | 28 | 2021 |
| Efficient Parameterized Algorithms for Data Packing K Chatterjee, AK Goharshady, N Okati, A Pavlogiannis ACM Symposium on Principles of Programming Languages (POPL), 2019 | 28 | 2019 |
Krishnendu ChatterjeeProfessor, IST AustriaVerified email at ist.ac.at
