Towards effective preservation of robust safety properties
2022 Busi, M.; Degano, P.; Galletta, L.
Provably Secure Isolation for Interruptible Enclaved Execution on Small Microprocessors
2020 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 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 Busi, M.; Degano, P.; Galletta, L.
A brief tour of formally secure compilation
2019 Busi, M.; Galletta, L.
$\pi_{\mathbf{RA}}$: A $\pi\text{-calculus}$ for Verifying Protocols that Use Remote Attestation
2023 Lanckriet, Emiel; Busi, Matteo; Devriese, Dominique
Semantic Motif Segmentation of Archaeological Fresco Fragments
2023 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 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 Vesely, Anna; Andreella, Angela
A novel definition of comorbidity based on the Global Burden of Diseases project weights
2023 Andreella, Angela; Monasta, Lorenzo; Campostrini, Stefano
Guglielmo Pacchioni a Pesaro: l’allestimento come atto critico
2020 Dragoni, Patrizia; Paparello, Caterina
«La très amère Adriatique» e la tutela difficile nella Marcha di Ancona fra Risorgimento e Unità nazionale
2021 Paparello, Caterina
Il paesaggio come patrimonio condiviso: multiculturalità e forma urbis. La musealizzazione degli antichi cimiteri israelitici
2021 Paparello, Caterina; Spagnoletto, Davide; Vitullo, Marta
I programmi di sviluppo rurale (PSR) e sviluppo locale (PSL): canali di finanziamento inattesi per Musei in Rete. Il caso dei Musei in Montagna della Regione Marche
2021 Paparello, Caterina
Reassembling Broken Objects using Breaking Curves
2023 Alagrami, Ali; Palmieri, Luca; Aslan, Sinem; Pelillo, Marcello; Vascon, Sebastiano
AIDA - Antennas diagnostics enhancement by combined use of AI and experts' knowledge
2022 Brighenti, C.; Cagnato, R.; Farinati, G.; Brighenti, A.; Schena, V.; Carletti, A.; Pelillo, M.; Vascon, S.; Torcinovich, A.; Antonio, Cina; Gandini, E.
Charivari, tohu-bohu, tintamarre : Lexique de l’œil assourdi
2020 Zanetta, Julien
Proverbes de Baudelaire
2021 Zanetta, Julien
Trustworthy Machine Learning Predictions to Support Clinical Research and Decisions
2023 Bianchi, Andrea; Di Marco, Antinisca; Marzi, Francesca; Stilo, Giovanni; Pellegrini, Cristina; Masi, Stefano; Mengozzi, Alessandro; Virdis, Agostino; Nobile, Marco Salvatore; Simeoni, Marta
Teach Them to Fish: When Does Business Training Improve SMEs’ Management and Business Practices?
2023 Akemu, Ona; Colapinto, Cinzia; Kishan, Pkv
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 convegno9544
Data di pubblicazione
- In corso di stampa61
- 2020 - 20261507
- 2010 - 20193255
- 2000 - 20093237
- 1990 - 19991072
- 1980 - 1989320
- 1970 - 197971
- 1964 - 196921
Editore
- IEEE370
- Springer188
- IEEE Computer Society105
- Institute of Electrical and Elect...102
- Springer Verlag88
- ACM85
- Springer Science and Business Med...61
- -54
- Association for Computing Machinery46
- CLEUP46
Rivista
- LECTURE NOTES IN COMPUTER SCIENCE12
- UMANISTICA DIGITALE8
- 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 PROCEEDINGS53
- 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
- eng3824
- ita2152
- fre180
- spa71
- rus51
- ger40
- jpn29
- gre23
- grc12
- pol11
Accesso al fulltext
- no fulltext5014
- reserved2446
- open2004
- embargoed42
- partially open38