BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × United Kingdom
2 × Spain
2 × USA
3 × France
3 × Italy
Collaborated with:
R.Bagnara P.M.Hill E.Ricci A.Becchi E.Rodríguez-Carbonell R.Giacobazzi G.Levi E.Mazzi R.Gori K.Dobson M.Mundell
Talks about:
share (6) polyhedra (5) widen (4) constraint (3) convex (3) oper (3) abstract (2) analysi (2) redund (2) domain (2)

Person: Enea Zaffanella

DBLP DBLP: Zaffanella:Enea

Contributed to:

VMCAI 20082008
LOPSTR 20062006
SAS 20052005
VMCAI 20042004
SAS 20032003
SAS 20022002
SAS 20012001
PPDP 20002000
PPDP 19991999
SAS 19991999
SAS 19981998
SAS 19971997
PLILP 19941994
CAV (1) 20182018

Wrote 15 papers:

VMCAI-2008-BagnaraHZ #algorithm #constraints #integer
An Improved Tight Closure Algorithm for Integer Octagonal Constraints (RB, PMH, EZ), pp. 8–21.
LOPSTR-2006-BagnaraDHMZ #named
Grids: A Domain for Analyzing the Distribution of Numerical Values (RB, KD, PMH, MM, EZ), pp. 219–235.
SAS-2005-BagnaraHMZ #abstraction
Widening Operators for Weakly-Relational Numeric Abstractions (RB, PMH, EM, EZ), pp. 3–18.
SAS-2005-BagnaraRZ #algebra #generative #invariant #using
Generation of Basic Semi-algebraic Invariants Using Convex Polyhedra (RB, ERC, EZ), pp. 19–34.
VMCAI-2004-BagnaraHZ #set
Widening Operators for Powerset Domains (RB, PMH, EZ), pp. 135–148.
SAS-2003-BagnaraHRZ #precise
Precise Widening Operators for Convex Polyhedra (RB, PMH, ER, EZ), pp. 337–354.
SAS-2002-BagnaraRZH #library
Possibly Not Closed Convex Polyhedra and the Parma Polyhedra Library (RB, ER, EZ, PMH), pp. 213–229.
SAS-2001-BagnaraGHZ #analysis #constraints
Finite-Tree Analysis for Constraint Logic-Based Languages (RB, RG, PMH, EZ), pp. 165–184.
PPDP-2000-BagnaraZH #analysis #evaluation
Enhanced sharing analysis techniques: a comprehensive evaluation (RB, EZ, PMH), pp. 103–114.
Widening Sharing (EZ, RB, PMH), pp. 414–432.
Decomposing Non-redundant Sharing by Complementation (EZ, PMH, RB), pp. 69–84.
SAS-1998-HillBZ #correctness
The Correctness of Set-Sharing (PMH, RB, EZ), pp. 99–114.
Set-Sharing is Redundant for Pair-Sharing (RB, PMH, EZ), pp. 53–67.
PLILP-1994-ZffanellaGL #concurrent #constraints #programming
Abstracting Synchronization in Concurrent Constraint Programming (EZ, RG, GL), pp. 57–72.
CAV-2018-BecchiZ #encoding
A Direct Encoding for NNC Polyhedra (AB, EZ), pp. 230–248.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.