| A semantical and operational account of call-by-value solvability A Carraro, G Guerrieri Foundations of Software Science and Computation Structures: 17th …, 2014 | 72 | 2014 |
| Esophageal adenocarcinoma and obesity: peritumoral adipose tissue plays a role in lymph node invasion E Trevellin, M Scarpa, A Carraro, F Lunardi, A Kotsafti, A Porzionato, ... Oncotarget 6 (13), 11203, 2015 | 54 | 2015 |
| Exponentials with infinite multiplicities A Carraro, T Ehrhard, A Salibra Computer Science Logic: 24th International Workshop, CSL 2010, 19th Annual …, 2010 | 31 | 2010 |
| The Segment Anything Model (SAM) for accelerating the smart farming revolution A Carraro, M Sozzi, F Marinello Smart agricultural technology 6, 100367, 2023 | 27 | 2023 |
| Full abstraction for resource calculus with tests A Bucciarelli, A Carraro, T Ehrhard, G Manzonetto Dagstuhl: sn, 2011 | 26 | 2011 |
| Non-interference by unfolding P Baldan, A Carraro Application and Theory of Petri Nets and Concurrency: 35th International …, 2014 | 18 | 2014 |
| The stack calculus A Carraro, T Ehrhard, A Salibra arXiv preprint arXiv:1303.7331, 2013 | 15 | 2013 |
| On linear information systems A Bucciarelli, A Carraro, T Ehrhard, A Salibra arXiv preprint arXiv:1003.5518, 2010 | 15 | 2010 |
| Reflexive Scott domains are not complete for the extensional lambda calculus A Carraro, A Salibra 2009 24th Annual IEEE Symposium on Logic In Computer Science, 91-100, 2009 | 14 | 2009 |
| A causal view on non-interference P Baldan, A Carraro Fundamenta Informaticae 140 (1), 1-38, 2015 | 13 | 2015 |
| Resource combinatory algebras A Carraro, T Ehrhard, A Salibra International Symposium on Mathematical Foundations of Computer Science, 233-245, 2010 | 12 | 2010 |
| Graph easy sets of mute lambda terms A Bucciarelli, A Carraro, G Favro, A Salibra Theoretical Computer Science 629, 51-63, 2016 | 10 | 2016 |
| Full abstraction for the resource lambda calculus with tests, through taylor expansion T Ehrhard, A Bucciarelli, A Carraro, G Manzonetto Logical Methods in Computer Science 8, 2012 | 10 | 2012 |
| Easy lambda-terms are not always simple A Carraro, A Salibra RAIRO-Theoretical Informatics and Applications 46 (2), 291-314, 2012 | 8 | 2012 |
| Intransitive non-interference by unfolding P Baldan, F Burato, A Carraro International Conference on Formal Aspects of Component Software, 269-287, 2014 | 7 | 2014 |
| Minimal lambda-theories by ultraproducts A Bucciarelli, A Carraro, A Salibra arXiv preprint arXiv:1303.7329, 2013 | 3 | 2013 |
| On the equational consistency of order-theoretic models of the lambda-calculus A Carraro, A Salibra LEIBNIZ INTERNATIONAL PROCEEDINGS IN INFORMATICS, 152-166, 2012 | 3 | 2012 |
| Models and theories of pure and resource lambda calculi C Alberto Università Ca'Foscari Venezia, 2011 | 3 | 2011 |
| Convolutional Neural Networks for the Detection of Esca Disease Complex in Asymptomatic Grapevine Leaves A Carraro, G Saurio, A López-Maestresalas, S Scardapane, F Marinello International Conference on Image Analysis and Processing, 418-429, 2023 | 2 | 2023 |
| Ordered models of the lambda calculus A Salibra, A Carraro Logical Methods in Computer Science 9, 2013 | 2 | 2013 |
