Man’s Writing
2023-01-01 DE RUBEIS, Flavia
Assessment of death risk for asbestos cancers using functional regression models among dockworkers exposed to asbestos in northeastern Italy
2023-01-01 Girardi, Paolo; Comiati, Vera; Casotto, Vera; Gaetan, Carlo; Nicoletta Ballarin, Maria; Merler, Enzo; Fedeli, Ugo
On the Effect of Low-Ranked Documents: A New Sampling Function for Selective Gradient Boosting
2023-01-01 Lucchese, C.; Marcuzzi, F.; Orlando, S.
Regression for mixture models for extremes
2023-01-01 Carcaiso, Viviana; Prosdocimi, Ilaria; Antoniano Villalobos, Isadora
Toward Open Integrated Access and Backhaul with O-RAN
2023-01-01 Moro, E; Gemmi, G; Polese, M; Maccari, L; Capone, A; Melodia, T
Robust Declassification by Incremental Typing
2019-01-01 Busi, M.; Degano, P.; Galletta, L.
Using standard typing algorithms incrementally
2019-01-01 Busi, M.; Degano, P.; Galletta, L.
A semantics for disciplined concurrency in COP
2016-01-01 Busi, M.; Degano, P.; Galletta, L.
Fully Abstract and Robust Compilation: And How to Reconcile the Two, Abstractly
2021-01-01 Abate, C.; Busi, M.; Tsampas, S.
Towards effective preservation of robust safety properties
2022-01-01 Busi, M.; Degano, P.; Galletta, L.
Provably Secure Isolation for Interruptible Enclaved Execution on Small Microprocessors
2020-01-01 Busi, M.; Noorman, J.; Bulck, J. V.; Galletta, L.; Degano, P.; Muhlberg, J. T.; Piessens, F.
Geolocation of Cultural Heritage Using Multi-view Knowledge Graph Embedding
2023-01-01 Mohamed, Hebatallah A.; Vascon, Sebastiano; Hibraj, Feliks; James, Stuart; Pilutti, Diego; Del Bue, Alessio; Pelillo, Marcello
Control-flow flattening preserves the constant-time policy
2020-01-01 Busi, M.; Degano, P.; Galletta, L.
A brief tour of formally secure compilation
2019-01-01 Busi, M.; Galletta, L.
$\pi_{\mathbf{RA}}$: A $\pi\text{-calculus}$ for Verifying Protocols that Use Remote Attestation
2023-01-01 Lanckriet, Emiel; Busi, Matteo; Devriese, Dominique
Semantic Motif Segmentation of Archaeological Fresco Fragments
2023-01-01 Enayati, A.; Palmieri, L.; Vascon, S.; Pelillo, M.; Aslan, S.
Fulgor: A Fast and Compact {k-mer} Index for Large-Scale Matching and Color Queries
2023-01-01 Fan, Jason; Pratap Singh, Noor; Khan, Jamshed; Pibiri, Giulio Ermanno; Patro, Rob
How active is a genetic pathway? Comparative analysis of post-hoc permutation-based methods
2023-01-01 Vesely, Anna; Andreella, Angela
A novel definition of comorbidity based on the Global Burden of Diseases project weights
2023-01-01 Andreella, Angela; Monasta, Lorenzo; Campostrini, Stefano
Guglielmo Pacchioni a Pesaro: l’allestimento come atto critico
2020-01-01 Dragoni, Patrizia; Paparello, Caterina
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 convegno8917
Data di pubblicazione
- In corso di stampa73
- 2020 - 2025986
- 2010 - 20193157
- 2000 - 20093219
- 1990 - 19991070
- 1980 - 1989320
- 1970 - 197971
- 1964 - 196921
Editore
- IEEE285
- Springer155
- IEEE Computer Society96
- ACM81
- Springer Verlag76
- Institute of Electrical and Elect...72
- -54
- ACM Press45
- CLEUP45
- Edizioni Ca’ Foscari - Digital Pu...42
Rivista
- LECTURE NOTES IN COMPUTER SCIENCE12
- INTERNATIONAL CONFERENCE ON PATTE...7
- ABSTRACTS OF PAPERS - AMERICAN CH...6
- E3S WEB OF CONFERENCES6
- UMANISTICA DIGITALE5
- CHEMICAL ENGINEERING TRANSACTIONS4
- BUILDING SIMULATION CONFERENCE PR...3
- JOURNAL OF PHYSICS. CONFERENCE SE...3
- LECTURE NOTES IN ARTIFICIAL INTEL...3
- PROCEDIA ENGINEERING3
Serie
- LECTURE NOTES IN COMPUTER SCIENCE213
- LECTURE NOTES IN ARTIFICIAL INTEL...44
- IEEE NUCLEAR SCIENCE SYMPOSIUM CO...42
- PROCEEDINGS OF SPIE, THE INTERNAT...37
- CEUR WORKSHOP PROCEEDINGS34
- MATERIALS RESEARCH SOCIETY SYMPOS...16
- LEIBNIZ INTERNATIONAL PROCEEDINGS...14
- IEEE VTS ... VEHICULAR TECHNOLOGY...13
- QUADERNI DI VENEZIA ARTI10
- COMMUNICATIONS IN COMPUTER AND IN...9
Keyword
- Venezia47
- Computer Science (all)23
- Spain21
- anaerobic digestion20
- Giappone20
- Security19
- Theoretical Computer Science19
- Abstract Interpretation18
- Computer Networks and Communications18
- Software16
Lingua
- eng3450
- ita2047
- fre176
- spa70
- rus50
- ger39
- jpn29
- gre22
- grc12
- pol11
Accesso al fulltext
- no fulltext4917
- reserved2192
- open1730
- embargoed46
- partially open32