Browsing by Author Neykova, R
Showing results 14 to 16 of 16
< previous
Issue Date | Title | Author(s) |
---|---|---|
2017 | Timed runtime monitoring for multiparty conversations | Neykova, R; Bocchi, L; Yoshida, N |
13-Mar-2023 | Towards a Scalable Dual-Sided Blockchain Architecture with Concurrency Protocols | Singh, M; Destefanis, G; Kassab, M; Memon, J; Neykova, R; Tonelli, R |
17-Apr-2020 | Using the Lexicon from Source Code to Determine Application Domains | Capiluppi, A; Ajienka, N; Ali, N; Arzoky, M; Counsell, S; Destefanis, G; Miron, A; Nagaria, B; Neykova, R; Shepperd, M; Swift, S; Tucker, A |