SENNI, VALERIO
SENNI, VALERIO
Informatica, Sistemi e Produzione (attivo dal 1990 al 2012)
A folding algorithm for eliminating existential variables from constraint logic programs
2008-01-01 Senni, V; Pettorossi, A; Proietti, M
A folding rule for eliminating existential variables from constraint logic programs
2009-01-01 Pettorossi, A; Senni, V; Proietti, M
A transformation strategy for verifying logic programs on infinite lists
2010-01-01 Pettorossi, A; Proietti, M; Senni, V
Automatic correctness proofs for logic program transformations
2007-01-01 Pettorossi, A; Proietti, M; Senni, V
Deciding full branching time logic by program transformation
2010-01-01 Pettorossi, A; Proietti, M; Senni, V
Generalization strategies for the verification of infinite state systems
2010-01-01 Fioravanti, F; Pettorossi, A; Proietti, M; Senni, V
Improving reachability analysis of infinite state systems by specialization
2011-01-01 Fioravanti, F; Pettorossi, A; Proietti, M; Senni, V
Introduzione a: Scienze informatiche e biologiche
2011-01-01 Cicchese, G; Pettorossi, A; Crespi, R; Senni, V
Program specialization for verifying infinite state systems: an experimental evaluation
2010-01-01 Fioravanti, F; Pettorossi, A; Proietti, M; Senni, V
Proving properties of constraint logic programs by eliminating existential variables
2006-01-01 Pettorossi, A; Proietti, M; Senni, V
Proving properties of constraint logic programs by eliminating existential variables
2006-01-01 Pettorossi, A; Proietti, M; Senni, V
Scienze informatiche e biologiche: epistemologia e ontologia
2011-01-01 Cicchese, G; Pettorossi, A; Crespi Reghizzi, S; Senni, V
The transformational approach to program development
2010-01-01 Pettorossi, A; Proietti, M; Senni, V
Transformation techniques for constraint logic programs with applications to protocol verification
2008-06-13 Senni, V
Transformational verification of parameterized protocols using array formulas
2006-01-01 Pettorossi, A; Proietti, M; Senni, V
Transformations of Logic Programs on Infinite Lists
2010-01-01 Senni, V; Pettorossi, A; Proietti, M
| 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, V | 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 |