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

Sfoglia
Prodotti della tipologia (ordinati per Data di deposito in Decrescente ordine): 1.141 a 1.160 di 9.575
Titolo Data di pubblicazione Autori Tipo File Abstract
Le indagini in corso presso la sponda orientale del porto fluviale di Aquileia 1-gen-2023 Daniela CotticaAndrea Cipolato 4.1 Articolo in Atti di convegno -
Luxeuil et ses écritures d’apparat 1-gen-2023 flavia de rubeis 4.1 Articolo in Atti di convegno -
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 -
Prodotti della tipologia (ordinati per Data di deposito in Decrescente ordine): 1.141 a 1.160 di 9.575
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 convegno9575
Autore
  • SFRISO, Adriano177
  • PERIN, Guido140
  • CORTESI, Agostino134
  • PAVAN, Paolo129
  • MATTEOLI, Ugo116
  • ORLANDO, Salvatore111
  • DELMONTE, Rodolfo110
  • PELILLO, Marcello110
  • TORSELLO, Andrea110
  • BONESSO, Sara98
Data di pubblicazione
  • In corso di stampa62
  • 2020 - 20261537
  • 2010 - 20193255
  • 2000 - 20093237
  • 1990 - 19991072
  • 1980 - 1989320
  • 1970 - 197971
  • 1964 - 196921
Editore
  • IEEE372
  • Springer188
  • 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 DIGITALE9
  • 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 SCIENCE242
  • CEUR WORKSHOP PROCEEDINGS54
  • LECTURE NOTES IN ARTIFICIAL INTEL...44
  • IEEE NUCLEAR SCIENCE SYMPOSIUM CO...42
  • PROCEEDINGS OF SPIE, THE INTERNAT...37
  • LEIBNIZ INTERNATIONAL PROCEEDINGS...19
  • MATERIALS RESEARCH SOCIETY SYMPOS...16
  • QUADERNI DI VENEZIA ARTI14
  • COMMUNICATIONS IN COMPUTER AND IN...13
  • IEEE VTS ... VEHICULAR TECHNOLOGY...13
Keyword
  • Venezia53
  • Computer Networks and Communications23
  • Computer Science (all)23
  • Abstract Interpretation21
  • Security21
  • Spain21
  • Static Analysis21
  • anaerobic digestion20
  • Giappone20
  • Theoretical Computer Science19
Lingua
  • eng3840
  • ita2163
  • fre181
  • spa71
  • rus51
  • ger40
  • jpn29
  • gre23
  • grc12
  • pol11
Accesso al fulltext
  • no fulltext5011
  • reserved2454
  • open2031
  • embargoed40
  • partially open39