Pritam Roy

From MaRDI portal
Person:979078

Available identifiers

zbMath Open roy.pritamMaRDI QIDQ979078

List of research outcomes





PublicationDate of PublicationType
Stationary state of harmonic chains driven by boundary resetting2024-09-26Paper
Device-independent quantum secure direct communication under non-Markovian quantum channels2024-06-05Paper
Achieving high coverage in hardware equivalence checking via concolic verification2023-10-30Paper
Solving games via three-valued abstraction refinement2010-06-25Paper
Solving Games Via Three-Valued Abstraction Refinement2008-09-18Paper
Magnifying-Lens Abstraction for Markov Decision Processes2007-11-29Paper
Frontiers of Combining Systems2006-10-10Paper

Research outcomes over time

This page was built for person: Pritam Roy

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:979078&oldid=7352778"
Powered by MediaWiki