Ashutosh Gupta
Identifiers
- name variant Ashutosh Gupta 0.60 · backfill
Papers (11)
- Quantifying Sensitivity for Tree Ensembles: A symbolic and compositional approach cs.AI · 2026 · author #3
- Trend-Based Networking Driven by Big Data Telemetry for SDN and Traditional Networks cs.NI · 2019 · author #3
- Synthesis for Vesicle Traffic Systems q-bio.SC · 2018 · author #1
- SMT Solving for Vesicle Traffic Systems in Cells cs.OH · 2018 · author #1
- Verifying Array Manipulating Programs by Tiling cs.SE · 2017 · author #2
- Matching Multiplications in Bit-Vector Formulas cs.LO · 2016 · author #2
- Abstraction-driven Concolic Testing cs.LO · 2015 · author #2
- Improvised Apriori Algorithm using frequent pattern tree for real time applications in data mining cs.DB · 2014 · author #2
- Model Checking Gene Regulatory Networks cs.CE · 2014 · author #3
- Synthesizing Multiple Boolean Functions using Interpolation on a Single Proof cs.LO · 2013 · author #2
- Generalised Interpolation by Solving Recursion-Free Horn Clauses cs.LO · 2013 · author #1
Mentions
- 1511.02615 #2 · backfill · confidence 0.70 Ashutosh Gupta
- 1411.6224 #2 · backfill · confidence 0.70 Ashutosh Gupta
- 1410.7704 #3 · backfill · confidence 0.70 Ashutosh Gupta
- 1308.4767 #2 · backfill · confidence 0.70 Ashutosh Gupta
- 1303.7378 #1 · backfill · confidence 0.70 Ashutosh Gupta
Frequent Coauthors
- Ankit Shukla 2 shared papers
- Supratik Chakraborty 2 shared papers
- Thomas A. Henzinger 2 shared papers
- Ajinkya Naik 1 shared papers
- Akshita Bhandari 1 shared papers
- Andrey Rybalchenko 1 shared papers
- Ankur Jain 1 shared papers
- Arohi Gupta 1 shared papers
- Bettina K\"onighofer 1 shared papers
- Calin C. Guet 1 shared papers
- Chaitanya Garg 1 shared papers
- Corneliu Popeea 1 shared papers
- Debasis Das 1 shared papers
- Dewang Gedia 1 shared papers
- Divyesh Unadkat 1 shared papers
- Georg Hofferek 1 shared papers
- Jie-Hong Roland Jiang 1 shared papers
- Kuldeep S. Meel 1 shared papers
- Leidy P\'erez 1 shared papers
- Levi Perigo 1 shared papers