Alberto Carraro

Publication Activity (10 Years)

Years Active: 2009-2024
Publications (10 Years): 5

Top Topics

Causal Inferences

Convolutional Neural Networks

Structured Data

Propositional Logic

Top Venues

Fundam. Informaticae

Publications

Qiang Huang, Xu Wang, Qi Gao, Alberto Carraro, Marco Sozzi, Francesco Marinello
Indicators to Digitization Footprint and How to Get Digitization Footprint (Part 2). Comput. Electron. Agric. 224 (2024)
Alberto Carraro, Gaetano Saurio, Ainara López-Maestresalas, Simone Scardapane, Francesco Marinello
Convolutional Neural Networks for the Detection of Esca Disease Complex in Asymptomatic Grapevine Leaves. ICIAP Workshops (1) (2023)
Paolo Baldan, Alberto Carraro, Tommaso Padoan
(Un)Decidability for History Preserving True Concurrent Logics. MFCS (2021)
Antonio Bucciarelli, Alberto Carraro, Giordano Favro, Antonino Salibra
Graph easy sets of mute lambda terms. Theor. Comput. Sci. 629 (2016)
Paolo Baldan, Alberto Carraro
A Causal View on Non-Interference. Fundam. Informaticae 140 (1) (2015)
Paolo Baldan, Alberto Carraro
Non-interference by Unfolding. Petri Nets (2014)
Paolo Baldan, Francesco Burato, Alberto Carraro
Intransitive Non-Interference by Unfolding. FACS (2014)
Antonio Bucciarelli, Alberto Carraro, Giordano Favro, Antonino Salibra
A graph-easy class of mute lambda-terms. ICTCS (2014)
Alberto Carraro, Giulio Guerrieri
A Semantical and Operational Account of Call-by-Value Solvability. FoSSaCS (2014)
Alberto Carraro, Antonino Salibra
Ordered Models of the Lambda Calculus. Log. Methods Comput. Sci. 9 (4) (2013)
Alberto Carraro, Thomas Ehrhard, Antonino Salibra
The stack calculus LSFA (2012)
Alberto Carraro, Antonino Salibra
Easy lambda-terms are not always simple. RAIRO Theor. Informatics Appl. 46 (2) (2012)
Antonio Bucciarelli, Alberto Carraro, Thomas Ehrhard, Giulio Manzonetto
Full Abstraction for the Resource Lambda Calculus with Tests, through Taylor Expansion Log. Methods Comput. Sci. 8 (4) (2012)
Alberto Carraro, Antonino Salibra
On the equational consistency of order-theoretic models of the lambda-calculus. CSL (2012)
Alberto Carraro
The untyped stack calculus and Bohm's theorem LSFA (2012)
Antonio Bucciarelli, Alberto Carraro, Antonino Salibra
Minimal lambda-theories by ultraproducts LSFA (2012)
Antonio Bucciarelli, Alberto Carraro, Thomas Ehrhard, Giulio Manzonetto
Full Abstraction for Resource Calculus with Tests. CSL (2011)
Alberto Carraro, Thomas Ehrhard, Antonino Salibra
Exponentials with Infinite Multiplicities. CSL (2010)
Alberto Carraro, Thomas Ehrhard, Antonino Salibra
Resource Combinatory Algebras. MFCS (2010)
Antonio Bucciarelli, Alberto Carraro, Thomas Ehrhard, Antonino Salibra
On Linear Information Systems LINEARITY (2009)
Alberto Carraro, Antonino Salibra
Reflexive Scott Domains are Not Complete for the Extensional Lambda Calculus. LICS (2009)