SENNI, VALERIO

SENNI, VALERIO  

Informatica, Sistemi e Produzione (attivo dal 1990 al 2012)  

Mostra records
Risultati 1 - 16 di 16 (tempo di esecuzione: 0.032 secondi).
Data di pubblicazione Titolo Autore(i) Tipo File
1-gen-2008 A folding algorithm for eliminating existential variables from constraint logic programs Senni, V; Pettorossi, A; Proietti, M Intervento a convegno
1-gen-2009 A folding rule for eliminating existential variables from constraint logic programs Pettorossi, A; Senni, V; Proietti, M Articolo su rivista
1-gen-2010 A transformation strategy for verifying logic programs on infinite lists Pettorossi, A; Proietti, M; Senni, V Intervento a convegno
1-gen-2007 Automatic correctness proofs for logic program transformations Pettorossi, A; Proietti, M; Senni, V Intervento a convegno
1-gen-2010 Deciding full branching time logic by program transformation Pettorossi, A; Proietti, M; Senni, V Intervento a convegno
1-gen-2010 Generalization strategies for the verification of infinite state systems Fioravanti, F; Pettorossi, A; Proietti, M; Senni, V Intervento a convegno
1-gen-2011 Improving reachability analysis of infinite state systems by specialization Fioravanti, F; Pettorossi, A; Proietti, M; Senni, V Intervento a convegno
1-gen-2011 Introduzione a: Scienze informatiche e biologiche Cicchese, G; Pettorossi, A; Crespi, R; Senni, V Contributo in libro
1-gen-2010 Program specialization for verifying infinite state systems: an experimental evaluation Fioravanti, F; Pettorossi, A; Proietti, M; Senni, V Intervento a convegno
1-gen-2006 Proving properties of constraint logic programs by eliminating existential variables Pettorossi, A; Proietti, M; Senni, V Intervento a convegno
1-gen-2006 Proving properties of constraint logic programs by eliminating existential variables Pettorossi, A; Proietti, M; Senni, V Contributo in libro
1-gen-2011 Scienze informatiche e biologiche: epistemologia e ontologia Cicchese, G; Pettorossi, A; Crespi Reghizzi, S; Senni, V Curatele
1-gen-2010 The transformational approach to program development Pettorossi, A; Proietti, M; Senni, V Contributo in libro
13-giu-2008 Transformation techniques for constraint logic programs with applications to protocol verification Senni, Valerio Tesi di dottorato
1-gen-2006 Transformational verification of parameterized protocols using array formulas Pettorossi, A; Proietti, M; Senni, V Intervento a convegno
1-gen-2010 Transformations of Logic Programs on Infinite Lists Senni, V; Pettorossi, A; Proietti, M Articolo su rivista