Kshitij Bansal
From MaRDI portal
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Decomposing data structure commutativity proofs with \(mn\)-differencing | 2021-10-18 | Paper |
| Synthesizing precise and useful commutativity conditions Journal of Automated Reasoning | 2020-11-02 | Paper |
| Automatic generation of precise and useful commutativity conditions (available as arXiv preprint) | 2019-09-16 | Paper |
| Reasoning with finite sets and cardinality constraints in SMT (available as arXiv preprint) | 2018-11-02 | Paper |
| Deciding local theory extensions via E-matching (available as arXiv preprint) | 2018-03-01 | Paper |
| A New Decision Procedure for Finite Sets and Cardinality Constraints in SMT Automated Reasoning | 2016-09-05 | Paper |
| Structural Counter Abstraction Tools and Algorithms for the Construction and Analysis of Systems | 2013-08-05 | Paper |
| Model-checking bounded multi-pushdown systems Computer Science – Theory and Applications | 2013-06-14 | Paper |
| Beyond Shapes: Lists with Ordered Data Foundations of Software Science and Computational Structures | 2009-03-31 | Paper |
Research outcomes over time
This page was built for person: Kshitij Bansal
