ARCA è l'archivio istituzionale ad accesso aperto della ricerca dell'Università Ca' Foscari Venezia e nasce nel 2014 con lo scopo di raccogliere, diffondere e conservare la produzione scientifica dell'Università. Costituisce di fatto il catalogo della ricerca di Ateneo.
ARCA è un sistema Open Access: è non solo consultabile da tutti e visibile nei motori di ricerca, ma anche interoperabile con il portale cerCa. In questo modo vengono valorizzate la produzione scientifica dell'Ateneo e la visibilità dei ricercatori.

CORTESI, Agostino

Rete di Collaborazioni Statistiche Email Alert RSS Feed

Info

Pubblicazioni (Tutti)

Risultati 1 - 20 di 170 (tempo di esecuzione: 0.001 secondi).

	Titolo	Data di pubblicazione	Autori	Tipo	File	Abstract
1	Zero-knowledge SoftwareWatermarking for C Programs	2010	BHATTACHARYA, Sukriti ; CORTESI, Agostino	4.1 Articolo in Atti di convegno	Riservato
2	Women and Informatics: The Ada Web Portal	2009	BOSCHETTO E; CORTESI, Agostino	2.1 Articolo su rivista	Open Access
3	WiFi-related energy consumption analysis of mobile devices in a walkable area by abstract interpretation	2017	Eugenio, Enrico; CORTESI, Agostino	4.1 Articolo in Atti di convegno	Riservato
4	Widening Operators for Abstract Interpretation	2008	CORTESI, Agostino	4.1 Articolo in Atti di convegno	Riservato
5	Widening and Narrowing Operators for Abstract Interpretation	2011	CORTESI, Agostino ; ZANIOLI, Matteo	2.1 Articolo su rivista	Riservato
6	Weak Identities for Deliberative e-Democracy	2009	CANDIELLO A; ALBARELLI, Andrea ; CORTESI, Agostino	4.1 Articolo in Atti di convegno	Riservato	-
7	Watermarking Techniques for Relational Databases: Survey, Classification and Comparison	2010	HALDER, RAJU ; PAL S.; CORTESI, Agostino	2.1 Articolo su rivista	Riservato
8	Vulnerability analysis of android auto infotainment apps	2018	MANDAL, AMIT KR ; CORTESI, Agostino ; FERRARA, Pietro ; Panarotto, Federica; Spoto, Fausto	4.1 Articolo in Atti di convegno	Open Access
9	Verification, Model Checking, and AbstractInterpretation, 4th International Conference, VMCAI 2003	2003	LENORE D. ZUCK; PAUL C. ATTIE; SUPRATIK, MUKHOPADHYAY; CORTESI, Agostino	5.1 Curatela	Open Access	-
10	Verification, Model Checking, and Abstract Interpretation	2002	CORTESI, Agostino	5.1 Curatela	Open Access	-
11	Verification of Non-functional Requirements by Abstract Interpretation	2012	CORTESI, Agostino ; LOGOZZO F.	3.1 Articolo su libro	Riservato
12	Verification of hibernate query language by abstract interpretation	2015	Jana, Angshuman; Halder, Raju; CORTESI, Agostino	4.1 Articolo in Atti di convegno	Riservato
13	Validazione di Piani di Disaster Recovery mediante Simulatore	2009	CORTESI, Agostino ; D'ORSI R; MARCATO F; PERIS M; SFOGGIA A.	4.1 Articolo in Atti di convegno	Open Access
14	A uniform representation of multi-variant data in intensive-query databases	2016	Chakraborty, Supriya; CORTESI, Agostino ; Chaki, Nabedu	2.1 Articolo su rivista	Riservato
15	Typing Legacy COBOL Code	2013	SPANO', ALVISE ; BUGLIESI, Michele ; CORTESI, Agostino	3.1 Articolo su libro	Riservato
16	Type-Flow Analysis for Legacy Cobol Code	2011	SPANO', ALVISE ; BUGLIESI, Michele ; CORTESI, Agostino	4.1 Articolo in Atti di convegno	Riservato
17	Type Analysis of Prolog Using Type Graphs	1994	PASCAL VAN HENTENRYCK; CORTESI, Agostino ; BAUDOUIN LE CHARLIER	4.1 Articolo in Atti di convegno	-
18	Type Analysis of Prolog Using Type Graphs	1995	VAN HENTENRYCK P.; CORTESI, Agostino ; LE CHARLIER B.	2.1 Articolo su rivista	Riservato	-
19	Tukra: An Abstract Program Slicing Tool	2012	HALDER, RAJU ; CORTESI, Agostino	4.1 Articolo in Atti di convegno	Riservato
20	Towards an European Certification of Computer Science Curricula	2007	CORTESI, Agostino ; NARDELLI E.	2.1 Articolo su rivista	Open Access

Dettaglio

Nome completo:

CORTESI, Agostino