Alberto Carraro

According to our database, Alberto Carraro authored at least 23 papers between 2009 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

How to assess the digitization and digital effort: A framework for Digitization Footprint (Part 1).

Qiang Huang, Xu Wang, Qi Gao, Alberto Carraro, Andrea Pezzuolo, Francesco Marinello

Comput. Electron. Agric., 2025

2024

Indicators to Digitization Footprint and How to Get Digitization Footprint (Part 2).

Qiang Huang, Xu Wang, Qi Gao, Alberto Carraro, Marco Sozzi, Francesco Marinello

Comput. Electron. Agric., 2024

2023

Convolutional Neural Networks for the Detection of Esca Disease Complex in Asymptomatic Grapevine Leaves.

Alberto Carraro, Gaetano Saurio, Ainara López-Maestresalas, Simone Scardapane, Francesco Marinello

Proceedings of the Image Analysis and Processing - ICIAP 2023 Workshops, 2023

2021

(Un)Decidability for History Preserving True Concurrent Logics.

Paolo Baldan, Alberto Carraro, Tommaso Padoan

Proceedings of the 46th International Symposium on Mathematical Foundations of Computer Science, 2021

2016

Graph easy sets of mute lambda terms.

Antonio Bucciarelli, Alberto Carraro, Giordano Favro, Antonino Salibra

Theor. Comput. Sci., 2016

2015

A Causal View on Non-Interference.

Paolo Baldan, Alberto Carraro

Fundam. Informaticae, 2015

2014

A graph-easy class of mute lambda-terms.

Antonio Bucciarelli, Alberto Carraro, Giordano Favro, Antonino Salibra

Proceedings of the 15th Italian Conference on Theoretical Computer Science, 2014

A Semantical and Operational Account of Call-by-Value Solvability.

Alberto Carraro, Giulio Guerrieri

Proceedings of the Foundations of Software Science and Computation Structures, 2014

Intransitive Non-Interference by Unfolding.

Paolo Baldan, Francesco Burato, Alberto Carraro

Proceedings of the Formal Aspects of Component Software - 11th International Symposium, 2014

Non-interference by Unfolding.

Paolo Baldan, Alberto Carraro

Proceedings of the Application and Theory of Petri Nets and Concurrency, 2014

2013

Ordered Models of the Lambda Calculus.

Alberto Carraro, Antonino Salibra

Log. Methods Comput. Sci., 2013

2012

Easy lambda-terms are not always simple.

Alberto Carraro, Antonino Salibra

RAIRO Theor. Informatics Appl., 2012

The stack calculus

Alberto Carraro, Thomas Ehrhard, Antonino Salibra

Proceedings of the Proceedings Seventh Workshop on Logical and Semantic Frameworks, 2012

The untyped stack calculus and Bohm's theorem

Alberto Carraro

Proceedings of the Proceedings Seventh Workshop on Logical and Semantic Frameworks, 2012

Minimal lambda-theories by ultraproducts

Antonio Bucciarelli, Alberto Carraro, Antonino Salibra

Proceedings of the Proceedings Seventh Workshop on Logical and Semantic Frameworks, 2012

Full Abstraction for the Resource Lambda Calculus with Tests, through Taylor Expansion

Antonio Bucciarelli, Alberto Carraro, Thomas Ehrhard, Giulio Manzonetto

Log. Methods Comput. Sci., 2012

On the equational consistency of order-theoretic models of the lambda-calculus.

Alberto Carraro, Antonino Salibra

Proceedings of the Computer Science Logic (CSL'12), 2012

2011

Models and theories of pure and resource lambda calculi.

Alberto Carraro

PhD thesis, 2011

Full Abstraction for Resource Calculus with Tests.

Antonio Bucciarelli, Alberto Carraro, Thomas Ehrhard, Giulio Manzonetto

Proceedings of the Computer Science Logic, 2011

2010

Resource Combinatory Algebras.

Alberto Carraro, Thomas Ehrhard, Antonino Salibra

Proceedings of the Mathematical Foundations of Computer Science 2010, 2010

Exponentials with Infinite Multiplicities.

Alberto Carraro, Thomas Ehrhard, Antonino Salibra

Proceedings of the Computer Science Logic, 24th International Workshop, 2010

2009

On Linear Information Systems

Antonio Bucciarelli, Alberto Carraro, Thomas Ehrhard, Antonino Salibra

Proceedings of the Proceedings First International Workshop on Linearity, 2009

Reflexive Scott Domains are Not Complete for the Extensional Lambda Calculus.

Alberto Carraro, Antonino Salibra

Proceedings of the 24th Annual IEEE Symposium on Logic in Computer Science, 2009