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

Sfoglia
Prodotti della tipologia (ordinati per Data di deposito in Decrescente ordine): 7.721 a 7.740 di 9.628
Titolo Data di pubblicazione Autori Tipo File Abstract
Specification-based Automatic Verification of Prolog Programs 1-gen-1996 ROSSI, SabinaCORTESI, Agostino + 4.1 Articolo in Atti di convegno -
Automated Verification of Behavioural Properties of Prolog Programs 1-gen-1997 ROSSI, SabinaCORTESI, Agostino + 4.1 Articolo in Atti di convegno -
Semantics of input-consuming programs 1-gen-2000 BOSSI, AnnalisaROSSI, Sabina + 4.1 Articolo in Atti di convegno -
Context-Sensitive Equivalences for Non-Interference based Protocol Analysis 1-gen-2003 BUGLIESI, MicheleROSSI, Sabina + 4.1 Articolo in Atti di convegno -
Toxicity assessment of atmospheric fall-out at Venice. 1-gen-2002 MOLINAROLI, EmanuelaRAMPAZZO, Giancarlo + 4.1 Articolo in Atti di convegno -
Enhancing the Apriori Algorithm for Frequent Set Counting 1-gen-2001 ORLANDO, Salvatore + 4.1 Articolo in Atti di convegno -
Spatio-Temporal Annotated Constraint Logic Programming 1-gen-2001 RAFFAETA', Alessandra + 4.1 Articolo in Atti di convegno -
Qualitative Spatial Reasoning in a Logical Framework 1-gen-2003 RAFFAETA', Alessandra + 4.1 Articolo in Atti di convegno -
MuTACLP: A language for declarative GIS analysis 1-gen-2000 RAFFAETA', Alessandra + 4.1 Articolo in Atti di convegno -
Deductive and inductive reasoning on spatio-temporal data 1-gen-2005 RAFFAETA', Alessandra + 4.1 Articolo in Atti di convegno -
Context-based Management of Multimedia Documents in 3D Navigational Environments 1-gen-2005 PITTARELLO, Fabio 4.1 Articolo in Atti di convegno -
Continuous-time relaxation labeling processes 1-gen-1999 TORSELLO, AndreaPELILLO, Marcello 4.1 Articolo in Atti di convegno -
More data on source signature and seasonal fluxes to the Central Mediterranean Sea of aerosol dust originated in desert areas 1-gen-1995 MOLINAROLI, Emanuela + 4.1 Articolo in Atti di convegno -
The ro-spi Calculus at Work: Authentication Case Studies 1-gen-2004 FOCARDI, Riccardo + 4.1 Articolo in Atti di convegno -
Behind BANANA: Design and Implementation of a Tool for Nesting Analysis of Mobile Ambients 1-gen-2004 CORTESI, AgostinoFOCARDI, RiccardoLUCCIO, Flaminia + 4.1 Articolo in Atti di convegno -
Proofs Methods for Bisimulation based Information Flow Security 1-gen-2002 FOCARDI, RiccardoROSSI, Sabina + 4.1 Articolo in Atti di convegno -
CVS at Work: A Report on New Failures upon some Cryptographic Protocol 1-gen-2001 FOCARDI, Riccardo + 4.1 Articolo in Atti di convegno -
Authentication Primitives for Protocol Specifications 1-gen-2003 FOCARDI, Riccardo + 4.1 Articolo in Atti di convegno -
Non Interference for the Analysis of Cryptographic Protocols 1-gen-2000 FOCARDI, Riccardo + 4.1 Articolo in Atti di convegno -
Bridging Language-Based and Process Calculi Security 1-gen-2005 FOCARDI, RiccardoROSSI, Sabina + 4.1 Articolo in Atti di convegno -
Prodotti della tipologia (ordinati per Data di deposito in Decrescente ordine): 7.721 a 7.740 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