We stand with Ukraine  

Andrea Esposito

Affiliations:
  • University of Urbino, Italy


According to our database1, Andrea Esposito authored at least 5 papers between 2023 and 2024.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Noninterference Analysis of Reversible Probabilistic Systems.
[BibTeX]
[DOI]
Andrea Esposito
,
Alessandro Aldini
,
Marco Bernardo
Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2024

2023
Noninterference Analysis of Reversible Systems: An Approach Based on Branching Bisimilarity.
[BibTeX]
[DOI]
Andrea Esposito
,
Alessandro Aldini
,
Marco Bernardo
,
Sabina Rossi
CoRR, 2023

Modal Logic Characterizations of Forward, Reverse, and Forward-Reverse Bisimilarities.
[BibTeX]
[DOI]
Marco Bernardo
,
Andrea Esposito
Proceedings of the Fourteenth International Symposium on Games, 2023

On the Weak Continuation of Reverse Bisimilarity vs. Forward Bisimilarity.
[BibTeX]
[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.
[BibTeX]
[DOI]
Andrea Esposito
,
Alessandro Aldini
,
Marco Bernardo
Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2023


  Loading...