4.1 Articolo in Atti di convegno: [9628] Home page tipologia

Sfoglia
Prodotti della tipologia (ordinati per Data di deposito in Decrescente ordine): 7.741 a 7.760 di 9.628
Titolo Data di pubblicazione Autori Tipo File Abstract
Message Authentication through Non Interference 1-gen-2000 FOCARDI, Riccardo + 4.1 Articolo in Atti di convegno -
Sensitizing effects in Ag-Er co-doped glasses for optical amplification 1-gen-2004 ENRICHI FTRAVE, EnricoBATTAGLIN, GiancarloCATTARUZZA, EltiGONELLA, Francesco + 4.1 Articolo in Atti di convegno -
Preface. Special Issue on Abstract Interpretation for Object Oriented Languages. 1-gen-2005 CORTESI, Agostino + 4.1 Articolo in Atti di convegno -
Flow-Sensitive Leakage Analysis in Mobile Ambients 1-gen-2005 CORTESI, Agostino + 4.1 Articolo in Atti di convegno -
Abstract Interpretation for Object Oriented Languages: Quo Vadis? 1-gen-2005 CORTESI, Agostino + 4.1 Articolo in Atti di convegno -
Type Analysis of Prolog Using Type Graphs 1-gen-1994 CORTESI, Agostino + 4.1 Articolo in Atti di convegno -
Semantic Hierarchy Refactoring by Abstract Interpretation 1-gen-2006 CORTESI, Agostino + 4.1 Articolo in Atti di convegno -
ABSTRACT INTERPRETATION OF LOGIC PROGRAMS - AN ABSTRACT DOMAIN FOR GROUNDNESS, SHARING, FREENESS AND COMPOUNDNESS ANALYSIS 1-gen-1991 CORTESI, Agostino + 4.1 Articolo in Atti di convegno -
Comparison of Abstract Interpretations 1-gen-1992 CORTESI, Agostino + 4.1 Articolo in Atti di convegno -
Distinctness and Sharing Domains for Static Analysis of Java Programs 1-gen-2001 CORTESI, Agostino + 4.1 Articolo in Atti di convegno -
Reexecution-Based Analysis of Logic Programs with Delay Declarations. 1-gen-2001 CORTESI, AgostinoROSSI, Sabina + 4.1 Articolo in Atti di convegno -
Abstract Interpretation Based Verification of Non-Functional Requirements 1-gen-2005 CORTESI, Agostino + 4.1 Articolo in Atti di convegno -
Information Flow Security in Mobile Ambients 1-gen-2001 CORTESI, AgostinoFOCARDI, Riccardo 4.1 Articolo in Atti di convegno -
Information Leakage Detection in Boundary Ambients 1-gen-2003 CORTESI, AgostinoFOCARDI, Riccardo + 4.1 Articolo in Atti di convegno -
Querying and Browsing Multimedia Presentations 1-gen-2001 CELENTANO, Augusto + 4.1 Articolo in Atti di convegno -
Semantics and Termination of Simply-moded Logic Programs with Dynamic Scheduling 1-gen-2001 BOSSI, AnnalisaROSSI, Sabina + 4.1 Articolo in Atti di convegno -
Unwinding Conditions for Security in Imperative Languages 1-gen-2005 BOSSI, AnnalisaROSSI, Sabina + 4.1 Articolo in Atti di convegno -
Information Flow Security and Recursive Systems 1-gen-2003 BOSSI, AnnalisaROSSI, Sabina + 4.1 Articolo in Atti di convegno -
Transforming processes to check and ensure Information Flow Security 1-gen-2002 BOSSI, AnnalisaFOCARDI, RiccardoROSSI, Sabina + 4.1 Articolo in Atti di convegno -
Bisimulation and Unwinding for Verifying Possibilistic Security Properties 1-gen-2003 BOSSI, AnnalisaFOCARDI, RiccardoROSSI, Sabina + 4.1 Articolo in Atti di convegno -
Prodotti della tipologia (ordinati per Data di deposito in Decrescente ordine): 7.741 a 7.760 di 9.628
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

Scopri
Tipologia
  • 4 Contributo in Atti convegno9628
Autore
  • SFRISO, Adriano177
  • PERIN, Guido140
  • CORTESI, Agostino134
  • PAVAN, Paolo129
  • MATTEOLI, Ugo116
  • DELMONTE, Rodolfo111
  • ORLANDO, Salvatore111
  • PELILLO, Marcello110
  • TORSELLO, Andrea110
  • BONESSO, Sara100
Data di pubblicazione
  • In corso di stampa65
  • 2020 - 20261580
  • 2010 - 20193262
  • 2000 - 20093237
  • 1990 - 19991072
  • 1980 - 1989320
  • 1970 - 197971
  • 1964 - 196921
Editore
  • IEEE373
  • Springer190
  • IEEE Computer Society105
  • Institute of Electrical and Elect...105
  • Springer Verlag88
  • ACM85
  • Springer Science and Business Med...63
  • -54
  • Association for Computing Machinery47
  • CLEUP46
Rivista
  • LECTURE NOTES IN COMPUTER SCIENCE12
  • UMANISTICA DIGITALE10
  • E3S WEB OF CONFERENCES7
  • INTERNATIONAL CONFERENCE ON PATTE...7
  • ABSTRACTS OF PAPERS - AMERICAN CH...6
  • JOURNAL OF PHYSICS. CONFERENCE SE...5
  • SCIENZA E BENI CULTURALI5
  • CHEMICAL ENGINEERING TRANSACTIONS4
  • COLLECTIVE DYNAMICS4
  • BUILDING SIMULATION CONFERENCE PR...3
Serie
  • LECTURE NOTES IN COMPUTER SCIENCE244
  • CEUR WORKSHOP PROCEEDINGS54
  • LECTURE NOTES IN ARTIFICIAL INTEL...44
  • IEEE NUCLEAR SCIENCE SYMPOSIUM CO...42
  • PROCEEDINGS OF SPIE, THE INTERNAT...37
  • LEIBNIZ INTERNATIONAL PROCEEDINGS...22
  • MATERIALS RESEARCH SOCIETY SYMPOS...16
  • QUADERNI DI VENEZIA ARTI14
  • COMMUNICATIONS IN COMPUTER AND IN...13
  • IEEE VTS ... VEHICULAR TECHNOLOGY...13
Keyword
  • Venezia55
  • Computer Networks and Communications23
  • Computer Science (all)23
  • Abstract Interpretation21
  • Security21
  • Spain21
  • Static Analysis21
  • anaerobic digestion20
  • Giappone20
  • Theoretical Computer Science19
Lingua
  • eng3867
  • ita2175
  • fre181
  • spa71
  • rus51
  • ger40
  • jpn29
  • gre25
  • grc12
  • pol11
Accesso al fulltext
  • no fulltext5014
  • reserved2474
  • open2059
  • embargoed42
  • partially open39