BZPEER
More

Discover

About BZPEERSearchGraph

Research tools

HomeCollectionsResearchCollaborationPublish

Network

ExpertsCommunities

Opportunities

Listings

Account

Log inCreate account
Log inCreate account

Graph explorer

Research map

Explore the papers, people and topics connected to your research.

Ashutosh Gupta
SearchCollections
Map detail
Ashutosh Gupta18 visible / 18 total nodes / 38 links

Drag to move · Scroll or pinch to zoom · Select a node for details

Related contextCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipAuthorshipWorks onWorks onAuthorshipWorks onWorks onWorks onWorks onWorks onWorks onWorks onWorks onAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipTopic signalTopic signalAuthorshipAshutosh GuptaAAshutosh GuptaResearcherQuantifying Sensitivity for Tree Ensembles: A symbolic and compositional approachWQuantifying Sensitivity...preprint / 2026S. AkshayAS. AkshayResearcherChaitanya GargAChaitanya GargResearcherKuldeep S. MeelAKuldeep S. MeelResearcherAjinkya NaikAAjinkya NaikResearcherGeneralised Interpolation by Solving Recursion-Free Horn ClausesWGeneralised Interpolati...preprint / 2014Artificial IntelligenceTArtificial Intelligence22915 worksMachine LearningTMachine Learning49008 worksVerifying Array Manipulating Programs with Full-Program InductionWVerifying Array Manipul...preprint / 2020Synthesizing Multiple Boolean Functions using Interpolation on a Single ProofWSynthesizing Multiple B...preprint / 2013Improvised Apriori Algorithm using frequent pattern tree for real time applications in data miningWImprovised Apriori Algo...preprint / 2014Abstraction-driven Concolic TestingWAbstraction-driven Conc...preprint / 2015Matching Multiplications in Bit-Vector FormulasWMatching Multiplication...preprint / 2016Optimal Stateless Model Checking of Transactional Programs under Causal ConsistencyWOptimal Stateless Model...preprint / 2023Two-Pass End-to-End ASR Model CompressionWTwo-Pass End-to-End ASR...preprint / 2022Model Checking Gene Regulatory NetworksWModel Checking Gene Reg...preprint / 2015Image Denoising in FPGA using Generic Risk EstimationWImage Denoising in FPGA...preprint / 2023
Person17 links

Ashutosh Gupta

Researcher

PaperQuantifying Sensitivity for Tree Ensembles: A symbolic and compositional approachAuthorship / preprint / 2026PersonS. AkshayCo-authorship / ResearcherPersonChaitanya GargCo-authorship / ResearcherPersonKuldeep S. MeelCo-authorship / ResearcherPersonAjinkya NaikCo-authorship / ResearcherPaperGeneralised Interpolation by Solving Recursion-Free Horn ClausesAuthorship / preprint / 2014TopicArtificial IntelligenceWorks on / 22915 worksTopicMachine LearningWorks on / 49008 works

Personal maps

Sign in to save graph views

Saved views keep the query, focus and filters attached so you can return to the same research slice later.

Sign in

Public snapshots

1 shared view(s)