| Reversing higher-order pi I Lanese, CA Mezzina, JB Stefani CONCUR 2010-Concurrency Theory: 21th International Conference, CONCUR 2010 …, 2010 | 106 | 2010 |
| Controlling reversibility in higher-order pi I Lanese, CA Mezzina, A Schmitt, JB Stefani CONCUR 2011–Concurrency Theory: 22nd International Conference, CONCUR 2011 …, 2011 | 89 | 2011 |
| Causal-consistent reversible debugging E Giachino, I Lanese, CA Mezzina Fundamental Approaches to Software Engineering: 17th International …, 2014 | 73 | 2014 |
| Causal-Consistent Reversibility I Lanese, CA Mezzina, F Tiezzi Bulletin of EATCS 3 (114), 2014 | 72 | 2014 |
| Reversibility in the higher-order π-calculus I Lanese, CA Mezzina, JB Stefani Theoretical Computer Science 625, 25-84, 2016 | 60 | 2016 |
| Concurrent flexible reversibility I Lanese, M Lienhardt, CA Mezzina, A Schmitt, JB Stefani Programming Languages and Systems: 22nd European Symposium on Programming …, 2013 | 57 | 2013 |
| A reversible abstract machine and its space overhead M Lienhardt, I Lanese, CA Mezzina, JB Stefani Formal Techniques for Distributed Systems: Joint 14th IFIP WG 6.1 …, 2012 | 37 | 2012 |
| Towards modeling and execution of collective adaptive systems V Andrikopoulos, A Bucchiarone, S Gómez Sáez, D Karastoyanova, ... Service-Oriented Computing–ICSOC 2013 Workshops: CCSA, CSB, PASCEB, SWESE …, 2014 | 35 | 2014 |
| On-the-fly adaptation of dynamic service-based systems: Incrementality, reduction and reuse A Bucchiarone, A Marconi, CA Mezzina, M Pistore, H Raik Service-Oriented Computing: 11th International Conference, ICSOC 2013 …, 2013 | 33 | 2013 |
| Causal-consistent rollback in a tuple-based language E Giachino, I Lanese, CA Mezzina, F Tiezzi Journal of Logical and Algebraic Methods in Programming 88, 99-120, 2017 | 30 | 2017 |
| Controlled reversibility and compensations I Lanese, CA Mezzina, JB Stefani Reversible Computation: 4th International Workshop, RC 2012, Copenhagen …, 2013 | 30 | 2013 |
| Static versus dynamic reversibility in CCS I Lanese, D Medić, CA Mezzina Acta Informatica 58 (1-2), 1-34, 2021 | 24 | 2021 |
| Reversible choreographies via monitoring in erlang A Francalanza, CA Mezzina, E Tuosto Distributed Applications and Interoperable Systems: 18th IFIP WG 6.1 …, 2018 | 23 | 2018 |
| Reversing P/T Nets H Melgratti, CA Mezzina, I Ulidowski Coordination Models and Languages: 21st IFIP WG 6.1 International Conference …, 2019 | 22 | 2019 |
| Causally consistent reversible choreographies: a monitors-as-memories approach CA Mezzina, JA Pérez Proceedings of the 19th International Symposium on Principles and Practice …, 2017 | 21 | 2017 |
| A parametric framework for reversible π-calculi D Medić, CA Mezzina, I Phillips, N Yoshida Information and Computation 275, 104644, 2020 | 20 | 2020 |
| CAptLang: a language for context-aware and adaptable business processes A Bucchiarone, CA Mezzina, M Pistore Proceedings of the Seventh International Workshop on Variability Modelling …, 2013 | 18 | 2013 |
| Foundations of reversible computation B Aman, G Ciobanu, R Glück, R Kaarsgaard, J Kari, M Kutrib, I Lanese, ... Reversible Computation: Extending Horizons of Computing: Selected Results of …, 2020 | 17 | 2020 |
| Static VS dynamic reversibility in CCS D Medić, CA Mezzina Reversible Computation: 8th International Conference, RC 2016, Bologna …, 2016 | 17 | 2016 |
| Tuple spaces implementations and their efficiency V Buravlev, R De Nicola, CA Mezzina Coordination Models and Languages: 18th IFIP WG 6.1 International Conference …, 2016 | 17 | 2016 |
Ivan LaneseUniversity of BolognaVerified email at unibo.it
