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 32
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 |
| 17-Oct-2025 | A machine learning approach to vulnerability detection combining software metrics and topic modelling: Evidence from smart contracts | Ibba, G; Neykova, R; Ortu, M; Tonelli, R; Counsell, S; Destefanis, G |
| 2-May-2025 | Micro-Patterns in Solidity Code | Ruschioni, L; Shuttleworth, R; Neykova, R; Re, B; Destefanis, G |
| 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 |
| 27-Apr-2025 | More Than Code: Technical and Emotional Dynamics in Solidity’s Development | Vaccargiu, M; Neykova, R; Novielli, N; Ortu, M; Destefanis, G |
| 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 |