IRIS

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

Sfoglia
Prodotti della tipologia (ordinati per Data di deposito in Decrescente ordine): 1 a 20 di 1.256
Titolo Data di pubblicazione Autore(i) File
What prompted that? A structured approach to prompt inversion 1-gen-2027 Di Gisi, Maria; Fenza, Giuseppe; Gallo, Mariacristina
Computational multi-scale and multi-physics methods for the prediction of fracture processes in photovoltaic systems 1-gen-2025 Aranda Maria, Teresa; Valverde-Gonzalez, Angel; Reinoso, Jose.; Paggi, Marco
A formally verified secure caching mechanism on trustzone-enabled microcontrollers 1-gen-2026 Bramante, Salvatore; Busi, Matteo; Cilardo, Alessandro; Focardi, Riccardo; Luccio, Flaminia; Mercogliano, Stefano
Cybercity: a practical approach to teach and learn cybersecurity in smart cities 1-gen-2024 De Vito, Luca; Bramante, Salvatore; D'Angelo, Mauro; Marinova, Galia; Orozco-Messana, Javier
Security auditing for RISC-V SoCs via process mining 1-gen-2027 Bramante, Salvatore; Busi, Matteo; Cilardo, Alessandro; Focardi, Riccardo; Luccio, Flaminia; Mazzocca, Nicola; Vitale, Francesco
Towards energy-efficient federated anomaly detection in dynamic environments 1-gen-2026 Vitale, Francesco; Bramante, Salvatore; Cilardo, Alessandro; Flammini, Francesco; Mazzocca, Nicola
Differential verification of information flow in SEAndroid policies 1-gen-2026 Ceragioli, Lorenzo; Galletta, Letterio; Lunati, Edoardo
Benchmarking multimodal LLMs on closed-world image geolocation 1-gen-2026 Di Gisi, Maria; Fenza, Giuseppe; Gallo, Mariacristina; Palomba, Maria
Accelerating incident response: a hybrid approach for data breach reporting 1-gen-2026 Arrus, Aurora; Di Gisi, Maria; Lilli, Sara; Quadrini, Marco
Communitas in stone: how Brescia's Lapidarium shaped civic community identity 1-gen-2027 Berettera, Andrea
Identifying Parser Functions in Binary Executables with WebParserHunter 1-gen-2026 Scapin, Marco; Pinelli, Fabio; Galletta, Letterio
Il dilemma delle convenzioni espositive. Gordon Matta-Clark, Salvatore Ala, Milano, 19 novembre – 31 dicembre 1975 In corso di stampa Catenacci, Sara
Bridging digitalization gaps: OCR and NER for crime report automation in the Italian criminal justice system 1-gen-2027 Cerini, Samuele Yves; Deidda, Nicola; Lilli, Sara; Zucca, Maria Vittoria; Fumera, Giorgio; Giacinto, Giorgio; Prinetto, Paolo
From syntactic matching to taint tracking and back: a comparative study of web tracking detection techniques 1-gen-2026 Calzavara, Stefano; Casarin, Samuele; Squarcina, Marco; Maffei, Matteo
An approach for robust and explainable lung disease detection and localization 1-gen-2026 Di Giammarco, Marcello; Ciaramella, Giovanni; Santone, Antonella; Cesarelli, Mario; Martinelli, Fabio; Mercaldo, Francesco
Cutting out the middle man: a game-theoretic analysis in computability logic of the Needham-Schroeder protocol 1-gen-2026 Perini Brogi, Cosimo; Spadoni, Stella
Cybersecurity and the digitalisation of public administration: transforming the concept of administrative legality 1-gen-2026 Lizzio, Alessandra
Mapping abstract reasoning: a Freinet-inspired approach to creative logic communication in secondary schools In corso di stampa Perini Brogi, Cosimo
Growing HOLMS: a verified automated prover for Grzegorczyk logic in HOL light 1-gen-2026 Bilotta, Antonella; Maggesi, Marco; Perini Brogi, Cosimo
Ultrafilter extensions for Veltman semantics 1-gen-2026 Frigola González, Fèlix; Joosten Joost, J.; Navarro Arroyo, Vicent; Perini Brogi, Cosimo
Prodotti della tipologia (ordinati per Data di deposito in Decrescente ordine): 1 a 20 di 1.256
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 ...1256
Autore
  • BEMPORAD, ALBERTO225
  • PIETRINI, PIETRO92
  • RICCIARDI, EMILIANO82
  • TRIBASTONE, MIRCO79
  • PAGGI, MARCO68
  • GALLETTA, LETTERIO52
  • Zanon, Mario48
  • GNECCO, GIORGIO STEFANO42
  • Marzi, Giacomo41
  • Bernardi, Giulio36
Data di pubblicazione
  • In corso di stampa9
  • 2020 - 2027367
  • 2010 - 2019571
  • 2000 - 2009266
  • 1990 - 199937
  • 1988 - 19896
Editore
  • IEEE114
  • Springer59
  • Institute of Electrical and Elect...38
  • Elsevier33
  • Association for Computing Machinery24
  • Springer Nature21
  • CEUR-WS20
  • 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 SCIENCE70
  • 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
  • Cybersecurity14
  • Machine learning12
  • Security12
  • Deep Learning8
  • Artificial intelligence7
  • Concept drift7
  • Games7
  • Machine Learning7
  • Malware7
  • security7
Lingua
  • eng932
  • ita107
  • und80
  • por6
  • spa4
  • fre1
Accesso al fulltext
  • no fulltext687
  • reserved323
  • open197
  • partially open45
  • embargoed2
  • mixed2