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

Dettaglio

Nome completo

CORTESI, Agostino

Afferenza

Dipartimento di Scienze Ambientali, Informatica e Statistica

Pubblicazioni

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

	Titolo	Data di pubblicazione	Autori	Tipo	File	Abstract
1	A calculus of challenges and responses	2007	M. BACKES; CORTESI, Agostino ; FOCARDI, Riccardo ; MAFFEI, Matteo	4.1 Articolo in Atti di convegno	Riservato
2	A distortion free watermark framework for relational databases	2009	BHATTACHARYA, Sukriti ; CORTESI, Agostino	4.1 Articolo in Atti di convegno	Riservato
3	A Framework for Property-driven Program Slicing	2009	CORTESI, Agostino ; BHATTACHARYA S.	4.1 Articolo in Atti di convegno	Riservato
4	A Generic Distortion Free Watermarking Technique for Relational Databases	2009	BHATTACHARYA, Sukriti ; CORTESI, Agostino	4.1 Articolo in Atti di convegno	Riservato
5	A Hierarchical and Abstraction-Based Blockchain Model	2019	Sahoo, Swagatika; Fajge, Akshay M.; HALDER, RAJU ; CORTESI, Agostino	2.1 Articolo su rivista	Open Access
6	A Persistent Public Watermarking of Relational Databases	2010	HALDER, RAJU ; CORTESI, Agostino	4.1 Articolo in Atti di convegno	Riservato
7	A Survey on Product Operators in Abstract Interpretation	2013	CORTESI, Agostino ; COSTANTINI, GIULIA ; FERRARA, Pietro	2.1 Articolo su rivista	Open Access
8	The abstract domain of Trapezoid Step Functions	2015	CORTESI, Agostino ; Costantini, G.; FERRARA, Pietro	2.1 Articolo su rivista	Riservato
9	Abstract Domains for Reordering CLP(RLin) Programs	2000	V. RAMACHANDRAN; CORTESI, Agostino ; P. VAN HENTENRYCK	2.1 Articolo su rivista	Riservato	-
10	Abstract Interpretation Based Verification of Non-Functional Requirements	2005	CORTESI, Agostino ; LOGOZZO F.	4.1 Articolo in Atti di convegno	Riservato
11	Abstract Interpretation for Object Oriented Languages: Quo Vadis?	2005	CORTESI, Agostino ; LOGOZZO F.	4.1 Articolo in Atti di convegno	-
12	Abstract interpretation for sound approximation of database query languages	2010	HALDER, RAJU ; CORTESI, Agostino	4.1 Articolo in Atti di convegno	Riservato
13	Abstract Interpretation of Database Query Languages	2012	HALDER, RAJU ; CORTESI, Agostino	2.1 Articolo su rivista	Riservato
14	ABSTRACT INTERPRETATION OF LOGIC PROGRAMS - AN ABSTRACT DOMAIN FOR GROUNDNESS, SHARING, FREENESS AND COMPOUNDNESS ANALYSIS	1991	CORTESI, Agostino ; FILE' G.	4.1 Articolo in Atti di convegno	-	-
15	Abstract Interpretation of Recursive Queries	2013	CORTESI, Agostino ; HALDER, RAJU	4.1 Articolo in Atti di convegno	Riservato
16	Abstract Program Slicing of Database Query Languages	2013	HALDER, RAJU ; CORTESI, Agostino	4.1 Articolo in Atti di convegno	Riservato
17	Abstract program slicing on dependence condition graphs	2013	HALDER, RAJU ; CORTESI, Agostino	2.1 Articolo su rivista	Riservato
18	Abstracting strings for model checking of C programs	2020	Lauko H.; OLLIARO, MARTINA ; CORTESI, Agostino ; Rocckai P.	2.1 Articolo su rivista	Open Access
19	ACM-IFIP IEEIII - Informatics Education Europe	2008	CORTESI, Agostino ; LUCCIO, Flaminia	5.1 Curatela	-	-
20	Ada web portal: promoting women access to informatics	2007	BOSCHETTO E; CORTESI, Agostino	4.1 Articolo in Atti di convegno	-	-