Subhajit Roy
From MaRDI portal
Person:5222983
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 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
