Graph explorer

Research map

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

Rumyana Neykova
Map detail
Rumyana Neykova6 visible / 6 total nodes / 5 links

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

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipRumyana NeykovaARumyana NeykovaResearcherMultiparty Session ActorsWMultiparty Session Actorspreprint / 2014Stay Safe under Panic: Affine Rust Programming with Multiparty Session TypesWStay Safe under Panic: ...preprint / 2022Multiparty Session Programming with Global Protocol CombinatorsWMultiparty Session Prog...preprint / 2020Statically Verified Refinements for Multiparty ProtocolsWStatically Verified Ref...preprint / 2020DApps Ecosystems: Mapping the Network Structure of Smart Contract InteractionsWDApps Ecosystems: Mappi...preprint / 2024
Person5 links

Rumyana Neykova

Researcher