IRIS
RicercaInizia una nuova ricerca

NOTA: è possibile cercare una corrispondenza esatta usando i doppi apici, ad es: "evoluzione della specie". Qualora si cerchi un identificativo, è consigliabile cercarlo in due modi differenti: tra apici con caratteri speciali es: "978-94-6366-274" oppure senza caratteri speciali solo come sequenza numerica: es 978946366274.

cerca in
Risultati 1 - 10 di 22 (tempo di esecuzione: 0.01 secondi).
Titolo Data di pubblicazione Autore(i) File
A Correct, Precise and Efficient Integration of Set-Sharing, Freeness and Linearity for the Analysis of Finite and Rational Tree Languages 1-gen-2001 Hill, P. M.; Zaffanella, Enea; Bagnara, Roberto
A Linear Domain for Analyzing the Distribution of Numerical Values 1-gen-2005 Bagnara, Roberto; Dobson, K.; Hill, P. M.; Mundell, M.; Zaffanella, Enea
A New Encoding and Implementation of Not Necessarily Closed Convex Polyhedra 1-gen-2002 Bagnara, Roberto; Hill, P. M.; Zaffanella, Enea
A Prolog-Based Environment for Reasoning About Programming Languages 1-gen-2007 Bagnara, Roberto; Hill, P. M.; Zaffanella, Enea
An Improved Tight Closure Algorithm for Integer Octagonal Constraints 1-gen-2007 Bagnara, Roberto; Hill, P. M.; Zaffanella, Enea
Applications of Polyhedral Computations to the Analysis and Verification of Hardware and Software Systems 1-gen-2007 Bagnara, Roberto; Hill, P. M.; Zaffanella, Enea
Boolean Functions for Finite-Tree Dependencies 1-gen-2001 Bagnara, Roberto; Zaffanella, Enea; Gori, R.; Hill, P. M.
Efficient Structural Information Analysis for Real CLP Languages 1-gen-2000 Bagnara, Roberto; Hill, P. M.; Zaffanella, Enea
Exact Join Detection for Convex Polyhedra and Other Numerical Abstractions 1-gen-2009 Bagnara, Roberto; Hill, P. M.; Zaffanella, Enea
Finite-Tree Analysis for Constraint Logic-Based Languages 1-gen-2001 Bagnara, Roberto; Gori, R.; Hill, P. M.; Zaffanella, Enea
Risultati 1 - 10 di 22 (tempo di esecuzione: 0.01 secondi).
↑ Back to top
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

Aggiungere filtri:  
Aggiungi
Opzioni
Scopri
Tipologia
  • 7 Altro 22
  • 7 Altro::7.12 Altro 22
Autore
  • BAGNARA, Roberto 21
  • PESCETTI, ANDREA 3
  • ZACCAGNINI, Alessandro 1
Data di pubblicazione
  • 2000 - 2010 21
  • 1993 - 1999 1
Lingua
  • eng 20
  • ita 1
Accesso al fulltext
  • no fulltext 22