Template-based Program Synthesis using Stellensätze. - Amir Kafshdar Goharshady; S. Hitarth; Fatemeh Mohammadi; Harshit J. Motwani (CoRR, 2022)

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

The leading coefficient of Lascoux polynomials. - Alessio Borzì; Xiangying Chen; Harshit J. Motwani; Lorenzo Venturello; Martin Vodicka (Discret. Math., 2023)

Algebro-geometric Algorithms for Template-Based Synthesis of Polynomial Programs. - Amir Kafshdar Goharshady; S. Hitarth; Fatemeh Mohammadi; Harshit J. Motwani (Proc. ACM Program. Lang., 2023)

Practical Approximate Quantifier Elimination for Non-linear Real Arithmetic. - S. Akshay 001; Supratik Chakraborty; Amir Kafshdar Goharshady; R. Govind 001; Harshit J. Motwani; Sai Teja Varanasi (FM (1), 2024)

Automated Synthesis of Decision Lists for Polynomial Specifications over Integers. - S. Akshay 001; Supratik Chakraborty; Amir Kafshdar Goharshady; R. Govind 001; Harshit J. Motwani; Sai Teja Varanasi (LPAR, 2024)

Faster Treewidth-Based Approximations for Wiener Index. - Giovanna Kobus Conrado; Amir Kafshdar Goharshady; Pavel Hudec; Pingjiang Li; Harshit J. Motwani (SEA, 2024)

Global Rigidity of Line Constrained Frameworks. - James Cruickshank; Fatemeh Mohammadi; Harshit J. Motwani; Anthony Nixon; Shin-ichi Tanigawa (SIAM J. Discret. Math., 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)

On Certificates for Almost Sure Reachability in Stochastic Systems. - Arash Bahari Kordabad; Rupak Majumdar; Harshit J. Motwani; Sadegh Soudjani (CoRR, 2025)