Harshit J. Motwani

According to our database, Harshit J. Motwani authored at least 13 papers between 2022 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2026

Verifying Almost-Sure Termination for Randomized Distributed Algorithms.

Constantin Enea, Rupak Majumdar, Harshit Jitendra Motwani, V. R. Sathiyanarayana

Proc. ACM Program. Lang., 2026

2025

On Certificates for Almost Sure Reachability in Stochastic Systems.

Arash Bahari Kordabad, Rupak Majumdar, Harshit J. Motwani, Sadegh Soudjani

CoRR, July, 2025

Combinatorial Parameterized Algorithms for Chemical Descriptors based on Molecular Graph Sparsity.

Giovanna Kobus Conrado, Amir Kafshdar Goharshady, Harshit Jitendra Motwani, Sergei Novozhilov

Proceedings of the XIII Latin-American Algorithms, Graphs and Optimization Symposium, 2025

LP-Based Weighted Model Integration over Non-Linear Real Arithmetic.

S. Akshay, Supratik Chakraborty, Soroush Farokhnia, Amir Kafshdar Goharshady, Harshit Jitendra Motwani, Dorde Zikelic

Proceedings of the Thirty-Fourth International Joint Conference on Artificial Intelligence, 2025

Quantified Linear and Polynomial Arithmetic Satisfiability via Template-based Skolemization.

Krishnendu Chatterjee, Ehsan Kafshdar Goharshady, Mehrdad Karrabi, Harshit J. Motwani, Maximilian Seeliger, Dorde Zikelic

Proceedings of the Thirty-Ninth AAAI Conference on Artificial Intelligence, 2025

2024

Global Rigidity of Line Constrained Frameworks.

James Cruickshank, Fatemeh Mohammadi, Harshit J. Motwani, Anthony Nixon, Shin-ichi Tanigawa

SIAM J. Discret. Math., March, 2024

Faster Treewidth-Based Approximations for Wiener Index.

Giovanna Kobus Conrado, Amir Kafshdar Goharshady, Pavel Hudec, Pingjiang Li, Harshit J. Motwani

Proceedings of the 22nd International Symposium on Experimental Algorithms, 2024

Automated Synthesis of Decision Lists for Polynomial Specifications over Integers.

S. Akshay, Supratik Chakraborty, Amir Kafshdar Goharshady, R. Govind, Harshit J. Motwani, Sai Teja Varanasi

Proceedings of the LPAR 2024: Proceedings of 25th Conference on Logic for Programming, 2024

Practical Approximate Quantifier Elimination for Non-linear Real Arithmetic.

S. Akshay, Supratik Chakraborty, Amir Kafshdar Goharshady, R. Govind, Harshit J. Motwani, Sai Teja Varanasi

Proceedings of the Formal Methods - 26th International Symposium, 2024

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., April, 2023

The leading coefficient of Lascoux polynomials.

Alessio Borzì, Xiangying Chen, Harshit J. Motwani, Lorenzo Venturello, Martin Vodicka

Discret. Math., 2023

Parameterized Algorithms for Topological Indices in Chemistry.

Giovanna Kobus Conrado, Amir Kafshdar Goharshady, Harshit J. Motwani, Sergei Novozhilov

CoRR, 2023

2022

Template-based Program Synthesis using Stellensätze.

Amir Kafshdar Goharshady, S. Hitarth, Fatemeh Mohammadi, Harshit J. Motwani

CoRR, 2022