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

Sfoglia
Prodotti della tipologia (ordinati per Data di deposito in Decrescente ordine): 7.761 a 7.780 di 9.628
Titolo Data di pubblicazione Autori Tipo File Abstract
A Proof System for Information Flow Security 1-gen-2003 BOSSI, AnnalisaFOCARDI, RiccardoROSSI, Sabina + 4.1 Articolo in Atti di convegno -
Product Form Queueing Networks 1-gen-2000 BALSAMO, Maria Simonetta 4.1 Articolo in Atti di convegno -
Boxed Ambients 1-gen-2001 BUGLIESI, Michele + 4.1 Articolo in Atti di convegno -
Reasoning about Security in Mobile Ambients 1-gen-2001 BUGLIESI, Michele + 4.1 Articolo in Atti di convegno -
A Calculus of Bounded Capacities 1-gen-2003 BUGLIESI, Michele + 4.1 Articolo in Atti di convegno -
Type Based Discretionary Access Control 1-gen-2004 BUGLIESI, Michele + 4.1 Articolo in Atti di convegno -
Compositional Analysis of Authentication Protocols 1-gen-2004 BUGLIESI, MicheleFOCARDI, Riccardo + 4.1 Articolo in Atti di convegno -
Secrecy in Untrusted Networks 1-gen-2003 BUGLIESI, Michele + 4.1 Articolo in Atti di convegno -
Communication Interference in Mobile Boxed Ambient 1-gen-2002 BUGLIESI, Michele + 4.1 Articolo in Atti di convegno -
Subtyping and Matching for Mobile Objects 1-gen-2001 BUGLIESI, Michele + 4.1 Articolo in Atti di convegno -
Principles for Entity Authentication 1-gen-2003 BUGLIESI, MicheleFOCARDI, Riccardo + 4.1 Articolo in Atti di convegno -
Typed Mobile Objects 1-gen-2000 BUGLIESI, Michele + 4.1 Articolo in Atti di convegno -
La geografia accademica cafoscarina tra le due guerre 1-gen-2001 ZANETTO, Gabriele 4.1 Articolo in Atti di convegno -
La scia pulviscolare di una metafora illuminista 1-gen-2001 ZECCHI, Lina 4.1 Articolo in Atti di convegno -
L'atteggiamento del clero a Venezia durante la Municipalità democratica 1-gen-1990 VIAN, Giovanni 4.1 Articolo in Atti di convegno -
La Chiesa 1-gen-1999 VIAN, Giovanni 4.1 Articolo in Atti di convegno -
AGGETTIVI-QUANTIFICATORI NELL'ARBERESH DI S. NICOLA DELL'ALTO (KR) 1-gen-2003 TURANO, Giuseppina 4.1 Articolo in Atti di convegno -
ELEMENTI WH E INDEFINITI IN ALBANESE 1-gen-1994 TURANO, Giuseppina 4.1 Articolo in Atti di convegno -
The castle of Shayzar: the results of recent archaeological investigations 1-gen-2004 TONGHINI, Cristina + 4.1 Articolo in Atti di convegno -
Introduction 1-gen-2004 SANGA, Glauco 4.1 Articolo in Atti di convegno -
Prodotti della tipologia (ordinati per Data di deposito in Decrescente ordine): 7.761 a 7.780 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