Antonino SALIBRA

Qualifica: Professore in quiescenza

E-mail: salibra@unive.it

SSD: INFORMATICA [INF/01]

Sito web: www.unive.it/persone/salibra (scheda personale)

Pubblicazioni

Anno	Tipologia	Pubblicazione

Anno	Tipologia	Pubblicazione
1 - 10 / 67 (67)
2019	Articolo su rivista	Antonio Bucciarelli; Antonino Salibra; On Noncommutative Generalisations of Boolean Algebras in THE ART OF DISCRETE AND APPLIED MATHEMATICS, vol. 2 (ISSN 2590-9770) DOI - Scheda ARCA: 10278/3723703
2018	Articolo su libro	Salibra A., Ledda A., Paoli F. Boolean product representations of algebras via binary polynomials , Don Pigozzi on Abstract Algebraic Logic, Universal Algebra, and Computer Science, Springer International Publishing, vol. 16, pp. 297-321 (ISBN 978-3-319-74771-2) (ISSN 2211-2758) DOI - Scheda ARCA: 10278/3661319
2018	Rapporto di ricerca	Salibra, A., Ledda A., Paoli F. BOOLEAN-LIKE ALGEBRAS OF FINITE DIMENSION , arXiv:1806.06537 - Scheda ARCA: 10278/3703990
2017	Articolo su rivista	Salibra, Antonino; Ledda, Antonio; Paoli, Francesco Factor Varieties in SOFT COMPUTING, vol. 21, pp. 1443-1454 (ISSN 1432-7643) DOI - URL correlato - Scheda ARCA: 10278/3661318
2016	Articolo su rivista	Bucciarelli, Antonio; Carraro, Alberto; Favro, Giordano; Salibra, Antonino Graph easy sets of mute lambda terms in THEORETICAL COMPUTER SCIENCE, vol. 629, pp. 51-63 (ISSN 0304-3975) DOI - Scheda ARCA: 10278/3664684
2016	Articolo in Atti di convegno	Salibra, Antonino; Favro, Giordano; Manzonetto, Giulio Factor Varieties and Symbolic Computation in A. Salibra, G. Manzonetto, G. Favro, Proceedings of the 31st Annual ACM-IEEE Symposium on Logic in Computer Science (LICS 2016), 1515 BROADWAY, NEW YORK, NY 10036-9998 USA, ASSOC COMPUTING MACHINERY, pp. 739-748, Convegno: ACM-IEEE Symposium on Logic in Computer Science, 5-8 Luglio 2016 (ISBN 978-1-4503-4391-6) DOI - Scheda ARCA: 10278/3679739
2015	Articolo su rivista	Cvetko Vah, K.; Salibra, Antonino The connection of skew Boolean algebras and discriminator varieties to Church algebras in ALGEBRA UNIVERSALIS, vol. 73, pp. 369-390 (ISSN 0002-5240) DOI - Scheda ARCA: 10278/3421469
2014	Articolo in Atti di convegno	Bucciarelli, A.; Carraro, Alberto; Favro, Giordano; Salibra, Antonino A graph easy set of mute lambda terms , Proceedings of 15th Italian Conference on Theoretical Computer Science, CEUR Workshop Proceedings (CEUR-WS.org), vol. 1231, pp. 59-71, Convegno: 15th Italian Conference on Theoretical Computer Science, Settembre 2014 (ISSN 1613-0073) - Scheda ARCA: 10278/40977
2013	Articolo su rivista	A. Salibra; A. Ledda; F. Paoli; T. Kowalski Boolean-like-algebras in ALGEBRA UNIVERSALIS, vol. 69, pp. 113-138 (ISSN 0002-5240) DOI - Scheda ARCA: 10278/34901
2013	Articolo su rivista	A. Ledda; F. Paoli; A. Salibra On semi-boolean-like algebras in ACTA UNIVERSITATIS PALACKIANAE OLOMUCENSIS. FACULTAS RERUM NATURALIUM. MATHEMATICA, vol. 52, pp. 101-120 (ISSN 0231-9721) - Scheda ARCA: 10278/37843
2013	Articolo su rivista	A. Carraro; A. Salibra Ordered models of the lambda calculus in LOGICAL METHODS IN COMPUTER SCIENCE, vol. 9, pp. 1-29 (ISSN 1860-5974) - Scheda ARCA: 10278/38801
2013	Articolo in Atti di convegno	A. Bucciarelli; A. Carraro; A. Salibra; Minimal lambda-theories by ultraproducts , Electronic Proceedings in Theoretical Computer Science, [S.l.] : Open Publishing Association, vol. 113, pp. 61-76, Convegno: Proceedings Seventh Workshop on Logical and Semantic Frameworks, with Applications (LSFA 2012), September 29-30, 2012 (ISSN 2075-2180) DOI - Scheda ARCA: 10278/37453
2013	Articolo in Atti di convegno	A. Carraro; T. Ehrhard; A. Salibra The stack calculus , Proceedings Seventh Workshop on Logical and Semantic Frameworks, [S.l.] : Open Publishing Association, vol. 113, pp. 93-108, Convegno: Seventh Workshop on Logical and Semantic Frameworks, with Applications (LSFA 2012), September 29-30, 2012 (ISSN 2075-2180) DOI - Scheda ARCA: 10278/37452
2013	Abstract in Atti di convegno	A. Ledda; T. Kowalski; F. Paoli; A. Salibra Boolean like algebras , Proceedings of the 6th Topology, Algebra and Categories in Logic (TACL 2013), Easychair, vol. 25, pp. 141-144, Convegno: 6th Topology, Algebra and Categories in Logic, July 28 - August 1, 2013 - URL correlato - Scheda ARCA: 10278/3260460
2012	Articolo su rivista	A. Carraro; A. Salibra Easy lambda-terms are not always simple in RAIRO. INFORMATIQUE THEORIQUE ET APPLICATIONS, vol. 46, pp. 291-314 (ISSN 0988-3754) DOI - Scheda ARCA: 10278/36003
2012	Articolo in Atti di convegno	A. Carraro; A. Salibra On the equational consistency of order-theoretic models of the lambda-calculus in Patrick Cégielski, Arnaud Durand, Computer Science Logic (CSL'12) - 26th International Workshop/21st Annual Conference of the EACSL, CSL 2012, September 3-6, 2012, Fontainebleau, France, LIPIcs 16 Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, pp. 152-166, Convegno: Computer Science Logic (CSL'12) - 21st Annual Conference of the EACSL, CSL 2012, September 3-6, 2012 (ISBN 9783939897422) (ISSN 1868-8969) DOI - Scheda ARCA: 10278/34097
2012	Articolo in Atti di convegno	A. Salibra Scott is always simple in B. Rovan, V. Sassone and P. Widmayer, Mathematical Foundations of Computer Science 2012 - 37th International Symposium, MFCS 2012, Berlin, Germany:Springer Verlag Germany, vol. 7464, pp. 31-45, Convegno: 37th International Symposium Mathematical Foundations of Computer Science 2012, August 27-31, 2012 (ISBN 9783642325885) (ISSN 0302-9743) DOI - Scheda ARCA: 10278/34875
2010	Articolo su rivista	MANZONETTO G; SALIBRA A. Applying Universal Algebra to Lambda Calculus in JOURNAL OF LOGIC AND COMPUTATION, vol. 20, pp. 877-915 (ISSN 0955-792X) DOI - Scheda ARCA: 10278/22589
2010	Articolo in Atti di convegno	Carraro A.; Ehrhard T.; Salibra A. Exponentials with infinite multiplicities , 19th EACSL Annual Conference on Computer Science Logic, Springer-Verlag Berlin Heidelberg, vol. 6247, pp. 170-184, Convegno: 19th EACSL Annual Conference on Computer Science Logic (ISSN 0302-9743) DOI - Scheda ARCA: 10278/4323
2010	Articolo in Atti di convegno	A. Bucciarelli; A. Carraro; T. Ehrhard; A. Salibra On linear information systems , Proceedings First International Workshop on Linearity, Electronic Proceedings in Theoretical Computer Science, vol. 22, pp. 38-48, Convegno: Linearity 2009 (ISSN 2075-2180) DOI - Scheda ARCA: 10278/27540
2010	Articolo in Atti di convegno	Carraro A.; Ehrhard T.; Salibra A. Resource Combinatory Algebras , Proceedings 35th International Symposium on Mathematical Foundations of Computer Science, Berlino, Springer-Verlag Berlin Heidelberg, vol. 6281, pp. 233-245, Convegno: 35th International Symposium on Mathematical Foundations of Computer Science (ISSN 0302-9743) - Scheda ARCA: 10278/4236
2009	Articolo su rivista	C. BERLINE; G. MANZONETTO; SALIBRA A. Effective lambda models versus recursively enumerable lambda theories in MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, vol. 19, pp. 897-942 (ISSN 0960-1295) - Scheda ARCA: 10278/31345
2009	Articolo in Atti di convegno	MANZONETTO G; SALIBRA A. Lattices of equational theories as Church algebras in Costas Drossos, Pavlos Peppas, and Constantine Tsinakis, Proceedings of Seventh Panhellenic Logic Symposium, Patras (Grecia), Patras University Press, Convegno: Seventh Panhellenic Logic Symposium, July 15-19, 2009 (ISBN 9789605301088) - Scheda ARCA: 10278/22590
2009	Articolo in Atti di convegno	CARRARO A; SALIBRA A. Reflexive domains are not complete for the extensional lambda calculus , Proceedings of 24th Annual IEEE Symposium on Logic in Computer Science, IEEE Computer Society Publications, pp. 91-100, Convegno: 24th Annual IEEE Symposium on Logic in Computer Science, 11-14 August, 2009 (ISBN 9780769537467) - Scheda ARCA: 10278/21882
2008	Articolo su rivista	BUCCIARELLI A; SALIBRA A. Graph Lambda Theories in MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, vol. 18, pp. 975-1004 (ISSN 0960-1295) - Scheda ARCA: 10278/29633
2008	Articolo in Atti di convegno	MANZONETTO G; SALIBRA A. From Lambda Calculus to Universal Algebra and Back , Proceedings MFCS'08, Germany: Springer Verlag Germany, vol. 5162, pp. 479-490, Convegno: MFCS'08 (ISSN 0302-9743) - Scheda ARCA: 10278/20819
2007	Articolo in Atti di convegno	C. BERLINE; G. MANZONETTO; SALIBRA A. Lambda theories of effective lambda models , Proceedings CSL'07, Germany: Springer Verlag Germany, vol. 4646, pp. 268-282, Convegno: CSL'07 (ISSN 0302-9743) - Scheda ARCA: 10278/20857
2006	Articolo su rivista	BERLINE C; SALIBRA A. Easiness in graph models in THEORETICAL COMPUTER SCIENCE, vol. 354, pp. 4-23 (ISSN 0304-3975) - Scheda ARCA: 10278/30116
2006	Articolo in Atti di convegno	MANZONETTO G; SALIBRA A. Boolean algebras for lambda calculus , Proceedings of 21th Annual IEEE Symposium on Logic in Computer Science, IEEE Computer Society Press, pp. 317-326, Convegno: 21th Annual IEEE Symposium on Logic in Computer Science, August 12th-15th 2006 (ISBN 9780769526317) - Scheda ARCA: 10278/21881
2004	Articolo su rivista	LUSIN S.; SALIBRA A. The lattice of lambda theories in JOURNAL OF LOGIC AND COMPUTATION, vol. 14, pp. 373-394 (ISSN 0955-792X) - Scheda ARCA: 10278/13860
2004	Articolo in Atti di convegno	BUCCIARELLI A.; SALIBRA A. The sensible graph theories of lambda calculus , 19th Annual Symposium in Logic in Computer Science, IEEE Computer Society Press, pp. 276-285, Convegno: 19th Annual IEEE Symposium on Logic in Computer Science (LICS'04), 13-17 Luglio 2004 (ISBN 9780769521923) - Scheda ARCA: 10278/8114
2003	Articolo su rivista	LUSIN S; SALIBRA A. A note on absolutely unorderable combinatory algebras in JOURNAL OF LOGIC AND COMPUTATION, vol. 13, pp. 481-502 (ISSN 0955-792X) - Scheda ARCA: 10278/13810
2003	Articolo su rivista	SALIBRA A. Topological incompleteness and order incompleteness of the lambda calculus in ACM TRANSACTIONS ON COMPUTATIONAL LOGIC, vol. 4, pp. 379-401 (ISSN 1529-3785) DOI - Scheda ARCA: 10278/13809
2003	Articolo in Atti di convegno	SALIBRA A. Lambda calculus: models and theories in F. Spoto, G. Scollo, A. Nijhol, Proceeding of the third AMAST workshop on algebraic methods in language processing, TWLT Proceedings Series, University of Twente, vol. 21, pp. 39-54, Convegno: Third AMAST Workshop on Algebraic Methods in Language Processing - Scheda ARCA: 10278/8111
2003	Articolo in Atti di convegno	BUCCIARELLI A; SALIBRA A. The minimal graph model of lambda calculus , Proceedings MFCS'03, Germany: Springer Verlag Germany, vol. 2747, pp. 300-307, Convegno: MFCS'03 (ISSN 0302-9743) - Scheda ARCA: 10278/20858
2001	Articolo su rivista	SALIBRA A. Nonmodularity results for lambda calculus in FUNDAMENTA INFORMATICAE, vol. 45, pp. 379-392 (ISSN 0169-2968) - Scheda ARCA: 10278/13872
2001	Articolo in Atti di convegno	SALIBRA A. A continuum of theories of lambda calculus without semantics , 16th Annual Symposium in Logic in Computer Science, IEEE Computer Society Press, pp. 334-343, Convegno: 16th Annual IEEE Symposium on Logic in Computer Science (LICS'01), 16-19 Giugno 2001 (ISBN 9780769512815) - Scheda ARCA: 10278/8113
2001	Articolo in Atti di convegno	SALIBRA A. Towards lambda calculus order-incompleteness , Electronics Notes in Theoretical Computer Science, Elsevier Science, vol. 50, pp. 147-160, Convegno: Workshop on Bohm Theorem: Applications to Computer Science Theory (BOTH 2001) - Scheda ARCA: 10278/8112
2001	Altro	JABARA E.; SALIBRA A. Una nota sui gruppoidi topologici - Scheda ARCA: 10278/4603
2000	Articolo su rivista	SALIBRA A. On the algebraic models of lambda calculus in THEORETICAL COMPUTER SCIENCE, vol. 249, pp. 197-240 (ISSN 0304-3975) - Scheda ARCA: 10278/13858
1999	Articolo su rivista	SALIBRA A.; R.GOLDBLATT A finite equational axiomatization of the functional algebras for the lambda calculus in INFORMATION AND COMPUTATION, vol. 148, pp. 71-130 (ISSN 0890-5401) - Scheda ARCA: 10278/13804
1998	Articolo su rivista	D. PIGOZZI; SALIBRA A. Lambda abstraction algebras: coordinatizing models of lambda calculus in FUNDAMENTA INFORMATICAE, vol. 33, pp. 149-200 (ISSN 0169-2968) - Scheda ARCA: 10278/13805
1998	Articolo in Atti di convegno	SALIBRA A. On categorical frames, universal algebra and Boolean algebras with operators in a category in J. Font, R. Jansana, D. Pigozzi, Workshop on Abstract Algebraic Logic, CRM Quaderns, vol. 10, pp. 176-185, Convegno: Workshop on Abstract Algebraic Logic, July 1-5, 1997 - Scheda ARCA: 10278/20859
1998	Articolo in Atti di convegno	A. Salibra The variety of lambda abstraction algebras does not admit n-permutable congruences for all n , Proceedings 4th International Seminar RelMiCs, University of Warsaw, pp. 182-187, Convegno: RelMiCs 1998 - Scheda ARCA: 10278/40976
1996	Articolo su rivista	SALIBRA A.; SCOLLO G Interpolation and compacteness in categories of preinstitutions in MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, vol. 6, pp. 261-286 (ISSN 0960-1295) - Scheda ARCA: 10278/13859
1995	Articolo su rivista	D.PIGOZZI; SALIBRA A. Lambda Abstraction algebras: representation theorems in THEORETICAL COMPUTER SCIENCE, vol. 140, pp. 5-52 (ISSN 0304-3975) - Scheda ARCA: 10278/13806
1995	Articolo su rivista	D.PIGOZZI; SALIBRA A. The abstract variable-binding calculus in STUDIA LOGICA, vol. 55, pp. 129-179 (ISSN 0039-3215) - Scheda ARCA: 10278/13807
1994	Articolo in Atti di convegno	D. PIGOZZI; SALIBRA A. Dimension-complemented lambda abstraction algebras in M. Nivat, C. Rattray, T. Rus, G. Scollo, Proc. 3rd International Conference on Algebraic Methodology and Software Technology, Springer-Verlag, pp. 131-138, Convegno: Algebraic Methodology and Software technology (AMAST'93), 1993 - Scheda ARCA: 10278/20363
1993	Articolo su rivista	D. Pigozzi; A. Salibra Introduction to lambda abstraction algebras in NOTAS DE LÓGICA MATEMÁTICA, vol. 38, pp. 93-112 (ISSN 0078-2017) - Scheda ARCA: 10278/41394
1993	Abstract in Rivista	A. Salibra; G. Scollo A reduction scema by pre-institution transformations in THE JOURNAL OF SYMBOLIC LOGIC, Association for Symbolic Logic:Department of Math, University of Illinois, 1409 West Green Street:Urbana, IL 61801:(217)333-3350, EMAIL: asl@math.uiuc.edu, INTERNET: link esterno , vol. 58, pp. 1130-1131 (ISSN 0022-4812) - Scheda ARCA: 10278/27367
1993	Articolo su libro	SALIBRA A.; G. SCOLLO Compactness and Lowenheim-Skolem properties in pre-institution categories in C. RAUSZER ED., Algebraic methods in logic and computer science, Warszawa, INSTITUTE OF MATHEMATICS, POLISH ACADEMY OF SCIENCES, Banach Center Publications, vol. 28, pp. 67-94 (ISBN 9788385116929) - Scheda ARCA: 10278/20324
1993	Articolo su libro	D. PIGOZZI; SALIBRA A. Polyadic algebras over non-classical logics in C. RAUSZER ED., Algebraic methods in logic and computer science, Warszawa, NSTITUTE OF MATHEMATICS, POLISH ACADEMY OF SCIENCES, Banach Center Publications, vol. 28, pp. 51-66 (ISBN 9788385116929) - Scheda ARCA: 10278/20323
1993	Articolo in Atti di convegno	D. PIGOZZI; SALIBRA A. A representation theorem for lambda abstraction algebras , Proceedings MFCS'93, Spinger-Verlag, vol. 711, pp. 629-639, Convegno: MFCS'93 (ISSN 0302-9743) - Scheda ARCA: 10278/20603
1993	Articolo in Atti di convegno	SALIBRA A.; G. SCOLLO A soft stairway to institutions , Proceedings Recent Trends in Data Type Specifications, Germany: Springer Verlag Germany, vol. 655, pp. 310-329, Convegno: Recent Trends in Data Type Specifications (ISSN 0302-9743) - Scheda ARCA: 10278/20364
1992	Articolo su rivista	V. MANCA; SALIBRA A. Soundness and completeness of the Birkhoff equational calculus for many-sorted algebras with possibly empty carrier sets in THEORETICAL COMPUTER SCIENCE, vol. 94, pp. 101-124 (ISSN 0304-3975) DOI - Scheda ARCA: 10278/20860
1992	Articolo in Atti di convegno	V. MANCA; SALIBRA A.; G. SCOLLO On the expressiveness of equational type logic in C.M.I. Rattray, R.G. Clarke, The Unified Computation Laboratory: Modelling, Specifications and Tools, Oxford, Oxford University Press, pp. 85-100, Convegno: The Unified Computation Laboratory: Modelling, Specifications and Tools (ISBN 9780198536840) - Scheda ARCA: 10278/20365
1991	Abstract in Rivista	V. Manca; A. Salibra; G. Scollo Introducing equational type logic in THE JOURNAL OF SYMBOLIC LOGIC, Association for Symbolic Logic:Department of Math, University of Illinois, 1409 West Green Street:Urbana, IL 61801:(217)333-3350, EMAIL: asl@math.uiuc.edu, INTERNET: link esterno , vol. 56, pp. 1132-1132 (ISSN 0022-4812) - Scheda ARCA: 10278/4497
1991	Articolo in Atti di convegno	SALIBRA A. A general theory of algebras with quantifiers , Algebraic Logic, AMSTERDAM, North-Holland Publishing Co., pp. 573-620, Convegno: Algebraic Logic, 1988 - Scheda ARCA: 10278/20366
1991	Articolo in Atti di convegno	V. MANCA; SALIBRA A. On the power of equational calculus: applications and extensions. in H. Andreka, J. D. Monk, and I. Nemeti, Algebraic Logic, Coll. Math. Soc. J. Bolyai, North-Holland Publishing Co., vol. 54, pp. 393-412, Convegno: Algebraic Logic, 1988 - Scheda ARCA: 10278/20367
1990	Articolo su rivista	V. MANCA; SALIBRA A.; G. SCOLLO Equational type logic in THEORETICAL COMPUTER SCIENCE, vol. 77, pp. 131-159 (ISSN 0304-3975) DOI - Scheda ARCA: 10278/13808
1990	Articolo in Atti di convegno	V. Manca; A. Salibra Equational calculi for many-sorted algebras with empty carrier sets in B. Rovan, Proc. 15th International Symposium on Mathematical Foundation of Computer Science, Springer, vol. Lecture Notes in Computer Science 452, pp. 423-429, Convegno: MFCS'90 (ISSN 0302-9743) - Scheda ARCA: 10278/23045
1989	Articolo in Atti di convegno	V. Manca; A. Salibra; G. Scollo DELTA: a deduction system integrating equational logic and type assignment , Proceedings of the first international conference on algebraic methodology and software technology, pp. 137-140, Convegno: AMAST'89, 23-25 Maggio 1989 - Scheda ARCA: 10278/27363
1989	Articolo in Atti di convegno	Manca V.; Salibra A.; Scollo G. On the nature of TELLUS in A. Kreczmar, G. Mirkowska, Proc. 14th International Symposium on Mathematical Foundation of Computer Science, Springer, vol. Lecture Notes in Computer Science 379, pp. 338-349, Convegno: MFCS'89 (ISSN 0302-9743) - Scheda ARCA: 10278/4446
1986	Articolo in Atti di convegno	A. Salibra Universal Algebraic Semantics in R. Ferro, A. Zanardo, Atti degli incontri di logica matematica, pp. 421-426, Convegno: X Incontro di Logica Matematica - Scheda ARCA: 10278/27366
1984	Articolo su rivista	V. MANCA; SALIBRA A. First-order theories as many-sorted algebras in NOTRE DAME JOURNAL OF FORMAL LOGIC, vol. 25, pp. 86-94 (ISSN 0029-4527) DOI - Scheda ARCA: 10278/20322
1983	Monografia o trattato scientifico	S. Antonelli; V. Manca; A. Salibra Logica del Primo Ordine , Pisa, Editrice Tecnico scientifica - Scheda ARCA: 10278/41395
1982	Articolo in Atti di convegno	V. Manca; A. Salibra Algebra universale e logica in computer science , Atti degli incontri di logica matematica, Convegno: Incontri di Logica Matematica - Scheda ARCA: 10278/23098

Pubblicazioni scelte

Tipologia	Nome	Fornitore (Dominio)	Descrizione	Durata	Informativa
Necessario	_pk_id[*]	unive/WAI	*	30 giorni	Informativa
Necessario	_pk_ses[*]	unive/WAI	*	1 giorno	Informativa
Necessario	_pk_ref[*]	unive/WAI	*	6 mesi	Informativa
Necessario	_gsas	unive/google	Memorizza le preferenze dell'utente	3 mesi	Informativa
Necessario	_opensaml_req_cookie%	unive	Gestione autenticazione e SingleSignOn (shibboleth)	sessione	Informativa
Necessario	_shibsession[], _shibsstate[]	Unive.it (www.unive.it)	Mantiene i dati di sessione del SingleSignOn	Sessione	Informativa
Necessario	PHPSESSID	Unive.it (www.unive.it)	Identificatore univoco dell'utente per gli applicativi del sito	Sessione	Informativa
Necessario	cookie[*]	Unive.it (www.unive.it)	Memorizza le preferenze dell'utente sui cookie	1 mese	Informativa
Necessario	cookie	idp.unive.it	Memorizza le preferenze dell'utente sui cookie	1 mese	Informativa
Necessario	fe_typo_user	Unive.it (www.unive.it)	Identificatore univoco dell'utente per l'area riservata del sito	sessione	Informativa
Necessario	JSESSIONID	Unive.it (www.unive.it)	Utilizzato per creare le sessioni in area riservata	sessione	Informativa
Necessario	ADMCMD_prev	Unive.it (www.unive.it)	Utilizzato per la gestione degli accessi al cms typo3	sessione	Informativa
Necessario	unive.it	Unive.it (www.unive.it)	servono a registrare le preferenze sui cookies	6 mesi	Informativa
Necessario	noiframe	Unive.it (www.unive.it)	servono a registrare le preferenze sui cookies	6 mesi	Informativa
Google - Youtube	__Secure-1PAPISID	Google (google.com)	Utilizzato per finalità di targeting per costruire un profilo degli interessi dei visitatori del sito web al fine di mostrare pubblicità Google pertinente e personalizzata.	1 mese	Informativa
Google - Youtube	CONSENT	Google (google.com)	Utilizzato da google per memorizzare le preferenze dell'utente	17 anni	Informativa
Facebook - Pixel	Socialpix	Unive.it (www.unive.it)	Servono a registrare le preferenze sui cookiesc	6 mesi	Informativa Università Ca' Foscari
Facebook - Pixel	_fbp	Unive.it (www.unive.it)	Traccia gli utenti per il retargeting pubblicitario su Facebook	3 mesi	Informativa facebook