Valerio Senni (Selection)

Ask others: ACM DL/Guide - - CSB - MetaPress - Google - Bing - Yahoo

5		Valerio Senni, Alberto Pettorossi, Maurizio Proietti: A Folding Algorithm for Eliminating Existential Variables from Constraint Logic Programs. ICLP 2008: 284-300
4		Alberto Pettorossi, Maurizio Proietti, Valerio Senni: Automatic Correctness Proofs for Logic Program Transformations. ICLP 2007: 364-379
3		Alberto Pettorossi, Maurizio Proietti, Valerio Senni: Proving Properties of Constraint Logic Programs by Eliminating Existential Variables. ICLP 2006: 179-195
2		Alberto Pettorossi, Maurizio Proietti, Valerio Senni: Transformational Verification of Parameterized Protocols Using Array Formulas. LOPSTR 2005: 23-43
1		Alberto Pettorossi, Maurizio Proietti, Valerio Senni: Proofs of Program Properties via Unfold/Fold Transformations of Constraint Logic Programs. Transformation Techniques in Software Engineering 2005

Selection of 5 from 5 records - Valerio Senni has 2 coauthors