Claudio Antares Mezzina

Cited by

	All	Since 2019
Citations	1146	725
h-index	18	16
i10-index	31	26

160

120

201120122013201420152016201720182019202020212022202320247 19 25 34 52 81 92 104 91 153 136 104 142 98

Public access

View all

36 articles

1 article

available

not available

Based on funding mandates

Co-authors

Ivan LaneseUniversity of BolognaVerified email at unibo.it
Jean-Bernard StefaniSenior Scientist, INRIAVerified email at inria.fr
Hernán MelgrattiUniversidad de Buenos AiresVerified email at dc.uba.ar
G. Michele PinnaUniversità di Cagliari, Dipartimento di Matematica e InformaticaVerified email at unica.it
Irek UlidowskiSchool of Computing and Mathematical Sciences, University of LeicesterVerified email at le.ac.uk
Francesco TiezziUniversità di CamerinoVerified email at unicam.it
Iain PhillipsSenior Lecturer, Department of Computing, Imperial College LondonVerified email at imperial.ac.uk
Doriana MedicUniversity of TurinVerified email at unito.it
Jorge A. PérezAssociate Professor, University of GroningenVerified email at rug.nl
Emilio TuostoGran Sasso Science InstituteVerified email at gssi.it
Nobuko YoshidaDepartment of Computer Science, University of OxfordVerified email at cs.ox.ac.uk
Marco BernardoUniversity of UrbinoVerified email at uniurb.it
Rocco De NicolaProfessor of Computer Science, IMT LuccaVerified email at imtlucca.it
Adrian FrancalanzaUniversity of MaltaVerified email at um.edu.mt
Shoji YuenNagoya UniversityVerified email at is.nagoya-u.ac.jp
Laura BocchiUniversity of KentVerified email at kent.ac.uk
Vasileios KoutavasAssistant Professor, Trinity College DublinVerified email at scss.tcd.ie
Valerio SchiavoniProfesseur titulaire, MER, University of NeuchâtelVerified email at unine.ch
Alberto Lluch LafuenteTechnical University of DenmarkVerified email at dtu.dk

Claudio Antares Mezzina

Università degli studi di Urbino

Verified email at uniurb.it - Homepage

Theoretical Computer Science Programming Languages Process Calculi Concurrency Theory Reversible Computation


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Reversing higher-order pi I Lanese, CA Mezzina, JB Stefani International Conference on Concurrency Theory, 478-493, 2010	106	2010
Controlling reversibility in higher-order pi I Lanese, CA Mezzina, A Schmitt, JB Stefani International Conference on Concurrency Theory, 297-311, 2011	99	2011
Causal-consistent reversible debugging E Giachino, I Lanese, CA Mezzina International Conference on Fundamental Approaches to Software Engineering …, 2014	89	2014
Causal-Consistent Reversibility I Lanese, CA Mezzina, F Tiezzi Bulletin of EATCS 3 (114), 2014	74	2014
Reversibility in the higher-order π-calculus I Lanese, CA Mezzina, JB Stefani Theoretical Computer Science 625, 25-84, 2016	71	2016
Concurrent flexible reversibility I Lanese, M Lienhardt, CA Mezzina, A Schmitt, JB Stefani European Symposium on Programming, 370-390, 2013	64	2013
A reversible abstract machine and its space overhead M Lienhardt, I Lanese, CA Mezzina, JB Stefani International Conference on Formal Methods for Open Object-Based Distributed …, 2012	40	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	36	2014
Controlled reversibility and compensations I Lanese, CA Mezzina, JB Stefani International Workshop on Reversible Computation, 233-240, 2012	35	2012
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	33	2017
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	32	2013
Static versus dynamic reversibility in CCS I Lanese, D Medić, CA Mezzina Acta Informatica 58 (1), 1-34, 2021	29	2021
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	29	2020
Reversible choreographies via monitoring in erlang A Francalanza, CA Mezzina, E Tuosto Distributed Applications and Interoperable Systems: 18th IFIP WG 6.1 …, 2018	24	2018
Reversing place transition nets H Melgratti, CA Mezzina, I Ulidowski Logical Methods in Computer Science 16, 2020	22	2020
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	22	2017
Reversing P/T Nets H Melgratti, CA Mezzina, I Ulidowski Coordination Models and Languages: 21st IFIP WG 6.1 International Conference …, 2019	20	2019
Static VS dynamic reversibility in CCS D Medić, CA Mezzina International Conference on Reversible Computation, 36-51, 2016	19	2016
A parametric framework for reversible π-calculi D Medić, CA Mezzina, I Phillips, N Yoshida Information and Computation 275, 104644, 2020	18	2020
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	18	2016

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors