| Static versus dynamic reversibility in ccs I Lanese, D Medic, CA Mezzina Acta Informatica 58, 1--34, 2021 | 29 | 2021 |
| Workflows community summit 2022: A roadmap revolution RF da Silva, RM Badia, V Bala, D Bard, PT Bremer, I Buckley, ... arXiv preprint arXiv:2304.00019, 2023 | 26 | 2023 |
| Static VS Dynamic Reversibility in CCS D Medic, CA Mezzina Reversible Computation 2016 9720, 36--51, 2016 | 19* | 2016 |
| A General Approach to Derive Uncontrolled Reversible Semantics I Lanese, D Medić International Conference on Concurrency Theory (CONCUR) 171, 33:1--33:24, 2020 | 17 | 2020 |
| Experimenting with emerging RISC-V systems for decentralised machine learning G Mittone, N Tonci, R Birke, I Colonnelli, D Medić, A Bartolini, R Esposito, ... Proceedings of the 20th ACM International Conference on Computing Frontiers …, 2023 | 11 | 2023 |
| A parametric framework for reversible π-calculi D Medić, CA Mezzina, I Phillips, N Yoshida Information and Computation 275, 104644, 2020 | 11 | 2020 |
| Federated Learning meets HPC and cloud I Colonnelli, B Casella, G Mittone, Y Arfat, B Cantalupo, R Esposito, ... ML4Astro International Conference, 193-199, 2022 | 10 | 2022 |
| Explicit Identifiers and Contexts in Reversible Concurrent Calculus C Aubert, D Medić International Conference on Reversible Computation, 144-162, 2021 | 9 | 2021 |
| A Parametric Framework for Reversible -Calculi D Medic, CA Mezzina, I Phillips, N Yoshida arXiv preprint arXiv:1807.11800, 2018 | 8 | 2018 |
| Towards a formal account for software transactional memory D Medić, CA Mezzina, I Phillips, N Yoshida International Conference on Reversible Computation, 255-263, 2020 | 6 | 2020 |
| Towards formal model for location aware workflows D Medić, M Aldinucci 2023 IEEE 47th Annual Computers, Software, and Applications Conference …, 2023 | 3 | 2023 |
| Towards Parametric Causal Semantics in pi-calculus. D Medic, CA Mezzina ICTCS/CILC, 121-125, 2017 | 3 | 2017 |
| Workflows Community Summit 2022: A Roadmap Revolution R Ferreira Da Silva, R Badia, V Bala, D Bard, PT Bremer, I Buckley, ... Oak Ridge National Laboratory (ORNL), Oak Ridge, TN (United States), 2023 | 2 | 2023 |
| A Systematic Mapping Study of Italian Research on Workflows M Aldinucci, EM Baralis, V Cardellini, I Colonnelli, M Danelutto, ... Proceedings of the SC'23 Workshops of The International Conference on High …, 2023 | | 2023 |
| Relative expressiveness of calculi for reversible concurrency M Doriana EATCS Bulletin, 2019 | | 2019 |
| Relative expressiveness of calculi for reversible concurrency D Medić IMT School for Advanced Studies Lucca, 2019 | | 2019 |
