Sfoglia per Autore  

Opzioni
Mostrati risultati da 1 a 16 di 16
Data di pubblicazione Titolo Autore(i) Tipo File
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-2006 Transformational verification of parameterized protocols using array formulas 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-2008 A folding algorithm for eliminating existential variables from constraint logic programs Senni, V; Pettorossi, A; Proietti, M Intervento a convegno
13-giu-2008 Transformation techniques for constraint logic programs with applications to protocol verification Senni, Valerio Tesi di dottorato
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 Program specialization for verifying infinite state systems: an experimental evaluation Fioravanti, F; Pettorossi, A; Proietti, M; Senni, V Intervento a convegno
1-gen-2010 The transformational approach to program development Pettorossi, A; Proietti, M; Senni, V Contributo in libro
1-gen-2010 A transformation strategy for verifying logic programs on infinite lists 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-2010 Transformations of Logic Programs on Infinite Lists Senni, V; Pettorossi, A; Proietti, M Articolo su rivista
1-gen-2010 Deciding full branching time logic by program transformation Pettorossi, A; Proietti, M; Senni, V Intervento a convegno
1-gen-2011 Scienze informatiche e biologiche: epistemologia e ontologia Cicchese, G; Pettorossi, A; Crespi Reghizzi, S; Senni, V Curatele
1-gen-2011 Introduzione a: Scienze informatiche e biologiche Cicchese, G; Pettorossi, A; Crespi, R; Senni, V Contributo in libro
1-gen-2011 Improving reachability analysis of infinite state systems by specialization Fioravanti, F; Pettorossi, A; Proietti, M; Senni, V Intervento a convegno
Mostrati risultati da 1 a 16 di 16
Legenda icone

  •  file ad accesso aperto
  •  file disponibili sulla rete interna
  •  file disponibili agli utenti autorizzati
  •  file disponibili solo agli amministratori
  •  file sotto embargo
  •  nessun file disponibile