Pritam Roy
From MaRDI portal
Person:979078
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 |
|---|---|---|
| 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
