Alberto Carraro

Alberto Carraro

Università degli Studi di Padova - Padova / Italy
Others
AD Scientific Index ID: 5915553
University of Padua
person_outline Alberto Carraro's MOST POPULAR ARTICLES
1-) A semantical and operational account of call-by-value solvabilityA Carraro, G GuerrieriFoundations of Software Science and Computation Structures: 17th …, 2014712014
2-) Esophageal adenocarcinoma and obesity: peritumoral adipose tissue plays a role in lymph node invasionE Trevellin, M Scarpa, A Carraro, F Lunardi, A Kotsafti, A Porzionato, ...Oncotarget 6 (13), 11203, 2015542015
3-) The Segment Anything Model (SAM) for accelerating the smart farming revolutionA Carraro, M Sozzi, F MarinelloSmart agricultural technology 6, 100367, 2023
4-) Exponentials with infinite multiplicitiesA Carraro, T Ehrhard, A SalibraComputer Science Logic: 24th International Workshop, CSL 2010, 19th Annual …, 2010
5-) Full abstraction for resource calculus with testsA Bucciarelli, A Carraro, T Ehrhard, G ManzonettoDagstuhl: sn, 2011262011