default search action
Rumyana Neykova
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j9]Giacomo Ibba, Sabrina Aufiero
, Silvia Bartolucci
MindTheDApp: A Toolchain for Complex Network-Driven Structural Analysis of Ethereum-Based Decentralized Applications. IEEE Access 12: 28382-28394 (2024) - [j8]Sabrina Aufiero, Giacomo Ibba, Silvia Bartolucci
DApps ecosystems: mapping the network structure of smart contract interactions. EPJ Data Sci. 13(1): 60 (2024) - [c24]Matteo Vaccargiu
Sustainability in Blockchain Development: A BERT-Based Analysis of Ethereum Developer Discussions. EASE 2024: 381-386 - [c23]Derek Groen
A Working Week Simulation Approach to Forecast Personal Well-Being. ICCS (3) 2024: 246-253 - [c22]Giacomo Ibba
A Curated Solidity Smart Contracts Repository of Metrics and Vulnerability. PROMISE 2024: 32-41 - [c21]Giacomo Ibba, Giuseppe Destefanis, Rumyana Neykova, Marco Ortu, Sabrina Aufiero, Silvia Bartolucci:
DAI: A Dependencies Analyzer and Installer for Solidity Smart Contracts. SANER (Companion) 2024: 72-75 - [i7]Sabrina Aufiero, Giacomo Ibba, Silvia Bartolucci, Giuseppe Destefanis, Rumyana Neykova, Marco Ortu:
DApps Ecosystems: Mapping the Network Structure of Smart Contract Interactions. CoRR abs/2401.01991 (2024) - [i6]Rumyana Neykova, Derek Groen:
Model Input Verification of Large Scale Simulations. CoRR abs/2409.05768 (2024) - 2023
- [c20]Giacomo Ibba
A Preliminary Analysis of Software Metrics in Decentralised Applications. BlockSys 2023: 27-33 - [c19]Anjum Nazir, Michael Singh, Giuseppe Destefanis
Towards a Scalable Dual-Sided Blockchain Architecture with Concurrency Protocols. ICSA-C 2023: 224-230 - [c18]Anjum Nazir, Michael Singh, Giuseppe Destefanis, Jamsheed Memon, Rumyana Neykova, Mohamad Kassab, Roberto Tonelli:
An Optimized Concurrent Proof of Authority Consensus Protocol. SANER 2023: 874-877 - [i5]Giacomo Ibba, Sabrina Aufiero, Silvia Bartolucci
MindTheDApp: A Toolchain for Complex Network-Driven Structural Analysis of Ethereum-based Decentralised Applications. CoRR abs/2310.02408 (2023) - 2022
- [j7]Nicolas Lagaillardie
Stay Safe Under Panic: Affine Rust Programming with Multiparty Session Types (Artifact). Dagstuhl Artifacts Ser. 8(2): 09:1-09:16 (2022) - [c17]Nicolas Lagaillardie
Stay Safe Under Panic: Affine Rust Programming with Multiparty Session Types. ECOOP 2022: 4:1-4:29 - [c16]Keigo Imai
Kmclib: Automated Inference and Verification of Session Types from OCaml Programs. TACAS (1) 2022: 379-386 - [e2]Marco Carbone, Rumyana Neykova:
Proceedings of the 13th International Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, PLACES@ETAPS 2022, Munich, Germany, 3rd April 2022. EPTCS 356, 2022 [contents] - [i4]Nicolas Lagaillardie, Rumyana Neykova, Nobuko Yoshida:
Stay Safe under Panic: Affine Rust Programming with Multiparty Session Types. CoRR abs/2204.13464 (2022) - 2021
- [i3]Keigo Imai, Julien Lange, Rumyana Neykova:
kmclib: Automated Inference and Verification of Session Types. CoRR abs/2111.12147 (2021) - 2020
- [j6]Keigo Imai, Rumyana Neykova, Nobuko Yoshida, Shoji Yuen:
Multiparty Session Programming with Global Protocol Combinators (Artifact). Dagstuhl Artifacts Ser. 6(2): 18:1-18:2 (2020) - [j5]Fangyi Zhou
Statically verified refinements for multiparty protocols. Proc. ACM Program. Lang. 4(OOPSLA): 148:1-148:30 (2020) - [c15]Nicolas Lagaillardie
Implementing Multiparty Session Types in Rust. COORDINATION 2020: 127-136 - [c14]Andrea Capiluppi
Using the Lexicon from Source Code to Determine Application Domain. EASE 2020: 110-119 - [c13]Keigo Imai
Multiparty Session Programming With Global Protocol Combinators. ECOOP 2020: 9:1-9:30 - [d2]Fangyi Zhou
Statically Verified Refinements for Multiparty Protocols. Zenodo, 2020 - [d1]Fangyi Zhou
Statically Verified Refinements for Multiparty Protocols. Zenodo, 2020 - [i2]Keigo Imai, Rumyana Neykova, Nobuko Yoshida, Shoji Yuen:
Multiparty Session Programming with Global Protocol Combinators. CoRR abs/2005.06333 (2020) - [i1]Fangyi Zhou, Francisco Ferreira, Raymond Hu, Rumyana Neykova, Nobuko Yoshida:
Statically Verified Refinements for Multiparty Protocols. CoRR abs/2009.06541 (2020)
2010 – 2019
- 2019
- [c12]Rumyana Neykova, Nobuko Yoshida
Featherweight Scribble. Models, Languages, and Tools for Concurrent and Distributed Programming 2019: 236-259 - 2018
- [c11]Rumyana Neykova, Raymond Hu
A session type provider: compile-time API generation of distributed protocols with refinements in F#. CC 2018: 128-138 - 2017
- [j4]Rumyana Neykova, Nobuko Yoshida
Multiparty Session Actors. Log. Methods Comput. Sci. 13(1) (2017) - [j3]Rumyana Neykova
Timed runtime monitoring for multiparty conversations. Formal Aspects Comput. 29(5): 877-910 (2017) - [c10]Rumyana Neykova, Nobuko Yoshida:
Let it recover: multiparty protocol-induced recovery. CC 2017: 98-108 - 2016
- [b1]Rumyana Neykova:
Multiparty session types for dynamic verification of distributed systems. Imperial College London, UK, 2016 - [j2]Davide Ancona, Viviana Bono
Behavioral Types in Programming Languages. Found. Trends Program. Lang. 3(2-3): 95-230 (2016) - 2015
- [j1]Romain Demangeon, Kohei Honda, Raymond Hu
Practical interruptible conversations: distributed dynamic verification with multiparty session types and Python. Formal Methods Syst. Des. 46(3): 197-225 (2015) - 2014
- [c9]Kohei Honda, Raymond Hu
Structuring Communication with Session Types. Concurrent Objects and Beyond 2014: 105-127 - [c8]Rumyana Neykova
Multiparty Session Actors. COORDINATION 2014: 131-146 - [c7]Rumyana Neykova, Nicholas Ng:
Frontmatter, Table of Contents, Preface, Workshop Organization. ICCSW 2014 - [c6]Rumyana Neykova
Timed Runtime Monitoring for Multiparty Conversations. BEAT 2014: 19-26 - [c5]Rumyana Neykova
Multiparty Session Actors. PLACES 2014: 32-37 - [e1]Rumyana Neykova, Nicholas Ng:
2014 Imperial College Computing Student Workshop, ICCSW 2014, September 25-26, 2014, London, United Kingdom. OASIcs 43, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2014, ISBN 978-3-939897-76-7 [contents] - 2013
- [c4]Raymond Hu
Practical Interruptible Conversations - Distributed Dynamic Verification with Session Types and Python. RV 2013: 130-148 - [c3]Rumyana Neykova
SPY: Local Verification of Global Protocols. RV 2013: 358-363 - [c2]Nobuko Yoshida
The Scribble Protocol Language. TGC 2013: 22-41 - [c1]Rumyana Neykova
Session Types Go Dynamic or How to Verify Your Python Conversations. PLACES 2013: 95-102
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-11-13 23:46 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: