Showing results 1 to 20 of 24
next >
| Issue Date | Title | Author(s) |
| 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 |
| 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 |
| 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-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 |
| 1-Jan-2018 | A session type provider compile-time API generation of distributed protocols with refinements in F# | Neykova, R; Hu, R; Yoshida, N; Abdeljallal, F |
| 29-Aug-2024 | Software engineering education in the era of conversational AI: current trends and future directions | Sengul, C; Neykova, R; Destefanis, G |
| 13-Nov-2020 | Statically verified refinements for multiparty protocols | Zhou, F; Ferreira, F; Hu, R; Neykova, R; Yoshida, N |
| 23-Jun-2022 | Stay Safe Under Panic: Affine Rust Programming with Multiparty Session Types | Lagaillardie, N; Neykova, R; Yoshida, N |
| 18-Jun-2024 | Sustainability in Blockchain Development: A BERT-Based Analysis of Ethereum Developer Discussions | Vaccargiu, M; Aufiero, S; Bartolucci, S; Neykova, R; Tonelli, R; Destefanis, G |
