Subhajit Roy
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 |
|---|---|---|
| Data-driven invariant learning for probabilistic programs Formal Methods in System Design | 2025-08-25 | Paper |
| Distributed bounded model checking Formal Methods in System Design | 2025-01-13 | Paper |
| On fractional Orlicz-Hardy inequalities Journal of Mathematical Analysis and Applications | 2024-12-05 | Paper |
| On weighted Orlicz-Sobolev inequalities Discrete and Continuous Dynamical Systems | 2024-08-26 | Paper |
| Symbolic encoding of LL(1) parsing and its applications Formal Methods in System Design | 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 EPiC Series in Computing | 2019-07-04 | Paper |
| Parse condition: symbolic encoding of LL(1) parsing EPiC Series in Computing | 2019-07-04 | Paper |
Research outcomes over time
This page was built for person: Subhajit Roy
