| A true concurrent model of smart contracts executions M Bartoletti, L Galletta, M Murgia International Conference on Coordination Languages and Models, 243-260, 2020 | 37 | 2020 |
| A minimal core calculus for Solidity contracts M Bartoletti, L Galletta, M Murgia Data Privacy Management, Cryptocurrencies and Blockchain Technology: ESORICS …, 2019 | 33 | 2019 |
| A contract-oriented middleware M Bartoletti, T Cimoli, M Murgia, AS Podda, L Pompianu Formal Aspects of Component Software: 12th International Conference, FACS …, 2016 | 28 | 2016 |
| Asynchronous timed session types L Bocchi, M Murgia, VT Vasconcelos, N Yoshida Programming Languages and Systems, Luís Caires (Ed.). Springer International …, 2019 | 27 | 2019 |
| Compliance and subtyping in timed session types M Bartoletti, T Cimoli, M Murgia, AS Podda, L Pompianu Formal Techniques for Distributed Objects, Components, and Systems: 35th …, 2015 | 26 | 2015 |
| Timed session types M Bartoletti, T Cimoli, M Murgia Logical Methods in Computer Science 13, 2017 | 17 | 2017 |
| Verifiable abstractions for contract-oriented systems M Bartoletti, M Murgia, A Scalas, R Zunino Journal of Logical and Algebraic Methods in Programming 86 (1), 159-207, 2017 | 13 | 2017 |
| Modelling and verifying contract-oriented systems in Maude M Bartoletti, M Murgia, A Scalas, R Zunino Rewriting Logic and Its Applications: 10th International Workshop, WRLA 2014 …, 2014 | 11 | 2014 |
| Verifying liquidity of recursive bitcoin contracts M Bartoletti, S Lande, M Murgia, R Zunino Logical Methods in Computer Science 18, 2022 | 9 | 2022 |
| A note on compliance relations and fixed points M Murgia arXiv preprint arXiv:1909.05969, 2019 | 9 | 2019 |
| Contract-oriented programming with timed session types N Atzei, M Bartoletti, T Cimoli, S Lande, M Murgia, AS Podda, L Pompianu Behavioural Types, 27-48, 2022 | 6 | 2022 |
| Contract-oriented design of distributed applications: a tutorial N Atzei, M Bartoletti, M Murgia, E Tuosto, R Zunino Behavioural Types: From Theory to Tools. Automation, Control and Robotics, 1-26, 2017 | 6 | 2017 |
| Asynchronous Subtyping by Trace Relaxation L Bocchi, A King, M Murgia International Conference on Tools and Algorithms for the Construction and …, 2024 | 5 | 2024 |
| A theory of transaction parallelism in blockchains M Bartoletti, L Galletta, M Murgia Logical Methods in Computer Science 17, 2021 | 5 | 2021 |
| Progress-preserving refinements of CTA M Bartoletti, L Bocchi, M Murgia Leibniz International Proceedings in Informatics, 1-19, 2018 | 5 | 2018 |
| Comparing perfomance abstractions for collective adaptive systems M Murgia, R Pinciroli, C Trubiani, E Tuosto International Journal on Software Tools for Technology Transfer 25 (5), 785-798, 2023 | 4 | 2023 |
| A fixed-points based framework for compliance of behavioural contracts M Murgia Journal of Logical and Algebraic Methods in Programming 120, 100641, 2021 | 4 | 2021 |
| Renegotiation and recursion in Bitcoin contracts M Bartoletti, M Murgia, R Zunino Coordination Models and Languages: 22nd IFIP WG 6.1 International Conference …, 2020 | 4 | 2020 |
| Verification of recursive Bitcoin contracts M Bartoletti, S Lande, M Murgia, R Zunino Submitted to LMCS, 2020 | 3 | 2020 |
| On model-based performance analysis of collective adaptive systems M Murgia, R Pinciroli, C Trubiani, E Tuosto International Symposium on Leveraging Applications of Formal Methods, 266-282, 2022 | 2 | 2022 |
