Alberto Carraro

25 papers A* 1B 7Journal 9Unranked 7

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	AI-driven analysis of animal cleanliness: A data-fusion model using RGB and thermal imaging. Comput. Electron. Agric. Alberto Carraro, Giulia Bugin, Francesco Marinello, Maddi Aguirrebengoa, Stefano Frattini, Andrea Pezzuolo
2025	J	`jnl`	A variable-rate spraying system for vineyards based on RGB-D imaging and tensor acceleration. Comput. Electron. Agric. Qi Gao, Alberto Carraro, Qiang Huang, Francesco Marinello, Marco Sozzi
2025	J	`jnl`	How to assess the digitization and digital effort: A framework for Digitization Footprint (Part 1). Comput. Electron. Agric. Qiang Huang, Xu Wang, Qi Gao, Alberto Carraro, Andrea Pezzuolo, Francesco Marinello
2024	J	`jnl`	Indicators to Digitization Footprint and How to Get Digitization Footprint (Part 2). Comput. Electron. Agric. Qiang Huang, Xu Wang, Qi Gao, Alberto Carraro, Marco Sozzi, Francesco Marinello
2023	—	`conf`	Convolutional Neural Networks for the Detection of Esca Disease Complex in Asymptomatic Grapevine Leaves. ICIAP Workshops (1) Alberto Carraro, Gaetano Saurio, Ainara López-Maestresalas, Simone Scardapane, Francesco Marinello
2021	B	`conf`	(Un)Decidability for History Preserving True Concurrent Logics. MFCS Paolo Baldan, Alberto Carraro, Tommaso Padoan
2016	J	`jnl`	Graph easy sets of mute lambda terms. Theor. Comput. Sci. Antonio Bucciarelli, Alberto Carraro, Giordano Favro, Antonino Salibra
2015	J	`jnl`	A Causal View on Non-Interference. Fundam. Informaticae Paolo Baldan, Alberto Carraro
2014	B	`conf`	A Semantical and Operational Account of Call-by-Value Solvability. FoSSaCS Alberto Carraro, Giulio Guerrieri
2014	—	`conf`	A graph-easy class of mute lambda-terms. ICTCS Antonio Bucciarelli, Alberto Carraro, Giordano Favro, Antonino Salibra
2014	—	`conf`	Intransitive Non-Interference by Unfolding. FACS Paolo Baldan, Francesco Burato, Alberto Carraro
2014	B	`conf`	Non-interference by Unfolding. Petri Nets Paolo Baldan, Alberto Carraro
2013	J	`jnl`	Ordered Models of the Lambda Calculus. Log. Methods Comput. Sci. Alberto Carraro, Antonino Salibra
2012	J	`jnl`	Easy lambda-terms are not always simple. RAIRO Theor. Informatics Appl. Alberto Carraro, Antonino Salibra
2012	J	`jnl`	Full Abstraction for the Resource Lambda Calculus with Tests, through Taylor Expansion Log. Methods Comput. Sci. Antonio Bucciarelli, Alberto Carraro, Thomas Ehrhard, Giulio Manzonetto
2012	—	`conf`	Minimal lambda-theories by ultraproducts LSFA Antonio Bucciarelli, Alberto Carraro, Antonino Salibra
2012	B	`conf`	On the equational consistency of order-theoretic models of the lambda-calculus. CSL Alberto Carraro, Antonino Salibra
2012	—	`conf`	The stack calculus LSFA Alberto Carraro, Thomas Ehrhard, Antonino Salibra
2012	—	`conf`	The untyped stack calculus and Bohm's theorem LSFA Alberto Carraro
2011	B	`conf`	Full Abstraction for Resource Calculus with Tests. CSL Antonio Bucciarelli, Alberto Carraro, Thomas Ehrhard, Giulio Manzonetto
2011	—	`—`	Models and theories of pure and resource lambda calculi. Alberto Carraro
2010	B	`conf`	Exponentials with Infinite Multiplicities. CSL Alberto Carraro, Thomas Ehrhard, Antonino Salibra
2010	B	`conf`	Resource Combinatory Algebras. MFCS Alberto Carraro, Thomas Ehrhard, Antonino Salibra
2009	—	`conf`	On Linear Information Systems LINEARITY Antonio Bucciarelli, Alberto Carraro, Thomas Ehrhard, Antonino Salibra
2009	A*	`conf`	Reflexive Scott Domains are Not Complete for the Extensional Lambda Calculus. LICS Alberto Carraro, Antonino Salibra