The following pages link to Ashutosh Gupta (Q630709):
Displayed 27 items.
- A fast dynamic compression scheme for natural language texts (Q630711) (← links)
- \textsc{Diffy}: inductive reasoning of array programs using difference invariants (Q832320) (← links)
- Accelerated test system strength models based on Birnbaum-Saunders distribution: a complete Bayesian analysis and comparison (Q841074) (← links)
- Model checking the evolution of gene regulatory networks (Q1683930) (← links)
- Synthesis for vesicle traffic systems (Q1796489) (← links)
- A Bayesian study for the comparison of generalized gamma model with its components (Q1936427) (← links)
- Bayesian modeling of bathtub shaped hazard rate using various Weibull extensions and related issues of model selection (Q1940895) (← links)
- A formal methods approach to predicting new features of the eukaryotic vesicle traffic system (Q2022307) (← links)
- Automated inference of production rules for glycans (Q2142104) (← links)
- Abstraction-driven Concolic Testing (Q2796059) (← links)
- Succinct Representation of Concurrent Trace Sets (Q2819829) (← links)
- Tree Interpolation in Vampire (Q2870125) (← links)
- Matching Multiplications in Bit-Vector Formulas (Q2961559) (← links)
- Efficient Storage of Massive Biological Sequences in Compact Form (Q3058891) (← links)
- Proving non-termination (Q3189834) (← links)
- Extensional Crisis and Proving Identity (Q3457789) (← links)
- A Bayes analysis of modified Weibull distribution via Markov chain Monte Carlo simulation (Q3564755) (← links)
- Improved Single Pass Algorithms for Resolution Proof Reduction (Q4649291) (← links)
- A Bayes comparison of Weibull extension and modified Weibull models for data showing bathtub hazard rate (Q4922608) (← links)
- Non-monotonic Refinement of Control Abstraction for Concurrent Programs (Q4931292) (← links)
- (Q4997234) (← links)
- Verifying Array Manipulating Programs with Full-Program Induction (Q5039501) (← links)
- Model Checking Gene Regulatory Networks (Q5194958) (← links)
- Verifying Array Manipulating Programs by Tiling (Q5233256) (← links)
- Transforming the Natural Language Text for Improving Compression Performance (Q5302418) (← links)
- Compression Using Encryption (Q5302419) (← links)
- Predicate abstraction and refinement for verifying multi-threaded programs (Q5408554) (← links)