In Computer Science, conferences are the main peer-reviewed venue of publication and conference papers are usually more prestigious than journal articles. Especially, publishing in flagship and top-rated conferences is extremely competitive. Following the global norms of Mathematics and Theoretical Computer Science, names appear in alphabetical order, except that Iranian and Chinese co-authors are sometimes put first to satisfy their graduation requirements.

A. Ahmadi, K. Chatterjee, A.K. Goharshady, T. Meggendorfer, R. Safavi, Ð. Žikelić

**Algorithms and Hardness Results for Computing Cores of Markov Chains**

IARCS Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2022M. Alambardar, A.K. Goharshady, M.R. Hooshmandasl, A. Shakiba

**Optimal Mining: Maximizing Bitcoin Miners’ Revenues From Transaction Fees**

IEEE International Conference on Blockchain, Blockchain 2022K. Chatterjee, A.K. Goharshady, T. Meggendorfer, Ð. Žikelić

**Sound and Complete Certificates for Quantitative Termination Analysis of Probabilistic Programs**International Conference on Computer Aided Verification, CAV 2022A. Ahmadi, M. Daliri, A.K. Goharshady, A. Pavlogiannis

**Efficient Approximations for Cache-conscious Data Placement**ACM Conference on Programming Language Design and Implementation, PLDI 2022A.K. Goharshady

**Irrationality, Extortion, or Trusted Third-Parties: Why It is Impossible to Buy and Sell Physical Goods Securely on the Blockchain**IEEE International Conference on Blockchain, Blockchain 2021*Best Paper Award Nominee*A. Asadi, K. Chatterjee, H. Fu, A.K. Goharshady, M. Mahdavi

**Polynomial Reachability Witnesses via Stellensätze**ACM Conference on Programming Language Design and Implementation, PLDI 2021J. Wang, Y. Sun, H. Fu, K. Chatterjee, A.K. Goharshady

**Quantitative Analysis of Assertion Violations in Probabilistic Programs**ACM Conference on Programming Language Design and Implementation, PLDI 2021A.K. Goharshady, F. Mohammadi

**An Efficient Algorithm for Computing Network Reliability in Small Treewidth**

Reliability Engineering and System Safety, 2020A.K. Goharshady

**Parameterized and Algebro-geometric Advances in Static Program Analysis**

PhD Thesis, IST Austria (Institute of Science and Technology Austria), 2020A. Asadi, K. Chatterjee, A.K. Goharshady, K. Mohammadi, A. Pavlogiannis

**Faster Algorithms for Quantitative Analysis of MCs and MDPs with Small Treewidth**

International Symposium on Automated Technology for Verification and Analysis, ATVA 2020K. Chatterjee, H. Fu, A.K. Goharshady, E.K. Goharshady

**Polynomial Invariant Generation for Non-deterministic Recursive Programs**

ACM Conference on Programming Language Design and Implementation, PLDI 2020K. Chatterjee, A.K. Goharshady, R. Ibsen-Jensen, A. Pavlogiannis

**Optimal and Perfectly Parallel Algorithms for On-demand Data-flow Analysis**European Symposium on Programming, ESOP 2020*EATCS Best Paper Award Nominee*A. Shakiba, A.K. Goharshady, M.R. Hooshmandasl, M. Alambardar

**A Note on Belief Structures and S-Approximation Spaces**

Iranian Journal of Mathematical Sciences and Informatics, IJMSI 2020M. Huang, H. Fu, K. Chatterjee, A.K. Goharshady

**Modular Verification for Almost-Sure Termination of Probabilistic Programs**ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2019*IEEE Computer Society Best Student Paper Award*K. Chatterjee, A.K. Goharshady, P. Goyal, R. Ibsen-Jensen, A. Pavlogiannis

**Faster Algorithms for Dynamic Algebraic Queries in Basic RSMs with Constant Treewidth**

ACM Transactions on Programming Languages and Systems, TOPLAS 2019K. Chatterjee, H. Fu, A.K. Goharshady

