Graph explorer

Research map

Explore the papers, people and topics connected to your research.

Dmitry Rozplokhas
Map detail
Dmitry Rozplokhas4 visible / 4 total nodes / 3 links

Drag to move · Scroll or pinch to zoom · Select a node for details

AuthorshipAuthorshipAuthorshipDmitry RozplokhasADmitry RozplokhasResearcherScheduling Complexity of Interleaving SearchWScheduling Complexity o...preprint / 2022Certified Semantics for Relational ProgrammingWCertified Semantics for...preprint / 2020The New Normal: We Cannot Eliminate Cuts in Coinductive Calculi, But We Can Explore ThemWThe New Normal: We Cann...preprint / 2020
Person3 links

Dmitry Rozplokhas

Researcher