Claudio Antares Mezzina
Orcid: 0000-0003-1556-2623Affiliations:
- IMT School for Advanced Studies Lucca, Italy
According to our database1,
Claudio Antares Mezzina
authored at least 68 papers
between 2009 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on imtlucca.it
-
on orcid.org
On csauthors.net:
Bibliography
2024
ACM Trans. Comput. Log., 2024
Proceedings of the Reversible Computation - 16th International Conference, 2024
2023
Bridging Causal Reversibility and Time Reversibility: A Stochastic Process Algebraic Approach.
Log. Methods Comput. Sci., 2023
Proceedings of the Reversible Computation - 15th International Conference, 2023
Proceedings of the Quantitative Evaluation of Systems - 20th International Conference, 2023
Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2023
Causal Reversibility for Timed Process Calculi with Lazy/Eager Durationless Actions and Time Additivity.
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2023
Proceedings of the Coordination Models and Languages, 2023
2022
Bridging Causal Consistent and Time Reversibility: A Stochastic Process Algebraic Approach.
CoRR, 2022
Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2022
2021
Log. Methods Comput. Sci., 2021
Proceedings of the Reversible Computation - 13th International Conference, 2021
Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science, 2021
2020
Proceedings of the Reversible Computation: Extending Horizons of Computing, 2020
Proceedings of the Reversible Computation: Extending Horizons of Computing, 2020
Proceedings of the Reversible Computation: Extending Horizons of Computing, 2020
Proceedings of the Reversible Computation - 12th International Conference, 2020
Proceedings of the Reversible Computation - 12th International Conference, 2020
Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2020
2019
Proceedings of the Models, Languages, and Tools for Concurrent and Distributed Programming, 2019
2018
Proceedings of the Proceedings Combined 25th International Workshop on Expressiveness in Concurrency and 15th Workshop on Structural Operational Semantics, 2018
Concurr. Comput. Pract. Exp., 2018
Proceedings of the Reversible Computation - 10th International Conference, 2018
Improving Availability in Distributed Tuple Spaces Via Sharing Abstractions and Replication Strategies.
Proceedings of the 26th Euromicro International Conference on Parallel, 2018
Proceedings of the Distributed Applications and Interoperable Systems, 2018
2017
J. Log. Algebraic Methods Program., 2017
J. Log. Algebraic Methods Program., 2017
Proceedings of the Proceedings Second International Workshop on Pre- and Post-Deployment Verification Techniques, 2017
Proceedings of the 11th International Symposium on Theoretical Aspects of Software Engineering, 2017
Proceedings of the 19th International Symposium on Principles and Practice of Declarative Programming, Namur, Belgium, October 09, 2017
Proceedings of the Joint Proceedings of the 18th Italian Conference on Theoretical Computer Science and the 32nd Italian Conference on Computational Logic co-located with the 2017 IEEE International Workshop on Measurements and Networking (2017 IEEE M&N), 2017
Block Placement Strategies for Fault-Resilient Distributed Tuple Spaces: An Experimental Study - (Practical Experience Report).
Proceedings of the Distributed Applications and Interoperable Systems, 2017
2016
Proceedings of the Ninth workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software, 2016
Proceedings of the Reversible Computation - 8th International Conference, 2016
Proceedings of the 17th Italian Conference on Theoretical Computer Science, 2016
Proceedings of the Coordination Models and Languages, 2016
2015
Proceedings of the 23rd Euromicro International Conference on Parallel, 2015
Proceedings of the Programming Languages with Applications to Biology and Security, 2015
2014
Proceedings of the Eighth IEEE International Conference on Self-Adaptive and Self-Organizing Systems Workshops, 2014
Proceedings of the Eighth IEEE International Conference on Self-Adaptive and Self-Organizing Systems, 2014
Proceedings of the Fundamental Approaches to Software Engineering, 2014
2013
Proceedings of the Seventh International Workshop on Variability Modelling of Software-intensive Systems, 2013
Proceedings of the 28th Annual ACM Symposium on Applied Computing, 2013
On-the-Fly Adaptation of Dynamic Service-Based Systems: Incrementality, Reduction and Reuse.
Proceedings of the Service-Oriented Computing - 11th International Conference, 2013
Proceedings of the Service-Oriented Computing - ICSOC 2013 Workshops, 2013
Proceedings of the Programming Languages and Systems, 2013
2012
Réversibilité dans le pi calcul d'ordre supérieur. (concurrency theory,process calculi,reversibility,reversible computing,expressiveness of reversibility).
PhD thesis, 2012
Proceedings of the Reversible Computation, 4th International Workshop, 2012
Proceedings of the Formal Techniques for Distributed Systems, 2012
2011
Proceedings of the CONCUR 2011 - Concurrency Theory - 22nd International Conference, 2011
2010
Proceedings of the CONCUR 2010 - Concurrency Theory, 21th International Conference, 2010
2009
Proceedings of the Formal Techniques for Distributed Systems, 2009