**Non-polynomial Worst-case Analysis of Recursive Programs**

ACM Transactions on Programming Languages and Systems, TOPLAS 2019P. Wang, H. Fu, A.K. Goharshady, K. Chatterjee, X. Qin, W. Shi

**Cost Analysis of Nondeterministic Probabilistic Programs**

ACM Conference on Programming Language Design and Implementation, PLDI 2019K. Chatterjee, A.K. Goharshady, A. Pourdamghani

**Probabilistic Smart Contracts: Secure Randomness on the Blockchain**

IEEE International Conference on Blockchain and Cryptocurrency, ICBC 2019K. Chatterjee, A.K. Goharshady, A. Pourdamghani

**Hybrid Mining: Exploiting Blockchain’s Computational Power for Distributed Problem Solving**

ACM Symposium on Applied Computing, SAC 2019K. Chatterjee, A.K. Goharshady, E.K. Goharshady

**The Treewidth of Smart Contracts**

ACM Symposium on Applied Computing, SAC 2019K. Chatterjee, A.K. Goharshady, N. Okati, A. Pavlogiannis

**Efficient Parameterized Algorithms for Data Packing**

ACM Symposium on Principles of Programming Languages, POPL 2019*IEEE Computer Society Best Student Paper Award*K. Chatterjee, A.K. Goharshady, R. Ibsen-Jensen, A. Pavlogiannis

**Algorithms for Algebraic Path Properties in Concurrent Systems of Constant Treewidth Components**

ACM Transactions on Programming Languages and Systems, TOPLAS 2018K. Chatterjee, A.K. Goharshady, R. Ibsen-Jensen, Y. Velner

**Ergodic Mean-payoff Games for the Analysis of Attacks in Cryptocurrencies**

International Conference on Concurrency Theory, CONCUR 2018A.K. Goharshady, A. Behrouz, K. Chatterjee

**Secure Credit Reporting on the Blockchain**

IEEE International Symposium on Blockchain and its Applications, Blockchain 2018K. Chatterjee, H. Fu, A.K. Goharshady, N. Okati

**Computational Approaches for Stochastic Shortest Path on Succinct MDPs**

International Joint Conference on Artificial Intelligence, IJCAI 2018K. Chatterjee, A.K. Goharshady, Y. Velner

**Quantitative Analysis of Smart Contracts**

European Symposium on Programming, ESOP 2018K. Chatterjee, A.K. Goharshady, A. Pavlogiannis

**JTDec: A Tool for Tree Decompositions in Soot**

International Symposium on Automated Technology for Verification and Analysis, ATVA 2017K. Chatterjee, H. Fu, A.K. Goharshady

**Non-polynomial Worst-case Analysis of Recursive Programs**

International Conference on Computer Aided Verification, CAV 2017K. Chatterjee, H. Fu, A.K. Goharshady

**Termination Analysis of Probabilistic Programs through Positivstellensätze**

International Conference on Computer Aided Verification, CAV 2016K. Chatterjee, A.K. Goharshady, R. Ibsen-Jensen, A. Pavlogiannis

**Algorithms for Algebraic Path Properties in Concurrent Systems of Constant Treewidth Components**

ACM Symposium on Principles of Programming Languages, POPL 2016M.R. Hooshmandasl, M. Alambardar, A.K. Goharshady, A.Shakiba

**A Combinatorial Approach to Certain Topological Spaces Based on Minimum Complement S-Approximation Spaces**

Iranian Seminar on Geometry and Topology, 2015A.K. Goharshady, M.R. Hooshmandasl, M. Alambardar

**[1, 2]-sets and [1, 2]-total Sets in Trees with Algorithms**

Discrete Applied Mathematics, 2015M.R. Hooshmandasl, A. Shakiba, A.K. Goharshady, A. Karimi

**S-Approximation: A New Approach to Algebraic Approximation**

Journal of Discrete Mathematics, 2014