Ashutosh Gupta

Available identifiers

zbMath Open gupta.ashutoshMaRDI QIDQ630709

List of research outcomes

Publication	Date of Publication	Type
Robust Controller Synthesis for Duration Calculus	2022-12-22	Paper
Verifying Array Manipulating Programs with Full-Program Induction	2022-10-13	Paper
Automated inference of production rules for glycans	2022-05-25	Paper
\textsc{Diffy}: inductive reasoning of array programs using difference invariants	2022-03-25	Paper
https://portal.mardi4nfdi.de/entity/Q4997234	2021-06-28	Paper
A formal methods approach to predicting new features of the eukaryotic vesicle traffic system	2021-04-28	Paper
Model Checking Gene Regulatory Networks	2019-09-17	Paper
Verifying Array Manipulating Programs by Tiling	2019-09-16	Paper
Synthesis for vesicle traffic systems	2018-10-17	Paper
Model checking the evolution of gene regulatory networks	2017-12-01	Paper
Matching Multiplications in Bit-Vector Formulas	2017-02-21	Paper
Succinct Representation of Concurrent Trace Sets	2016-09-29	Paper
Abstraction-driven Concolic Testing	2016-03-23	Paper
Extensional Crisis and Proving Identity	2015-12-17	Paper
Proving non-termination	2014-09-12	Paper
Predicate abstraction and refinement for verifying multi-threaded programs	2014-04-10	Paper
Tree Interpolation in Vampire	2014-01-17	Paper
A Bayes comparison of Weibull extension and modified Weibull models for data showing bathtub hazard rate	2013-06-03	Paper
Bayesian modeling of bathtub shaped hazard rate using various Weibull extensions and related issues of model selection	2013-03-08	Paper
A Bayesian study for the comparison of generalized gamma model with its components	2013-02-04	Paper
Improved Single Pass Algorithms for Resolution Proof Reduction	2012-11-21	Paper
A fast dynamic compression scheme for natural language texts	2011-03-19	Paper
Efficient Storage of Massive Biological Sequences in Compact Form	2010-12-07	Paper
Non-monotonic Refinement of Control Abstraction for Concurrent Programs	2010-10-04	Paper
A Bayes analysis of modified Weibull distribution via Markov chain Monte Carlo simulation	2010-05-26	Paper
Accelerated test system strength models based on Birnbaum-Saunders distribution: a complete Bayesian analysis and comparison	2009-09-14	Paper
Transforming the Natural Language Text for Improving Compression Performance	2009-01-07	Paper
Compression Using Encryption	2009-01-07	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Ashutosh Gupta