Deepak Kapur

Identifiers

• name variant Deepak Kapur 0.60 · backfill

Papers (6)

1. Computing Certificates in Archimedean Univariate Saturated Quadratic Modules cs.SC · 2026 · author #2
2. Using Dynamic Analysis to Generate Disjunctive Invariants cs.SE · 2019 · author #2
3. Connecting Program Synthesis and Reachability: Automatic Program Repair using Test-Input Generation cs.PL · 2019 · author #3
4. Interpolation synthesis for quadratic polynomial inequalities and combination with EUF cs.LO · 2016 · author #5
5. Synthesizing Switching Controllers for Hybrid Systems by Continuous Invariant Generation cs.SY · 2013 · author #1
6. A "Hybrid" Approach for Synthesizing Optimal Controllers of Hybrid Systems: A Case Study of the Oil Pump Industrial Example cs.SY · 2012 · author #3

Mentions

• 2605.18980 #2 · arxiv_oai · confidence 0.70 Deepak Kapur

Frequent Coauthors

• Naijun Zhan 3 shared papers
• Hengjun Zhao 2 shared papers
• Stephanie Forrest 2 shared papers
• ThanhVu Nguyen 2 shared papers
• Westley Weimer 2 shared papers
• Bican Xia 1 shared papers
• Jose Abel Castellanos-Joo 1 shared papers
• Kim G. Larsen 1 shared papers
• Liyun Dai 1 shared papers
• Mingshuai Chen 1 shared papers
• Ting Gan 1 shared papers