The treewidth of smart contracts. - Krishnendu Chatterjee; Amir Kafshdar Goharshady; Ehsan Kafshdar Goharshady (SAC, 2019)

Polynomial invariant generation for non-deterministic recursive programs. - Krishnendu Chatterjee; Hongfei Fu 001; Amir Kafshdar Goharshady; Ehsan Kafshdar Goharshady (PLDI, 2020)

Proving non-termination by program reversal. - Krishnendu Chatterjee; Ehsan Kafshdar Goharshady; Petr Novotný 001; Dorde Zikelic (PLDI, 2021)

On Lexicographic Proof Rules for Probabilistic Termination. - Krishnendu Chatterjee; Ehsan Kafshdar Goharshady; Petr Novotný 001; Jiri Zárevúcky; Dorde Zikelic (Formal Aspects Comput., 2023)

Bidding Games with Charging. - Guy Avni; Ehsan Kafshdar Goharshady; Thomas A. Henzinger; Kaushik Mallik (CONCUR, 2024)

Sound and Complete Witnesses for Template-Based Verification of LTL Properties on Polynomial Programs. - Krishnendu Chatterjee; Amir Kafshdar Goharshady; Ehsan Kafshdar Goharshady; Mehrdad Karrabi; Dorde Zikelic (FM (1), 2024)

Solving Long-run Average Reward Robust MDPs via Stochastic Games. - Krishnendu Chatterjee; Ehsan Kafshdar Goharshady; Mehrdad Karrabi; Petr Novotný 001; Dorde Zikelic (IJCAI, 2024)

PolyHorn: A Polynomial Horn Clause Solver. - Krishnendu Chatterjee; Amir Kafshdar Goharshady; Ehsan Kafshdar Goharshady; Mehrdad Karrabi; Milad Saadat; Dorde Zikelic (CoRR, 2024)

Equivalence and Similarity Refutation for Probabilistic Programs. - Krishnendu Chatterjee; Ehsan Kafshdar Goharshady; Petr Novotný 001; Dorde Zikelic (Proc. ACM Program. Lang., 2024)

Quantified Linear and Polynomial Arithmetic Satisfiability via Template-based Skolemization. - Krishnendu Chatterjee; Ehsan Kafshdar Goharshady; Mehrdad Karrabi; Harshit J. Motwani; Maximilian Seeliger; Dorde Zikelic (AAAI, 2025)

Refuting Equivalence in Probabilistic Programs with Conditioning. - Krishnendu Chatterjee; Ehsan Kafshdar Goharshady; Petr Novotný 001; Dorde Zikelic (TACAS (2), 2025)

Qualitative Analysis of ω-Regular Objectives on Robust MDPs. - Ali Asadi; Krishnendu Chatterjee; Ehsan Kafshdar Goharshady; Mehrdad Karrabi; Ali Shafiee (CoRR, 2025)