The Well Structured Problem for Presburger Counter Machines. - Alain Finkel; Ekanshdeep Gupta (FSTTCS, 2019)

Raven: An SMT-Based Concurrency Verifier. - Ekanshdeep Gupta; Nisarg Patel; Thomas Wies (CAV (1), 2025)

Arithmetizing Shape Analysis. - Sebastian Wolff 001; Ekanshdeep Gupta; Zafer Esen; Hossein Hojjat; Philipp Rümmer; Thomas Wies (CAV (1), 2025)