Andrea Esposito

Affiliations:

University of Urbino, Italy

According to our database¹, Andrea Esposito authored at least 4 papers in 2023.

Collaborative distances:

Dijkstra number² of five.
Erdős number³ of four.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Links

On csauthors.net:

Bibliography

2023

Noninterference Analysis of Reversible Systems: An Approach Based on Branching Bisimilarity.

[BibT_eX]

[DOI]

CoRR, 2023

Modal Logic Characterizations of Forward, Reverse, and Forward-Reverse Bisimilarities.

[BibT_eX]

[DOI]

Marco Bernardo

Andrea Esposito

Proceedings of the Fourteenth International Symposium on Games, 2023

On the Weak Continuation of Reverse Bisimilarity vs. Forward Bisimilarity.

[BibT_eX]

[DOI]

Marco Bernardo

Andrea Esposito

Proceedings of the 24th Italian Conference on Theoretical Computer Science, 2023

Branching Bisimulation Semantics Enables Noninterference Analysis of Reversible Systems.

[BibT_eX]

[DOI]

Andrea Esposito

Alessandro Aldini

Marco Bernardo

Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2023

Andrea Esposito

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...