Alberto Carraro
Orcid: 0000-0002-9747-0978
According to our database1,
Alberto Carraro
authored at least 23 papers
between 2009 and 2025.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2025
How to assess the digitization and digital effort: A framework for Digitization Footprint (Part 1).
Comput. Electron. Agric., 2025
2024
Comput. Electron. Agric., 2024
2023
Convolutional Neural Networks for the Detection of Esca Disease Complex in Asymptomatic Grapevine Leaves.
Proceedings of the Image Analysis and Processing - ICIAP 2023 Workshops, 2023
2021
Proceedings of the 46th International Symposium on Mathematical Foundations of Computer Science, 2021
2016
2015
2014
Proceedings of the 15th Italian Conference on Theoretical Computer Science, 2014
Proceedings of the Foundations of Software Science and Computation Structures, 2014
Proceedings of the Formal Aspects of Component Software - 11th International Symposium, 2014
Proceedings of the Application and Theory of Petri Nets and Concurrency, 2014
2013
2012
Proceedings of the Proceedings Seventh Workshop on Logical and Semantic Frameworks, 2012
Proceedings of the Proceedings Seventh Workshop on Logical and Semantic Frameworks, 2012
Proceedings of the Proceedings Seventh Workshop on Logical and Semantic Frameworks, 2012
Full Abstraction for the Resource Lambda Calculus with Tests, through Taylor Expansion
Log. Methods Comput. Sci., 2012
Proceedings of the Computer Science Logic (CSL'12), 2012
2011
Proceedings of the Computer Science Logic, 2011
2010
Proceedings of the Mathematical Foundations of Computer Science 2010, 2010
Proceedings of the Computer Science Logic, 24th International Workshop, 2010
2009
Proceedings of the Proceedings First International Workshop on Linearity, 2009
Proceedings of the 24th Annual IEEE Symposium on Logic in Computer Science, 2009