IRIS Institutional Research Information System

4.1 Contributo in Atti di convegno: [7926] Home page tipologia

Sfoglia
Prodotti della tipologia (ordinati per Data di deposito in Decrescente ordine): 3.301 a 3.320 di 7.926
Titolo Data di pubblicazione Autore(i) File
A Declarative Framework for Specifying and Enforcing Purpose-Aware Policies 1-gen-2015 De Masellis, Riccardo; Ghidini, Chiara; Ranise, Silvio
Automated Synthesis of Run-time Monitors to Enforce Authorization Policies in Business Processes 1-gen-2015 Bertolissi, Clara; Dos Santos, Daniel Ricardo; Ranise, Silvio
Security Threat Identification and Testing 1-gen-2015 Carbone, Roberto; Compagna, Luca; Panichella, Annibale; Ponta, Serena Elisa
SAM: The Static Analysis Module of the MAVERIC Mobile App Security Verification Platform 1-gen-2015 Armando, Alessandro; Bocci, Gianluca; Chiarelli, Giantonio; Costa, Gabriele; De Maglie, Gabriele; Mammoliti, Rocco; Merlo, Alessio
A SMT-based Tool for the Analysis and Enforcement of NATO Content-based Protection and Release Policies 1-gen-2015 Armando, Alessandro; Ranise, Silvio; Traverso, Riccardo; Wrona, Konrad
Balancing Trust and Risk in Access Control 1-gen-2015 Armando, Alessandro; Bezzi, Michele; Di Cerbo, Francesco; Metoui, Nadia
Modeling Authorization Policies for Web Services in Presence of Transitive Dependencies 1-gen-2015 Ranise, Silvio; Bertolissi, Clara; Uttha, Worachet
Automated analysis of RBAC policies with temporal constraints and static role hierarchies 1-gen-2015 Ranise, Silvio; Truong, Tuan Anh; Viganò, Luca
Analysis of XACML Policies with SMT 1-gen-2015 Turkmen, Fatih; den Hartog, Jerry; Ranise, Silvio; Zannone, Nicola
Assisting the Deployment of Security-Sensitive Workflows by Finding Execution Scenarios 1-gen-2015 Dos Santos, Daniel Ricardo; Ranise, Silvio; Compagna, Luca; Ponta, Serena E.
Trusted host-based card emulation 1-gen-2015 Armando, Alessandro; Merlo, Alessio; Verderame, Luca
Android Permissions Unleashed 1-gen-2015 Armando, Alessandro; Carbone, Roberto; Costa, Gabriele; Merlo, Alessio
Mobile App Security Assessment with the MAVeriC Dynamic Analysis Module 1-gen-2015 Armando, Alessandro; Bocci, Gianluca; Costa, Gabriele; Mammoliti, Rocco; Merlo, Alessio; Ranise, Silvio; Traverso, Riccardo; Valenza, Andrea
Development and tests of a new prototype detector for the XAFS beamline at Elettra Synchrotron in Trieste 1-gen-2016 Fabiani, S; Ahangarianabhari, M; Baldazzi, G; Bellutti, Pierluigi; Bertuccio, G; Bruschi, M; Bufon, J; Carrato, S; Castoldi, A; Cautero, G; Ciano, S; Cicuttin, A; Crespo, M. L; Santos, M. Dos; Gandola, M; Giacomini, Gabriele; Giuressi, D; Guazzoni, C; Menk, R. H; Niemela, J; Olivi, L; Picciotto, Antonino; Piemonte, Claudio; Rashevskaya, I; Rachevski, A; Rignanese, L. P; Sbrizzi, A; Schillani, S; Vacchi, A; Garcia, V. Villaverde; Zampa, G; Zampa, N; Zorzi, Nicola
Resummation of Large Logarithms in the Rapidity Evolution of Color Dipoles 1-gen-2015 Iancu, Edmond; Madrigal, J. D.; Mueller, A. H.; Soyez, Gregory Emmanuel Ghislain; Triantafyllopoulos, Dionysios
Particle production with rapidity correlations in proton-nucleus collisions 1-gen-2015 Iancu, Edmond; Madrigal Martinez, José Daniel; Triantafyllopoulos, Dionysios
Gauge fixing and the gluon propagator in renormalizable xi gauges 1-gen-2015 Pedro, Bicudo; Binosi, Daniele; Nuno, Cardoso; Orlando, Oliveira; Paulo, J. Silva
The two-, three- and four-gluon sector of QCD in the Landau gauge 1-gen-2015 Binosi, Daniele
From continuum QCD to hadron observables 1-gen-2015 Binosi, Daniele
Surface characterization of polydimethylsiloxane: An AFM study 1-gen-2015 Tinku, Sajina; Iacob, Erica; Lorenzelli, Leandro; Dahiya, Ravinder Singh
Prodotti della tipologia (ordinati per Data di deposito in Decrescente ordine): 3.301 a 3.320 di 7.926
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 di Convegno ...7925
Autore
  • Cimatti, Alessandro261
  • Remondino, Fabio250
  • Margesin, Benno203
  • Negri, Matteo203
  • Serafini, Luciano202
  • Lorenzelli, Leandro191
  • Magnini, Bernardo179
  • Federico, Marcello172
  • Tonella, Paolo172
  • Strapparava, Carlo169
Data di pubblicazione
  • In corso di stampa5
  • 2020 - 20261546
  • 2010 - 20193439
  • 2000 - 20092320
  • 1990 - 1999567
  • 1980 - 198948
Editore
  • IEEE620
  • Springer357
  • ACM148
  • Association for Computational Lin...91
  • CEUR-WS.org72
  • IEEE Computer Society61
  • SPIE60
  • ACL38
  • AAAI Press37
  • ieee31
Rivista
  • INTERNATIONAL ARCHIVES OF THE PHO...92
  • LECTURE NOTES IN COMPUTER SCIENCE41
  • POS PROCEEDINGS OF SCIENCE22
  • JOURNAL OF PHYSICS. CONFERENCE SE...21
  • PROCEEDINGS OF SPIE, THE INTERNAT...17
  • PROCEEDINGS14
  • CEUR WORKSHOP PROCEEDINGS13
  • THE INTERNATIONAL ARCHIVES OF THE...12
  • EPJ WEB OF CONFERENCES10
  • LECTURE NOTES IN ARTIFICIAL INTEL...9
Serie
  • LECTURE NOTES IN COMPUTER SCIENCE230
  • LECTURE NOTES IN ARTIFICIAL INTEL...48
  • CEUR WORKSHOP PROCEEDINGS38
  • PROCEEDINGS OF SPIE, THE INTERNAT...25
  • LECTURE NOTES IN COMPUTER SCIENCE22
  • LECTURE NOTES IN ELECTRICAL ENGIN...20
  • LECTURE NOTES IN ELECTRICAL ENGIN...17
  • LECTURE NOTES IN BUSINESS INFORMA...16
  • IEEE ENGINEERING IN MEDICINE AND ...11
  • PROCEEDINGS OF SPIE10
Keyword
  • NLP41
  • automatic speech recognition38
  • Content Processing33
  • MEMS31
  • RF-MEMS31
  • silicon radiation detectors28
  • SiPM26
  • RF MEMS25
  • machine translation23
  • Machine Translation22
Lingua
  • eng6418
  • ita159
  • ger15
  • spa6
  • fre5
  • enm4
  • cze1
  • lat1
  • rum1
Accesso al fulltext
  • no fulltext6831
  • open476
  • restricted450
  • reserved165
  • partially open2
  • mixed1