CINECA IRIS Institutional Research Information System

IRIS è la soluzione IT che facilita la raccolta e la gestione dei dati relativi alle attività e ai prodotti della ricerca. Fornisce a ricercatori, amministratori e valutatori gli strumenti per monitorare i risultati della ricerca, aumentarne la visibilità e allocare in modo efficace le risorse disponibili.

ZAFFANELLA, Enea

Rete di Collaborazioni Statistiche Email Alert RSS Feed

Info

Pubblicazioni (Tutti)

Risultati 1 - 20 di 77 (tempo di esecuzione: 0.0 secondi).

	Titolo	Data di pubblicazione	Autore(i)
1	Widening Sharing	1999	ZAFFANELLA E.; BAGNARA R.; HILL P. M.
2	Widening Operators for Weakly-Relational Numeric Abstractions	2005	BAGNARA R.; HILL P. M.; MAZZI E.; ZAFFANELLA E.
3	Widening Operators for Weakly-Relational Numeric Abstractions	2005	BAGNARA R.; HILL P. M.; MAZZI E.; ZAFFANELLA E.
4	Widening Operators for Powerset Domains	2004	BAGNARA R.; HILL P. M.; ZAFFANELLA E.
5	Widening Operators for Powerset Domains	2004	BAGNARA R.; HILL P. M.; ZAFFANELLA E.
6	Widening Operators for Powerset Domains	2006	BAGNARA R.; HILL P. M.; ZAFFANELLA E.
7	Weakly-Relational Shapes for Numeric Abstractions: Improved Algorithms and Proofs of Correctness	2009	BAGNARA R.; HILL P. M.; ZAFFANELLA E.
8	Verification of C Programs Via Natural Semantics and Abstract Interpretation	2007	BAGNARA R.; HILL P. M.; PESCETTI A.; ZAFFANELLA E.
9	The Parma Polyhedra Library: Toward a Complete Set of Numerical Abstractions for the Analysis and Verification of Hardware and Software Systems	2006	BAGNARA R.; HILL P. M.; ZAFFANELLA E.
10	The Parma Polyhedra Library: Toward a Complete Set of Numerical Abstractions for the Analysis and Verification of Hardware and Software Systems	2008	BAGNARA R.; HILL P. M.; ZAFFANELLA E.
11	The Correctness of Set-Sharing	1998	HILL P. M.; BAGNARA R.; ZAFFANELLA E.
12	The Correctness of Set-Sharing	1998	HILL P. M.; BAGNARA R; ZAFFANELLA E.
13	The Automatic Synthesis of Linear Ranking Functions: The Complete Unabridged Version	2010	BAGNARA R.; MESNARD F.; PESCETTI A.; ZAFFANELLA E.
14	The AND-Compositionality of CLP Computed Answer Constraints	1996	BAGNARA R.; COMINI M.; SCOZZARI F.; ZAFFANELLA E.
15	Soundness, Idempotence and Commutativity of Set-Sharing	2002	HILL P. M.; BAGNARA R.; ZAFFANELLA E.
16	Sharing Revisited	1997	BAGNARA R.; HILL P. M.; ZAFFANELLA E.
17	Set-Sharing is Redundant for Pair-Sharing	1997	BAGNARA R.; HILL P. M.; ZAFFANELLA E.
18	Set-Sharing Is Redundant for Pair-Sharing	2002	BAGNARA R.; HILL P. M.; ZAFFANELLA E.
19	Revisiting Polyhedral Analysis for Hybrid Systems	2019	Becchi, Anna; Zaffanella, Enea
20	PURRS: Towards Computer Algebra Support for Fully Automatic Worst-Case Complexity Analysis	2005	BAGNARA R.; PESCETTI A.; ZACCAGNINI A.; ZAFFANELLA E.

Dettaglio

Nome completo:

ZAFFANELLA, Enea

struttura:

Dipartimento di Scienze Matematiche, Fisiche e Informatiche

settore SSD:

Settore INF/01 - Informatica