Claudio Antares Mezzina

Citado por

	Total	Desde 2020
Citas	1194	678
Índice h	18	15
Índice i10	33	25

160

120

2011201220132014201520162017201820192020202120222023202420257 19 25 34 52 81 92 107 90 155 134 106 117 139 26

Acceso público

Ver todo

39 artículos

1 artículo

disponibles

no disponibles

Basado en requisitos de financiación

Coautores

Ivan LaneseUniversity of BolognaDirección de correo verificada de unibo.it
Jean-Bernard StefaniSenior Scientist, INRIADirección de correo verificada de inria.fr
Hernán MelgrattiUniversidad de Buenos AiresDirección de correo verificada de dc.uba.ar
G. Michele PinnaUniversità di Cagliari, Dipartimento di Matematica e InformaticaDirección de correo verificada de unica.it
Francesco TiezziUniversità di CamerinoDirección de correo verificada de unicam.it
Irek UlidowskiSchool of Computing and Mathematical Sciences, University of LeicesterDirección de correo verificada de le.ac.uk
Iain PhillipsSenior Lecturer, Department of Computing, Imperial College LondonDirección de correo verificada de imperial.ac.uk
Doriana MedicUniversity of TurinDirección de correo verificada de unito.it
Marco BernardoUniversity of UrbinoDirección de correo verificada de uniurb.it
Jorge A. PérezAssociate Professor, University of GroningenDirección de correo verificada de rug.nl
Emilio TuostoGran Sasso Science InstituteDirección de correo verificada de gssi.it
Nobuko YoshidaDepartment of Computer Science, University of OxfordDirección de correo verificada de cs.ox.ac.uk
Rocco De NicolaProfessor of Computer Science, IMT LuccaDirección de correo verificada de imtlucca.it
Adrian FrancalanzaUniversity of MaltaDirección de correo verificada de um.edu.mt
Shoji YuenNagoya UniversityDirección de correo verificada de is.nagoya-u.ac.jp
Laura BocchiUniversity of KentDirección de correo verificada de kent.ac.uk
Vasileios KoutavasAssistant Professor, Trinity College DublinDirección de correo verificada de scss.tcd.ie
Valerio SchiavoniProfesseur titulaire, MER, University of NeuchâtelDirección de correo verificada de unine.ch
Alberto Lluch LafuenteTechnical University of DenmarkDirección de correo verificada de dtu.dk

Seguir

Claudio Antares Mezzina

Università degli studi di Urbino

Dirección de correo verificada de uniurb.it - Página principal

Theoretical Computer Science Programming Languages Process Calculi Concurrency Theory Reversible Computation


Título Ordenar por citas Ordenar por año Ordenar por título	Citado por Citado por	Año
Reversing higher-order pi I Lanese, CA Mezzina, JB Stefani International Conference on Concurrency Theory, 478-493, 2010	109	2010
Controlling reversibility in higher-order pi I Lanese, CA Mezzina, A Schmitt, JB Stefani International Conference on Concurrency Theory, 297-311, 2011	101	2011
Causal-consistent reversible debugging E Giachino, I Lanese, CA Mezzina International Conference on Fundamental Approaches to Software Engineering …, 2014	96	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	68	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
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	35	2017
Controlled reversibility and compensations I Lanese, CA Mezzina, JB Stefani International Workshop on Reversible Computation, 233-240, 2012	35	2012
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	33	2020
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
Static versus dynamic reversibility in CCS I Lanese, D Medić, CA Mezzina Acta Informatica 58 (1), 1-34, 2021	31	2021
Reversible choreographies via monitoring in erlang A Francalanza, CA Mezzina, E Tuosto Distributed Applications and Interoperable Systems: 18th IFIP WG 6.1 …, 2018	25	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

El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.

Artículos 1–20

Citas por año

Citas duplicadas

Citas combinadas

Añadir coautoresCoautores

Seguir

Citado por

Coautores