Concepedia

Claudio Antares Mezzina

CA

Statistics

Publications

11

Citations

257

H-Index

10

Active since

2013

Affiliations

IMT School for Advanced Studies Lucca(Current)

University of Bologna

Fondazione Bruno Kessler

University of Groningen

University of Urbino

Claudio Antares Mezzina is an author at IMT School for Advanced Studies Lucca specializing in formal methods, engineering, and computer science.

ORCID

Top concepts

Publications per year

2013–2020

11

Publications

11

Reversibility in the higher-order π-calculus

Ivan Lanese, Claudio Antares Mezzina, Jean-Bernard Stefani · Theoretical Computer Science · 2016 · 63 citations · Full text

, ,

Causal-Consistent Reversibility

Ivan Lanese, Claudio Antares Mezzina, Francesco Tiezzi · Archivio istituzionale della ricerca (Alma Mater Studiorum Università di Bologna) · 2014 · 43 citations · Full text

, , +14

Static versus dynamic reversibility in CCS

Ivan Lanese, Doriana Medić, Claudio Antares Mezzina · Acta Informatica · 2019 · 30 citations · Full text

, , +4

Causal-consistent rollback in a tuple-based language

Elena Giachino, Ivan Lanese, Claudio Antares Mezzina et al. · Journal of Logical and Algebraic Methods in Programming · 2016 · 28 citations · Full text

, , +9

Causally consistent reversible choreographies: A monitors-as-memories approach

Claudio Antares Mezzina, Jorge A. Pérez · University of Groningen research database (University of Groningen / Centre for Information Technology) · 2017 · 16 citations

1–5 of 11