Cross-chain Smart Contracts and dApps Verification by Static Analysis: Limits and Challenges
2025 Olivieri, Luca; Mukherjee, Aradhita; Chaki, Nabendu; Cortesi, Agostino
Integrated geomorphological and structural analysis of coastal cliffs: The case study of Capo Faro Promontory, NE Salina, Aeolian Islands, Italy
2023 Bonasera, Mauro; Petroccia, Alessandro; Caso, Fabiola; Cerrone, Ciro; Gregorio, Francesco
Trasformazioni delle monetazioni indigene prima e dopo la conquista romana: nuovi ruoli e nuovi significati
2025 Lucchelli, Tomaso Maria
Monetazioni coloniali in Asia Minore: tra innovazione e tradizione
2025 Lucchelli, Tomaso Maria
L’Andalusia di Hoefnagel: considerazioni sulle città andaluse del Civitates Orbis Terrarum, in La Città Altra. Storia e immagine della diversità urbana: luoghi e paesaggi dei privilegi e del benessere, dell’isolamento, del disagio, della multiculturalità, a cura di Francesca Capano, Maria Ines Pascariello, Massimo Visone, Napoli, 2018, pp. 33-44
2018 Pérez Negrete, Alberto Jose
Mobile Biometrics: Innovations, Challenges, and Emerging Trends
2025 Buriro, Attaullah; Luccio, Flaminia
Strands Rocq: Why is a Security Protocol Correct, Mechanically?
2025 Busi, Matteo; Focardi, Riccardo; Luccio, Flaminia L.
Automated Analysis of Key Management Policies
2025 Busi, Matteo; Focardi, Riccardo; Gul, Sana; Luccio, Flaminia L.
Dai contesti ai materiali: analisi, didattica e prospettive future. Le attività dell'Università Ca' Foscari a San Basilio
2024 Bortolami, F.; Moscardo, C.; Pollon, N.
Our Fruitful Relationship with Sugeno Inference, from FUMOSO to pyFUME
2025 Bacciu, Leone; Cazzaniga, Paolo; Gallese, Chiara; Fuchs, Caro; Kaymak, Uzay; Papetti, Daniele M.; Nobile, Marco S.
Does HRM add value to the study of Professional Street Level Bureaucrat’s outcomes?
2024 Brunetto, Yvonne; Xerri, Matt; Farr-Wharton, Ben; Saccon, Chiara; Ashton-Sayers, Julia
Is the crisis over? Fostering innovative work behaviour in response to the constant pressure of resource-deficiency for Street level Bureaucrats: the impact of psychosocial safety climate, teamwork, and work engagement
2025 Brunetto, Yvonne; Xerri, Matthew; Farr-Wharton, Geremy; Saccon, Chiara; Farr-Wharton, Ben
The state of the art on corporate risk disclosure: A systematic literature review
2024 Mio, Chiara; Canestraro, Nicolas; Costantini, Antonio
A Survey of Modern Hybrid Particle Swarm Optimization Algorithms
2025 Grazioso, Matteo; Gallese, Chiara; Vanneschi, Leonardo; Nobile, Marco S.
Stop Overkilling Simple Tasks with Black-Box Models, Use More Transparent Models Instead
2024 Rizzo, M.; Marcuzzo, M.; Zangari, A.; Schiavinato, M.; Albarelli, A.; Gasparetto, A.
Crossing the Divide: Designing Layers of Explainability
2024 Zangari, Alessandro; Marcuzzo, Matteo; Rizzo, Matteo; Albarelli, Andrea; Gasparetto, Andrea
Whose monuments? Interpreting mosque-to-church conversion in Dalmatia
2024 Strunje, Petar
Plena matronarum domus: l’ultimo Augusto, Livia e le donne della Domus Principis
2025 Valentini, Alessandra
The impact of water management in the urbanisation and urban planning processes. Some preliminary insights from the Roman Eastern Alps
2021 Tamburrino, Eugenio
The strategic role of HR in hybrid work environments: An application of the ‘Harvard’ model
2024 Bonesso, Sara; Afeltra, Giovanna; Cortellazzo, Laura
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 convegno9574
Data di pubblicazione
- In corso di stampa62
- 2020 - 20261536
- 2010 - 20193255
- 2000 - 20093237
- 1990 - 19991072
- 1980 - 1989320
- 1970 - 197971
- 1964 - 196921
Editore
- IEEE372
- Springer188
- IEEE Computer Society105
- Institute of Electrical and Elect...105
- Springer Verlag88
- ACM85
- Springer Science and Business Med...63
- -54
- Association for Computing Machinery47
- CLEUP46
Rivista
- LECTURE NOTES IN COMPUTER SCIENCE12
- UMANISTICA DIGITALE9
- 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 PROCEEDINGS54
- 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
- eng3840
- ita2162
- fre181
- spa71
- rus51
- ger40
- jpn29
- gre23
- grc12
- pol11
Accesso al fulltext
- no fulltext5011
- reserved2454
- open2030
- embargoed40
- partially open39