Reflexive Scott Domains are Not Complete for the Extensional Lambda Calculus. - Alberto Carraro; Antonino Salibra (LICS, 2009)

On Linear Information Systems - Antonio Bucciarelli; Alberto Carraro; Thomas Ehrhard; Antonino Salibra (LINEARITY, 2009)

Exponentials with Infinite Multiplicities. - Alberto Carraro; Thomas Ehrhard; Antonino Salibra (CSL, 2010)

Resource Combinatory Algebras. - Alberto Carraro; Thomas Ehrhard; Antonino Salibra (MFCS, 2010)

Full Abstraction for Resource Calculus with Tests. - Antonio Bucciarelli; Alberto Carraro; Thomas Ehrhard; Giulio Manzonetto (CSL, 2011)

Models and theories of pure and resource lambda calculi. - Alberto Carraro (2011)

On the equational consistency of order-theoretic models of the lambda-calculus. - Alberto Carraro; Antonino Salibra (CSL, 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)

Minimal lambda-theories by ultraproducts - Antonio Bucciarelli; Alberto Carraro; Antonino Salibra (LSFA, 2012)

The untyped stack calculus and Bohm's theorem - Alberto Carraro (LSFA, 2012)

The stack calculus - Alberto Carraro; Thomas Ehrhard; Antonino Salibra (LSFA, 2012)

Easy lambda-terms are not always simple. - Alberto Carraro; Antonino Salibra (RAIRO Theor. Informatics Appl., 2012)

Ordered Models of the Lambda Calculus. - Alberto Carraro; Antonino Salibra (Log. Methods Comput. Sci., 2013)

Non-interference by Unfolding. - Paolo Baldan; Alberto Carraro (Petri Nets, 2014)

Intransitive Non-Interference by Unfolding. - Paolo Baldan; Francesco Burato; Alberto Carraro (FACS, 2014)

A Semantical and Operational Account of Call-by-Value Solvability. - Alberto Carraro; Giulio Guerrieri (FoSSaCS, 2014)

A graph-easy class of mute lambda-terms. - Antonio Bucciarelli; Alberto Carraro; Giordano Favro; Antonino Salibra (ICTCS, 2014)

A Causal View on Non-Interference. - Paolo Baldan; Alberto Carraro (Fundam. Informaticae, 2015)

Graph easy sets of mute lambda terms. - Antonio Bucciarelli; Alberto Carraro; Giordano Favro; Antonino Salibra (Theor. Comput. Sci., 2016)

(Un)Decidability for History Preserving True Concurrent Logics. - Paolo Baldan; Alberto Carraro; Tommaso Padoan (MFCS, 2021)

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 (ICIAP Workshops (1), 2023)

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)

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)