Subhajit Roy
From MaRDI portal
Person:5222983
Available identifiers
zbMath Open roy.subhajitMaRDI QIDQ5222983
List of research outcomes
| Publication | Date of Publication | Type |
|---|---|---|
| Symbolic encoding of LL(1) parsing and its applications | 2024-03-11 | 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
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: Subhajit Roy
