IRIS

Sfoglia per Autore  

Opzioni
Mostrati risultati da 41 a 60 di 118
Titolo Data di pubblicazione Autore(i) File
A New Encoding and Implementation of Not Necessarily Closed Convex Polyhedra 1-gen-2002 Bagnara, Roberto; Hill, P. M.; Zaffanella, Enea
A New Encoding of Not Necessarily Closed Convex Polyhedra 1-gen-2002 Bagnara, Roberto; Hill, P. M.; Zaffanella, Enea
Decomposing Non-Redundant Sharing by Complementation 1-gen-2002 Zaffanella, Enea; Hill, P. M.; Bagnara, Roberto
Possibly Not Closed Convex Polyhedra and the Parma Polyhedra Library 1-gen-2002 Bagnara, Roberto; Ricci, E.; Zaffanella, Enea; Hill, P. M.
Soundness, Idempotence and Commutativity of Set-Sharing 1-gen-2002 Hill, P. M.; Bagnara, Roberto; Zaffanella, Enea
Set-Sharing Is Redundant for Pair-Sharing 1-gen-2002 Bagnara, Roberto; Hill, P. M.; Zaffanella, Enea
The Automatic Solution of Recurrence Relations. I. Linear Recurrences of Finite Order with Constant Coefficients 1-gen-2003 Bagnara, Roberto; Zaccagnini, Alessandro; Zolo, T.
cTI 1-gen-2003 Fred, Mesnard; Ulrich, Neumerkel; Serge, Colin; Bagnara, Roberto; Etienne, Payet; Alexander Forst, Rakoczy
Precise Widening Operators for Convex Polyhedra 1-gen-2003 Bagnara, Roberto; Hill, P. M.; Ricci, E.; Zaffanella, Enea
Precise Widening Operators for Convex Polyhedra 1-gen-2003 Bagnara, Roberto; Hill, P. M.; Ricci, E.; Zaffanella, Enea
Finite-Tree Analysis for Constraint Logic-Based Languages: The Complete Unabridged Version 1-gen-2004 Bagnara, Roberto; Gori, R.; Hill, P. M.; Zaffanella, Enea
Checking and Bounding the Solutions of Some Recurrence Relations 1-gen-2004 Bagnara, Roberto; Zaccagnini, Alessandro
A Correct, Precise and Efficient Integration of Set-Sharing, Freeness and Linearity for the Analysis of Finite and Rational Tree Languages 1-gen-2004 Hill, P. M.; Zaffanella, Enea; Bagnara, Roberto
A correct, precise and efficient integration of set-sharing, freeness and linearity for the analysis offinite and rational tree languages 1-gen-2004 Hill, Pm; Zaffanella, E; Bagnara, R
Widening Operators for Powerset Domains 1-gen-2004 Bagnara, Roberto; Hill, P. M.; Zaffanella, Enea
Finite-Tree Analysis for Constraint Logic-Based Languages 1-gen-2004 Bagnara, Roberto; Gori, R.; Hill, P. M.; Zaffanella, Enea
Widening Operators for Powerset Domains 1-gen-2004 Bagnara, Roberto; Hill, P. M.; Zaffanella, Enea
A Linear Domain for Analyzing the Distribution of Numerical Values 1-gen-2005 Bagnara, Roberto; Dobson, K.; Hill, P. M.; Mundell, M.; Zaffanella, Enea
CLAIR 1-gen-2005 Bagnara, Roberto; Alessandro, Riaudo
PURRS: Towards Computer Algebra Support for Fully Automatic Worst-Case Complexity Analysis 1-gen-2005 Bagnara, Roberto; Pescetti, Andrea; Zaccagnini, Alessandro; Zaffanella, Enea
Mostrati risultati da 41 a 60 di 118
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