IRIS

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

Sfoglia
Prodotti della tipologia (ordinati per Data di deposito in Decrescente ordine): 81 a 100 di 1.250
Titolo Data di pubblicazione Autore(i) File
Effect Semantics for Quantum Process Calculi 1-gen-2024 Ceragioli, Lorenzo; Gadducci, Fabio; Lomurno, Giuseppe; Tedeschi, Gabriele
Testing Quantum Processes 1-gen-2025 Ceragioli, Lorenzo; Gadducci, Fabio; Lomurno, Giuseppe; Tedeschi, Gabriele
A Coalgebraic Model of Quantum Bisimulation 1-gen-2024 Ceragioli, Lorenzo; Di Lavore, Elena; Lomurno, Giuseppe; Tedeschi, Gabriele
Checking information flow in cloud-based IoT access control policies 1-gen-2026 Ceragioli, Lorenzo; Galletta, Letterio; Lunati, Edoardo
Quantum Bisimilarity Is a Congruence Under Physically Admissible Schedulers 1-gen-2025 Ceragioli, Lorenzo; Gadducci, Fabio; Lomurno, Giuseppe; Tedeschi, Gabriele
Reconciling Quantum Theory and Process Equivalence via Physically Admissible Schedulers 1-gen-2025 Ceragioli, Lorenzo; Lomurno, Giuseppe; Tedeschi, Gabriele
Non-intact families and children's vaccination coverage: evidence from Italy 1-gen-2025 Dorgali Maria, Veronica; Guetto, Raffaele; Tocchioni, Valentina; Dominici, Alice; Vignoli, Daniele
Traffic restrictions and air quality: a counterfactual matrix completion analysis of Milan’s Area C 1-gen-2025 Adam, Cecilia Roxana; Biancalani, Francesco; Metulini, Rodolfo
Making regulatory sandboxes work for cyber resilience in digital products: a proof-of-concept for IoT cybersecurity assurance 1-gen-2025 De Rosa, G.; Drago, S.; Seferi, F.; Spatari, N.
Detection and removal of ocular artifacts from EEG signals for an automated REM sleep analysis 1-gen-2013 Betta, M.; Gemignani, A.; Landi, A.; Laurino, M.; Piaggi, P.; Menicucci, D.
AI-powered chatbot assistant for course organization 1-gen-2025 Magnolfi, A.; Vicario, E.; Boncinelli, L.
La fotografia storica dell’Accademia di belle arti di Brera di Milano. Salvaguardia e messa in sicurezza di un patrimonio dimenticato 1-gen-2022 Plaitano, Greta
An approach for privacy-preserving mobile malware detection through federated machine learning 1-gen-2024 Ciaramella, Giovanni; Martinelli, Fabio; Mercaldo, Francesco; Peluso, Christian; Santone, Antonella
Dynamic analysis for explainable fine-grained android malware detection 1-gen-2024 Ciaramella, Giovanni; Mercaldo, Francesco; Santone, Antonella
Perpetual generation: online learning of linear state-space models from a single stream 1-gen-2026 Casoni, M.; Guidi, T.; Melacci, S.; Betti, A.; Gori, M.
Exploiting inaccurate branch history in side-channel attacks 1-gen-2025 Zhu, Yuhui; Biondi, Alessandro
Le raccolte fotografiche per la didattica artistica: fonti e strumenti archivistici per la ricerca 1-gen-2024 Plaitano, Greta
Displayed universal algebra in UniMath: basic definitions and results 1-gen-2025 Amato, G.; Calosci, M.; Maggesi, M.; Perini Brogi, C.
A modular proof of semantic completeness for normal systems beyond the modal cube, formalised in HOLMS 1-gen-2025 Bilotta, A.; Maggesi, M.; Perini Brogi, C.
A model-based approach for cybersecurity assessment of off-road and defense vehicles 1-gen-2025 Bellini, Umberto; Kordi, Marzieh; Crispo, Bruno; Lollini, Paolo; Bondavalli, Andrea; Compar, Davide
Prodotti della tipologia (ordinati per Data di deposito in Decrescente ordine): 81 a 100 di 1.250
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 ...1250
Autore
  • BEMPORAD, ALBERTO225
  • PIETRINI, PIETRO92
  • RICCIARDI, EMILIANO82
  • TRIBASTONE, MIRCO79
  • PAGGI, MARCO67
  • GALLETTA, LETTERIO52
  • Zanon, Mario48
  • GNECCO, GIORGIO STEFANO42
  • Marzi, Giacomo41
  • Bernardi, Giulio36
Data di pubblicazione
  • In corso di stampa9
  • 2020 - 2027361
  • 2010 - 2019571
  • 2000 - 2009266
  • 1990 - 199937
  • 1988 - 19896
Editore
  • IEEE111
  • Springer59
  • Institute of Electrical and Elect...38
  • Elsevier33
  • Association for Computing Machinery24
  • CEUR-WS20
  • Springer Nature18
  • IEEE Computer Society17
  • Springer Verlag17
  • Association for Computing Machine...12
Rivista
  • NEUROIMAGE25
  • LECTURE NOTES IN COMPUTER SCIENCE17
  • ELECTRONIC PROCEEDINGS IN THEORET...11
  • LECTURE NOTES IN COMPUTER SCIENCE6
  • SLEEP6
  • ENERGY PROCEDIA5
  • PROCEEDINGS OF THE IEEE CONFERENC...5
  • CEUR WORKSHOP PROCEEDINGS4
  • JOURNAL OF SLEEP RESEARCH4
  • LECTURE NOTES IN APPLIED AND COMP...3
Serie
  • LECTURE NOTES IN COMPUTER SCIENCE68
  • CEUR WORKSHOP PROCEEDINGS38
  • IFAC-PAPERSONLINE23
  • PROCEEDINGS OF THE IEEE CONFERENC...22
  • PROCEEDINGS OF THE ... IEEE CONFE...11
  • COMMUNICATIONS IN COMPUTER AND IN...9
  • EUROPEAN CONTROL CONFERENCE8
  • LECTURE NOTES IN COMPUTER SCIENCE7
  • LECTURE NOTES OF THE INSTITUTE FO...7
  • PROCEEDINGS OF THE AMERICAN CONTR...6
Keyword
  • Cybersecurity13
  • Machine learning12
  • Security12
  • Deep Learning8
  • Artificial intelligence7
  • Games7
  • Machine Learning7
  • Malware7
  • security7
  • Blockchain6
Lingua
  • eng926
  • ita107
  • und80
  • por6
  • spa4
  • fre1
Accesso al fulltext
  • no fulltext686
  • reserved320
  • open194
  • partially open45
  • embargoed3
  • mixed2