| 2007 | LOPSTR | Action Refinement in Process Algebra and Security Issues. | Annalisa Bossi, Carla Piazza, Sabina Rossi |
| 2004 | LOPSTR | Unwinding Conditions for Security in Imperative Languages. | Annalisa Bossi, Carla Piazza, Sabina Rossi |
| 2003 | SEFM | Refinement Operators and Information Flow Security. | Annalisa Bossi, Riccardo Focardi, Carla Piazza, Sabina Rossi |
| 2003 | VMCAI | Bisimulation and Unwinding for Verifying Possibilistic Security Properties. | Annalisa Bossi, Riccardo Focardi, Carla Piazza, Sabina Rossi |
| 2002 | LOPSTR | A Proof System for Information Flow Security. | Annalisa Bossi, Riccardo Focardi, Carla Piazza, Sabina Rossi |
| 2001 | ESOP | Semantics and Termination of Simply-Moded Logic Programs with Dynamic Scheduling. | Annalisa Bossi, Sandro Etalle, Sabina Rossi, Jan-Georg Smaus |
| 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 |
| 1998 | LOPSTR | Specialising Logic Programs with Respect to Call?Post Specifications. | Annalisa Bossi, Sabina Rossi |
| 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 |
| 1994 | ICLP | A Bottom-up Semantics for Constructive Negation. | Annalisa Bossi, Massimo Fabris, Maria Chiara Meo |
| 1994 | LOPSTR | More on Unfold/Fold Transformations of Normal Programs: Preservation of Fitting's Semantics. | Annalisa Bossi, Sandro Etalle |
| 1993 | ICLP | A New Fixpoint Semantics for Prolog. | Annalisa Bossi, Michele Bugliesi, Massimo Fabris |
| 1993 | POPL | Differential Logic Programming. | Annalisa Bossi, Michele Bugliesi, Maurizio Gabbrielli, Giorgio Levi, Maria Chiara Meo |
| 1992 | ESOP | Typed Norms. | Annalisa Bossi, Nicoletta Cocco, Massimo Fabris |
| 1991 | ICLP | An OR-Compositional Semantics for Logic Programs. | Annalisa Bossi, Maurizio Gabbrielli, Giorgio Levi, Maria Chiara Meo |