Cutting out the middle man: a game-theoretic analysis in computability logic of the Needham-Schroeder protocol
2026 Perini Brogi, Cosimo; Spadoni, Stella
Cybersecurity and the digitalisation of public administration: transforming the concept of administrative legality
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
2026 Bilotta, Antonella; Maggesi, Marco; Perini Brogi, Cosimo
Ultrafilter extensions for Veltman semantics
2026 Frigola González, Fèlix; Joosten Joost, J.; Navarro Arroyo, Vicent; Perini Brogi, Cosimo
Lastre etrusche dipinte nella collezione del J. Paul Getty Museum
In corso di stampa Lyons Claire, L.; Pontelli, Elena
1892. Note d'Etruria al Rio Ralletta
In corso di stampa Pontelli, Elena
A coupled thermo-electro-mechanical model for fracture in solar cells
2014 Paggi, M.; Berardone, I.; Corrado, M.
Strobilus: enriching cedar with stateful policies
2026 Baldo, Massimiliano; Di Gianantonio, Pietro; Paier, Matteo; Miculan, Marino
Il satiro che spia. Visione e spazio negli specchi etruschi
In corso di stampa Pontelli, Elena
Monumenti “che non si notano” e architetture che “fanno scena”. Iconografia del potere in Etruria
In corso di stampa Pontelli, Elena
I cinque relitti di Ventotene
2010 Gambin, Timothy; Ritondale, Manuela; Zarattini, Annalisa
What Makes Software Bugs Escape Testing? Evidence from a Large-Scale Empirical Study
2026 Cotroneo, Domenico; De Rosa, Giuseppe; Improta, Cristina; Gaia Varriale, Benedetta
Will it break in production? Metric-driven prediction of residual defects in Python systems
2026 De Rosa, Giuseppe; Liguori, Pietro
PyResBugs: A Dataset of Residual Python Bugs for Natural Language-Driven Fault Injection
2025 Cotroneo, Domenico; De Rosa, Giuseppe; Liguori, Pietro
DeGAS: Gradient-Based Optimization of Probabilistic Programs without Sampling
2026 Randone, F.; Doz, R.; Tribastone, M.; Bortolussi, L.
Forward and backward constrained bisimulations for quantum circuits
2024 Jimenez-Pastor, A.; Larsen, K. G.; Tribastone, M.; Tschaikowski, M.
Jump longer to jump less: improving dynamic boundary projection with h-scaling
2022 Randone, Francesca; Bortolussi, Luca; Tribastone, Mirco
Automation in cyber risk management: a literature review of evidence, gaps, and emerging directions
2026 Belli, Antonio; Maunero, Nicolò; Prinetto, Paolo
SA-SOINN: a self-adaptive neural network for continuous intrusion detection in dynamic environments
2026 Ejeh, D. G.; Foresti, G. L.; Miculan, M.; De Nardin, A.
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 ...1240
Data di pubblicazione
- In corso di stampa8
- 2020 - 2026352
- 2010 - 2019571
- 2000 - 2009266
- 1990 - 199937
- 1988 - 19896
Editore
- IEEE111
- Springer58
- Institute of Electrical and Elect...38
- Elsevier33
- Association for Computing Machinery24
- CEUR-WS18
- IEEE Computer Society17
- Springer Verlag17
- Springer Nature14
- 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 SCIENCE65
- CEUR WORKSHOP PROCEEDINGS36
- 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
- eng919
- ita106
- und80
- por6
- spa4
- fre1
Accesso al fulltext
- no fulltext684
- reserved319
- open188
- partially open44
- mixed3
- embargoed2