( en | de | ru )

 

Disambiguation of "Carraro, Alberto"

Author of the publication

copydeleteadd this publication to your clipboard
Convolutional Neural Networks for the Detection of Esca Disease Complex in Asymptomatic Grapevine Leaves.

, , , , and . ICIAP Workshops (1), volume 14365 of Lecture Notes in Computer Science, page 418-429. Springer, (2023)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Ulrich Carraro

Thomas Carraro

Luciano Carraro

Alberto Moreira

Alberto Coda

 

Other publications of authors with the same name

The untyped stack calculus and Bohm's theorem. LSFA, volume 113 of EPTCS, page 77-92. (2012)A graph-easy class of mute lambda-terms., , , and . ICTCS, volume 1231 of CEUR Workshop Proceedings, page 59-71. CEUR-WS.org, (2014)The stack calculus, , and . LSFA, volume 113 of EPTCS, page 93-108. (2012)A Semantical and Operational Account of Call-by-Value Solvability., and . FoSSaCS, volume 8412 of Lecture Notes in Computer Science, page 103-118. Springer, (2014)Convolutional Neural Networks for the Detection of Esca Disease Complex in Asymptomatic Grapevine Leaves., , , , and . ICIAP Workshops (1), volume 14365 of Lecture Notes in Computer Science, page 418-429. Springer, (2023)Minimal lambda-theories by ultraproducts, , and . LSFA, volume 113 of EPTCS, page 61-76. (2012)Exponentials with Infinite Multiplicities., , and . CSL, volume 6247 of Lecture Notes in Computer Science, page 170-184. Springer, (2010)Full Abstraction for Resource Calculus with Tests., , , and . CSL, volume 12 of LIPIcs, page 97-111. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2011)On the equational consistency of order-theoretic models of the lambda-calculus., and . CSL, volume 16 of LIPIcs, page 152-166. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2012)(Un)Decidability for History Preserving True Concurrent Logics., , and . MFCS, volume 202 of LIPIcs, page 13:1-13:16. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2021)