Travelled to:1 × Denmark
1 × Italy
1 × Portugal
1 × USA
Collaborated with:D.D.Schreye ∅ T.Schrijvers M.Bruynooghe
Talks about:termin (5) chr (5) analysi (3) prove (2) constraint (1) transform (1) research (1) properti (1) approach (1) sustain (1)
Person: Paolo Pilozzi
DBLP: Pilozzi:Paolo
Contributed to:
2011
200920092008Wrote 6 papers:
- LOPSTR-2011-PilozziS #analysis #self #termination #using
- Improved Termination Analysis of CHR Using Self-sustainability Analysis (PP, DDS), pp. 189–204.
- ICLP-2009-Pilozzi #research #summary #termination
- Research Summary: Termination of CHR (PP), pp. 534–535.
- ICLP-2009-PilozziS #proving #termination
- Proving Termination by Invariance Relations (PP, DDS), pp. 499–503.
- ICLP-2009-PilozziS09a #automation #proving #termination
- Automating Termination Proofs for CHR (PP, DDS), pp. 504–508.
- LOPSTR-2009-PilozziSB #approach #constraints #proving
- A Transformational Approach for Proving Properties of the CHR Constraint Store (PP, TS, MB), pp. 22–36.
- ICLP-2008-PilozziS #analysis #revisited #termination
- Termination Analysis of CHR Revisited (PP, DDS), pp. 501–515.