Subhajit Roy
From MaRDI portal
Person:5222983
Available identifiers
zbMath Open roy.subhajitMaRDI QIDQ5222983
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 |
|---|---|---|
| Distributed bounded model checking | 2025-01-13 | Paper |
| On fractional Orlicz-Hardy inequalities | 2024-12-05 | Paper |
| On weighted Orlicz-Sobolev inequalities | 2024-08-26 | Paper |
| Symbolic encoding of LL(1) parsing and its applications | 2024-03-11 | Paper |
| HOLL: program synthesis for higher order logic locking | 2024-01-23 | Paper |
| On Weighted Orlicz-Sobolev inequalities | 2023-05-24 | Paper |
| Data-Driven Invariant Learning for Probabilistic Programs | 2022-12-07 | Paper |
| Proof-Guided Underapproximation Widening for Bounded Model Checking | 2022-12-07 | Paper |
| Knowledge Compilation meets Uniform Sampling | 2019-07-04 | Paper |
| Parse Condition: Symbolic Encoding of LL(1) Parsing | 2019-07-04 | Paper |
Research outcomes over time
This page was built for person: Subhajit Roy
