Pritam 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 |
|---|---|---|
| Ratliff property of edge ideals of weighted oriented graphs The Electronic Journal of Combinatorics | 2025-11-12 | Paper |
| Stationary state of harmonic chains driven by boundary resetting Journal of Statistical Mechanics: Theory and Experiment | 2024-09-26 | Paper |
| Device-independent quantum secure direct communication under non-Markovian quantum channels Quantum Information Processing | 2024-06-05 | Paper |
| Achieving high coverage in hardware equivalence checking via concolic verification Formal Methods in System Design | 2023-10-30 | Paper |
| Solving games via three-valued abstraction refinement Information and Computation | 2010-06-25 | Paper |
| Solving Games Via Three-Valued Abstraction Refinement CONCUR 2007 – Concurrency Theory | 2008-09-18 | Paper |
| Magnifying-Lens Abstraction for Markov Decision Processes Computer Aided Verification | 2007-11-29 | Paper |
| Frontiers of Combining Systems Lecture Notes in Computer Science | 2006-10-10 | Paper |
Research outcomes over time
This page was built for person: Pritam Roy
