Claudio Antares Mezzina
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
36
Venues
15
Active years
2009–2026
Best venue rank
A*
Where they publish
Papers
36 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | CONCUR | On the Encodability of Reversible Process Calculi. | Ivan Lanese, Claudio Antares Mezzina, Iain Phillips, Irek Ulidowski, Shoji Yuen |
| 2026 | FOSSACS | On Reversibility in Petri Nets. | Hernn C. Melgratti, Claudio Antares Mezzina, G. Michele Pinna |
| 2026 | RC | Introducing Time Passage to the Reversible Semantics for Erlang. | Yuna Sadamoto, Shoji Yuen, Claudio Antares Mezzina |
| 2025 | Coordination | Formalizing Errors in CCS with 3-Valued Logic. | Alessandro Aldini, Claudio Antares Mezzina |
| 2025 | FOSSACS | Alternative Characterizations of Hereditary History-Preserving Bisimilarity via Backward Ready Multisets. | Marco Bernardo, Andrea Esposito, Claudio Antares Mezzina |
| 2024 | ICTAC | Reversibility in Process Calculi with Nondeterminism and Probabilities. | Marco Bernardo, Claudio Antares Mezzina |
| 2024 | RC | Model Checking Reversible Systems: Forwardly. | Federico Dal Pio Luogo, Claudio Antares Mezzina, G. Michele Pinna |
| 2023 | Coordination | Rollback Recovery in Session-Based Programming. | Claudio Antares Mezzina, Francesco Tiezzi, Nobuko Yoshida |
| 2023 | FORTE | Relating Reversible Petri Nets and Reversible Event Structures, Categorically. | Hernn C. Melgratti, Claudio Antares Mezzina, G. Michele Pinna |
| 2023 | RC | Towards a Taxonomy for Reversible Computation Approaches. | Robert Glck, Ivan Lanese, Claudio Antares Mezzina, Jaroslaw Adam Miszczak, Iain Phillips, Irek Ulidowski, Germn Vidal |
| 2022 | FORTE | The Reversible Temporal Process Language. | Laura Bocchi, Ivan Lanese, Claudio Antares Mezzina, Shoji Yuen |
| 2021 | LICS | A distributed operational view of Reversible Prime Event Structures. | Hernn C. Melgratti, Claudio Antares Mezzina, G. Michele Pinna |
| 2021 | RC | Towards a Truly Concurrent Semantics for Reversible CCS. | Hernn C. Melgratti, Claudio Antares Mezzina, G. Michele Pinna |
| 2020 | FORTE | Towards Bridging Time and Causal Reversibility. | Marco Bernardo, Claudio Antares Mezzina |
| 2020 | RC | Towards a Formal Account for Software Transactional Memory. | Doriana Medic, Claudio Antares Mezzina, Iain Phillips, Nobuko Yoshida |
| 2020 | RC | Reversible Occurrence Nets and Causal Reversible Prime Event Structures. | Hernn C. Melgratti, Claudio Antares Mezzina, Iain Phillips, G. Michele Pinna, Irek Ulidowski |
| 2019 | Coordination | Reversing P/T Nets. | Hernn C. Melgratti, Claudio Antares Mezzina, Irek Ulidowski |
| 2018 | DAIS | Reversible Choreographies via Monitoring in Erlang. | Adrian Francalanza, Claudio Antares Mezzina, Emilio Tuosto |
| 2018 | PDP | Improving Availability in Distributed Tuple Spaces Via Sharing Abstractions and Replication Strategies. | Vitaly Buravlev, Rocco De Nicola, Alberto Lluch-Lafuente, Claudio Antares Mezzina |
| 2018 | RC | On Reversibility and Broadcast. | Claudio Antares Mezzina |
| 2017 | DAIS | Block Placement Strategies for Fault-Resilient Distributed Tuple Spaces: An Experimental Study - (Practical Experience Report). | Roberta Barbi, Vitaly Buravlev, Claudio Antares Mezzina, Valerio Schiavoni |
| 2017 | PPDP | Causally consistent reversible choreographies: a monitors-as-memories approach. | Claudio Antares Mezzina, Jorge A. Prez |
| 2017 | TASE | A safety and liveness theory for total reversibility. | Claudio Antares Mezzina, Vasileios Koutavas |
| 2016 | Coordination | Tuple Spaces Implementations and Their Efficiency. | Vitaly Buravlev, Rocco De Nicola, Claudio Antares Mezzina |
| 2016 | RC | Static VS Dynamic Reversibility in CCS. | Doriana Medic, Claudio Antares Mezzina |
| 2015 | PDP | Causal-Consistent Reversibility in a Tuple-Based Language. | Elena Giachino, Ivan Lanese, Claudio Antares Mezzina, Francesco Tiezzi |
| 2014 | FASE | Causal-Consistent Reversible Debugging. | Elena Giachino, Ivan Lanese, Claudio Antares Mezzina |
| 2013 | ESOP | Concurrent Flexible Reversibility. | Ivan Lanese, Michael Lienhardt, Claudio Antares Mezzina, Alan Schmitt, Jean-Bernard Stefani |
| 2013 | ICSOC | Towards Modeling and Execution of Collective Adaptive Systems. | Vasilios Andrikopoulos, Antonio Bucchiarone, Santiago Gomez Saez, Dimka Karastoyanova, Claudio Antares Mezzina |
| 2013 | ICSOC | On-the-Fly Adaptation of Dynamic Service-Based Systems: Incrementality, Reduction and Reuse. | Antonio Bucchiarone, Annapaola Marconi, Claudio Antares Mezzina, Marco Pistore, Heorhi Raik |
| 2013 | SAC | A conceptual framework for collective adaptive systems. | Antonio Bucchiarone, Annapaola Marconi, Claudio Antares Mezzina, Marco Pistore |
| 2012 | FORTE | A Reversible Abstract Machine and Its Space Overhead. | Michael Lienhardt, Ivan Lanese, Claudio Antares Mezzina, Jean-Bernard Stefani |
| 2012 | RC | Controlled Reversibility and Compensations. | Ivan Lanese, Claudio Antares Mezzina, Jean-Bernard Stefani |
| 2011 | CONCUR | Controlling Reversibility in Higher-Order Pi. | Ivan Lanese, Claudio Antares Mezzina, Alan Schmitt, Jean-Bernard Stefani |
| 2010 | CONCUR | Reversing Higher-Order Pi. | Ivan Lanese, Claudio Antares Mezzina, Jean-Bernard Stefani |
| 2009 | FORTE | Typing Component-Based Communication Systems. | Michael Lienhardt, Claudio Antares Mezzina, Alan Schmitt, Jean-Bernard Stefani |