Nicoletta Cocco
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
3
Active years
1992–2001
Best venue rank
C
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2001 | PPDP | Termination of Well-Typed Logic Programs. | Annalisa Bossi, Nicoletta Cocco, Sabina Rossi |
| 1999 | LOPSTR | Transformation of Left Terminating Programs. | Annalisa Bossi, Nicoletta Cocco, Sandro Etalle |
| 1998 | LOPSTR | Success in Logic Programs. | Annalisa Bossi, Nicoletta Cocco |
| 1997 | LOPSTR | Programs Without Failures. | Annalisa Bossi, Nicoletta Cocco |
| 1996 | LOPSTR | Replacement Can Preserve Termination. | Annalisa Bossi, Nicoletta Cocco |
| 1995 | LOPSTR | Transformation of Left Terminating Programs: the Reordering Problem. | Annalisa Bossi, Nicoletta Cocco, Sandro Etalle |
| 1992 | ESOP | Typed Norms. | Annalisa Bossi, Nicoletta Cocco, Massimo Fabris |