Valerio Senni

	2011
15		Christophe Ringeissen, Valerio Senni: Modular Termination and Combinability for Superposition Modulo Counter Arithmetic. FroCos 2011: 211-226
14		Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti, Valerio Senni: Improving Reachability Analysis of Infinite State Systems by Specialization. RP 2011: 165-179
13		Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti, Valerio Senni: Generalization Strategies for the Verification of Infinite State Systems CoRR abs/1110.0999: (2011)
12		Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti, Valerio Senni: Program transformation for development, verification, and synthesis of programs. Intelligenza Artificiale 5(1): 119-125 (2011)
	2010
11		Alberto Pettorossi, Maurizio Proietti, Valerio Senni: The Transformational Approach to Program Development. 25 Years GULP 2010: 112-135
10		Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti, Valerio Senni: Program Specialization for Verifying Infinite State Systems: An Experimental Evaluation. LOPSTR 2010: 164-183
9		Alberto Pettorossi, Maurizio Proietti, Valerio Senni: Transformations of Logic Programs on Infinite Lists CoRR abs/1007.4157: (2010)
8		Alberto Pettorossi, Valerio Senni, Maurizio Proietti: Transformations of logic programs on infinite lists. TPLP 10(4-6): 383-399 (2010)
	2009
7		Alberto Pettorossi, Maurizio Proietti, Valerio Senni: Deciding Full Branching Time Logic by Program Transformation. LOPSTR 2009: 5-21
6		Valerio Senni, Alberto Pettorossi, Maurizio Proietti: A Folding Rule for Eliminating Existential Variables from Constraint Logic Programs. Fundam. Inform. 96(3): 373-393 (2009)
	2008
5		Valerio Senni, Alberto Pettorossi, Maurizio Proietti: A Folding Algorithm for Eliminating Existential Variables from Constraint Logic Programs. ICLP 2008: 284-300
	2007
4		Alberto Pettorossi, Maurizio Proietti, Valerio Senni: Automatic Correctness Proofs for Logic Program Transformations. ICLP 2007: 364-379
	2006
3		Alberto Pettorossi, Maurizio Proietti, Valerio Senni: Proving Properties of Constraint Logic Programs by Eliminating Existential Variables. ICLP 2006: 179-195
	2005
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

Coauthor Index

1	Fabio Fioravanti	[10] [12] [13] [14]
2	Alberto Pettorossi	[1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12] [13] [14]
3	Maurizio Proietti	[1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12] [13] [14]
4	Christophe Ringeissen	[15]

Colors in the list of coauthors

Last update Fri May 25 01:42:58 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page