Paolo Pilozzi
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
2
Active years
2008–2011
Best venue rank
B
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2011 | LOPSTR | Improved Termination Analysis of CHR Using Self-sustainability Analysis. | Paolo Pilozzi, Danny De Schreye |
| 2009 | ICLP | Research Summary: Termination of CHR. | Paolo Pilozzi |
| 2009 | ICLP | Proving Termination by Invariance Relations. | Paolo Pilozzi, Danny De Schreye |
| 2009 | ICLP | Automating Termination Proofs for CHR. | Paolo Pilozzi, Danny De Schreye |
| 2009 | LOPSTR | A Transformational Approach for Proving Properties of the CHR Constraint Store. | Paolo Pilozzi, Tom Schrijvers, Maurice Bruynooghe |
| 2008 | ICLP | Termination Analysis of CHR Revisited. | Paolo Pilozzi, Danny De Schreye |