| Termination analysis of probabilistic programs through Positivstellensätze K Chatterjee, H Fu, AK Goharshady International Conference on Computer Aided Verification (CAV), 2016 | 127 | 2016 |
| Probabilistic Smart Contracts: Secure Randomness on the Blockchain K Chatterjee, A Goharshady, A Pourdamghani IEEE International Conference on Blockchain and Cryptocurrency (ICBC), 2019 | 110 | 2019 |
| Quantitative Analysis of Smart Contracts K Chatterjee, AK Goharshady, Y Velner European Symposium on Programming (ESOP), 2018 | 81 | 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 | 54 | 2019 |
| The Treewidth of Smart Contracts K Chatterjee, AK Goharshady, EK Goharshady ACM Symposium on Applied Computing (SAC), 2019 | 51 | 2019 |
| Hybrid Mining: Exploiting Blockchain's Computational Power for Distributed Problem Solving K Chatterjee, AK Goharshady, A Pourdamghani ACM Symposium on Applied Computing (SAC), 2019 | 48 | 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 | 45 | 2020 |
| 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 | 42 | 2019 |
| Non-polynomial Worst-Case Analysis of Recursive Programs K Chatterjee, H Fu, AK Goharshady International Conference on Computer Aided Verification (CAV), 2017 | 42 | 2017 |
| 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 | 41 | 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 | 40 | 2018 |
| 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 | 30 | 2021 |
| 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 | 27 | 2021 |
| 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 | 27 | 2016 |
| 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 | 24 | 2022 |
| An Efficient Algorithm for Computing Network Reliability in Small Treewidth AK Goharshady, F Mohammadi Reliability Engineering and System Safety, 2020 | 23 | 2020 |
| [1, 2]-sets and [1, 2]-total sets in trees with algorithms AK Goharshady, MR Hooshmandasl, MA Meybodi Discrete Applied Mathematics 198, 136-146, 2016 | 23 | 2016 |
| 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 | 22 | 2022 |
| Efficient Parameterized Algorithms for Data Packing K Chatterjee, AK Goharshady, N Okati, A Pavlogiannis ACM Symposium on Principles of Programming Languages (POPL), 2019 | 21 | 2019 |
| Computational Approaches for Stochastic Shortest Path on Succinct MDPs K Chatterjee, H Fu, AK Goharshady, N Okati International Joint Conference on Artificial Intelligence (IJCAI), 2018 | 21 | 2018 |
Krishnendu ChatterjeeProfessor, IST Austria在 ist.ac.at 的电子邮件经过验证
