Brunel University Research Archive(BURA) preserves and enables easy and open access to all
types of digital content. It showcases Brunel's research outputs.
Research contained within BURA is open access, although some publications may be subject
to publisher imposed embargoes. All awarded PhD theses are also archived on BURA.
Browsing by Author Neykova, R
Showing results 1 to 20 of 29
next >
| Issue Date | Title | Author(s) |
|---|---|---|
| 27-Apr-2025 | Blockchain Developer Experience: A Multivocal Literature Review | Soares, P; Araújo, AA; Destefanis, G; Neykova, R; Saraiva, R; Souza, J |
| 10-Jul-2024 | A Curated Solidity Smart Contracts Repository of Metrics and Vulnerability | Ibba, G; Aufiero, S; Neykova, R; Bartolucci, S; Ortu, M; Tonelli, R; Destefanis, G |
| 12-Mar-2024 | DAI: A Dependencies Analyzer and Installer For Solidity Smart Contracts | Ibba, G; Destefanis, G; Neykova, R; Ortu, M; Aufiero, S; Bartolucci, S |
| 27-Sep-2024 | DApps ecosystems: mapping the network structure of smart contract interactions | Aufiero, S; Ibba, G; Bartolucci, S; Destefanis, G; Neykova, R; Ortu, M |
| 3-Jul-2019 | Featherweight Scribble | Neykova, R; Yoshida, N |
| Jun-2017 | How to Verify Your Python Conversations | Neykova, R; Yoshida, N |
| 10-Jun-2020 | Implementing multiparty session types in rust | Lagaillardie, N; Neykova, R; Yoshida, N |
| 23-Jun-2025 | Introducing Repository Stability | Destefanis, G; Bartolucci, S; Graziotin, D; Neykova, R; Ortu, M |
| 26-Nov-2019 | kmclib: Automated Inference and Verification of Session Types | Imai, K; Lange, J; Neykova, R |
| 30-Mar-2022 | Kmclib: Automated Inference and Verification of Session Types from OCaml Programs | Imai, K; Lange, J; Neykova, R |
| 2017 | Let it recover: Multiparty protocol-induced recovery | Neykova, R; Yoshida, N |
| 13-Feb-2024 | MindTheDApp: A Toolchain for Complex Network-Driven Structural Analysis of Ethereum-based Decentralised Applications | Ibba, G; Aufiero, S; Bartolucci, S; Neykova, R; Ortu, M; Tonelli, R; Destefanis, G |
| 28-Apr-2025 | Mining a Decade of Event Impacts on Contributor Dynamics in Ethereum: A Longitudinal Study | Vaccargiu, M; Aufiero, S; Ba, C; Bartolucci, S; Clegg, R; Graziotin, D; Neykova, R; Tonelli, R; Destefanis, G |
| 19-May-2025 | Model input verification of large scale simulations | Neykova, R; Groen, D |
| 2017 | Multiparty session actors | Neykova, R; Yoshida, N |
| 2020 | Multiparty Session Programming with Global Protocol Combinators | Imai, K; Neykova, R; Yoshida, N; Yuen, S |
| 21-Feb-2023 | Non-fungible tokens (NFTs) and the blockchain (NFT0049) | Perry, M; Destefanis, G; Neykova, R |
| 21-Mar-2023 | An Optimized Concurrent Proof of Authority Consensus Protocol | Nazir, A; Singh, M; Destefanis, G; Memon, J; Neykova, R; Kassab, M; Tonelli, R |
| 12-Nov-2023 | A Preliminary Analysis of Software Metrics in Decentralised Applications | Ibba, G; Khullar, S; Tesfai, E; Neykova, R; Aufiero, S; Ortu, M; Bartolucci, S; Destefanis, G |
| 6-Jul-2025 | Reversed Model Verification by Inferring Conceptual Models from Simulation Code | Neykova, R; Groen, D |