Davide Davoli
Affiliations:- Inria, Université Côte d'Azur, Sophia Antipolis, France
According to our database1,
Davide Davoli
authored at least 4 papers
between 2023 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
On Separation Logic, Computational Independence, and Pseudorandomness (Extended Version).
CoRR, 2024
Proceedings of the 32nd EACSL Annual Conference on Computer Science Logic, 2024
2023