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
