Parameterized Algorithms for Topological Indices in Chemistry. - Giovanna Kobus Conrado; Amir Kafshdar Goharshady; Harshit J. Motwani; Sergei Novozhilov (CoRR, 2023)

Pixiu: Optimal Block Production Revenues on Cardano. - Togzhan Barakbayeva; Soroush Farokhnia; Amir Kafshdar Goharshady; Markus Gufler; Sergei Novozhilov (Blockchain, 2024)

On the Almost-Sure Termination of Probabilistic Counter Programs. - Sergei Novozhilov; Mingqi Yang; Mingshuai Chen; Zhiyang Li; Jianwei Yin (CAV (2), 2025)

Efficient Synthesis of Tight Polynomial Upper-Bounds for Systems of Conditional Polynomial Recurrences. - Amir Kafshdar Goharshady; S. Hitarth; Sergei Novozhilov (ESOP (2), 2025)