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

Sfoglia
Prodotti della tipologia (ordinati per Data di deposito in Decrescente ordine): 1.301 a 1.320 di 9.732
Titolo Data di pubblicazione Autori Tipo File Abstract
Man’s Writing 1-gen-2023 Flavia De Rubeis 4.1 Articolo in Atti di convegno -
Assessment of death risk for asbestos cancers using functional regression models among dockworkers exposed to asbestos in northeastern Italy 1-gen-2023 Paolo GirardiCarlo Gaetan + 4.1 Articolo in Atti di convegno -
On the Effect of Low-Ranked Documents: A New Sampling Function for Selective Gradient Boosting 1-gen-2023 Lucchese C.Marcuzzi F.Orlando S. 4.1 Articolo in Atti di convegno -
Regression for mixture models for extremes 1-gen-2023 Prosdocimi, IlariaAntoniano Villalobos, Isadora + 4.1 Articolo in Atti di convegno -
Toward Open Integrated Access and Backhaul with O-RAN 1-gen-2023 Gemmi, GMaccari, L + 4.1 Articolo in Atti di convegno -
Robust Declassification by Incremental Typing 1-gen-2019 Busi M.Degano P. + 4.1 Articolo in Atti di convegno -
Using standard typing algorithms incrementally 1-gen-2019 Busi M.Degano P. + 4.1 Articolo in Atti di convegno -
A semantics for disciplined concurrency in COP 1-gen-2016 Busi M.Degano P. + 4.1 Articolo in Atti di convegno -
Fully Abstract and Robust Compilation: And How to Reconcile the Two, Abstractly 1-gen-2021 Busi M. + 4.1 Articolo in Atti di convegno -
Towards effective preservation of robust safety properties 1-gen-2022 Busi M.Degano P. + 4.1 Articolo in Atti di convegno -
Provably Secure Isolation for Interruptible Enclaved Execution on Small Microprocessors 1-gen-2020 Busi M.Degano P. + 4.1 Articolo in Atti di convegno -
Geolocation of Cultural Heritage Using Multi-view Knowledge Graph Embedding 1-gen-2023 Mohamed, Hebatallah A.Vascon, SebastianoHibraj, FeliksPilutti, DiegoPelillo, Marcello + 4.1 Articolo in Atti di convegno -
Control-flow flattening preserves the constant-time policy 1-gen-2020 Busi M.Degano P. + 4.1 Articolo in Atti di convegno -
A brief tour of formally secure compilation 1-gen-2019 Busi M. + 4.1 Articolo in Atti di convegno -
$\pi_{\mathbf{RA}}$: A $\pi\text{-calculus}$ for Verifying Protocols that Use Remote Attestation 1-gen-2023 Busi, Matteo + 4.1 Articolo in Atti di convegno -
Semantic Motif Segmentation of Archaeological Fresco Fragments 1-gen-2023 A. EnayatiL. PalmieriS. VasconM. PelilloS. Aslan 4.1 Articolo in Atti di convegno -
Fulgor: A Fast and Compact {k-mer} Index for Large-Scale Matching and Color Queries 1-gen-2023 Giulio Ermanno Pibiri + 4.1 Articolo in Atti di convegno -
How active is a genetic pathway? Comparative analysis of post-hoc permutation-based methods 1-gen-2023 Angela Andreella + 4.1 Articolo in Atti di convegno -
A novel definition of comorbidity based on the Global Burden of Diseases project weights 1-gen-2023 Andreella AngelaCampostrini Stefano + 4.1 Articolo in Atti di convegno -
Guglielmo Pacchioni a Pesaro: l’allestimento come atto critico 1-gen-2020 Caterina Paparello + 4.1 Articolo in Atti di convegno -
Prodotti della tipologia (ordinati per Data di deposito in Decrescente ordine): 1.301 a 1.320 di 9.732
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 convegno9732
Autore
  • SFRISO, Adriano177
  • PERIN, Guido140
  • CORTESI, Agostino134
  • PAVAN, Paolo129
  • MATTEOLI, Ugo116
  • ORLANDO, Salvatore112
  • PELILLO, Marcello112
  • TORSELLO, Andrea112
  • DELMONTE, Rodolfo111
  • BONESSO, Sara103
Data di pubblicazione
  • In corso di stampa69
  • 2020 - 20271667
  • 2010 - 20193274
  • 2000 - 20093238
  • 1990 - 19991072
  • 1980 - 1989320
  • 1970 - 197971
  • 1964 - 196921
Editore
  • IEEE380
  • Springer194
  • Institute of Electrical and Elect...110
  • IEEE Computer Society105
  • ACM88
  • Springer Verlag88
  • Springer Science and Business Med...70
  • -55
  • Association for Computing Machinery50
  • CLEUP46
Rivista
  • LECTURE NOTES IN COMPUTER SCIENCE12
  • UMANISTICA DIGITALE10
  • E3S WEB OF CONFERENCES7
  • INTERNATIONAL CONFERENCE ON PATTE...7
  • ABSTRACTS OF PAPERS - AMERICAN CH...6
  • COLLECTIVE DYNAMICS6
  • JOURNAL OF PHYSICS. CONFERENCE SE...5
  • SCIENZA E BENI CULTURALI5
  • BUILDING SIMULATION CONFERENCE PR...4
  • CHEMICAL ENGINEERING TRANSACTIONS4
Serie
  • LECTURE NOTES IN COMPUTER SCIENCE251
  • CEUR WORKSHOP PROCEEDINGS57
  • LECTURE NOTES IN ARTIFICIAL INTEL...44
  • IEEE NUCLEAR SCIENCE SYMPOSIUM CO...42
  • PROCEEDINGS OF SPIE, THE INTERNAT...37
  • LEIBNIZ INTERNATIONAL PROCEEDINGS...24
  • 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 Communications27
  • Computer Science (all)23
  • Abstract Interpretation22
  • Static Analysis22
  • Security21
  • Spain21
  • anaerobic digestion20
  • Giappone20
  • Theoretical Computer Science19
Lingua
  • eng3937
  • ita2186
  • fre183
  • spa71
  • rus51
  • ger41
  • jpn29
  • gre25
  • grc12
  • pol11
Accesso al fulltext
  • no fulltext5019
  • reserved2526
  • open2103
  • embargoed45
  • partially open39