Cross-chain Smart Contracts and dApps Verification by Static Analysis: Limits and Challenges
2025-01-01 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-01-01 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
In corso di stampa Lucchelli, Tomaso Maria
Monetazioni coloniali in Asia Minore: tra innovazione e tradizione
In corso di stampa 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-01-01 Pérez Negrete, Alberto Jose
Mobile Biometrics: Innovations, Challenges, and Emerging Trends
2025-01-01 Buriro, Attaullah; Luccio, Flaminia
Strands Rocq: Why is a Security Protocol Correct, Mechanically?
In corso di stampa Busi, Matteo; Focardi, Riccardo; Luccio, Flaminia L.
Automated Analysis of Key Management Policies
In corso di stampa 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-01-01 Bortolami, F.; Moscardo, C.; Pollon, N.
Our Fruitful Relationship with Sugeno Inference, from FUMOSO to pyFUME
2025-01-01 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-01-01 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-01-01 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-01-01 Mio, Chiara; Canestraro, Nicolas; Costantini, Antonio
A Survey of Modern Hybrid Particle Swarm Optimization Algorithms
2025-01-01 Grazioso, Matteo; Gallese, Chiara; Vanneschi, Leonardo; Nobile, Marco S.
Stop Overkilling Simple Tasks with Black-Box Models, Use More Transparent Models Instead
2024-01-01 Rizzo, M.; Marcuzzo, M.; Zangari, A.; Schiavinato, M.; Albarelli, A.; Gasparetto, A.
Crossing the Divide: Designing Layers of Explainability
2024-01-01 Zangari, Alessandro; Marcuzzo, Matteo; Rizzo, Matteo; Albarelli, Andrea; Gasparetto, Andrea
Whose monuments? Interpreting mosque-to-church conversion in Dalmatia
2024-01-01 Strunje, Petar
Plena matronarum domus: l’ultimo Augusto, Livia e le donne della Domus Principis
2025-01-01 Valentini, Alessandra
The impact of water management in the urbanisation and urban planning processes. Some preliminary insights from the Roman Eastern Alps
2021-01-01 Tamburrino, Eugenio
The strategic role of HR in hybrid work environments: An application of the ‘Harvard’ model
2024-01-01 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 convegno9159
Data di pubblicazione
- In corso di stampa69
- 2020 - 20251159
- 2010 - 20193219
- 2000 - 20093228
- 1990 - 19991072
- 1980 - 1989320
- 1970 - 197971
- 1964 - 196921
Editore
- IEEE319
- Springer168
- IEEE Computer Society98
- Springer Verlag87
- ACM82
- Institute of Electrical and Elect...81
- -54
- Association for Computing Machinery46
- ACM Press45
- CLEUP45
Rivista
- LECTURE NOTES IN COMPUTER SCIENCE12
- INTERNATIONAL CONFERENCE ON PATTE...7
- ABSTRACTS OF PAPERS - AMERICAN CH...6
- E3S WEB OF CONFERENCES6
- UMANISTICA DIGITALE5
- CHEMICAL ENGINEERING TRANSACTIONS4
- COLLECTIVE DYNAMICS4
- BUILDING SIMULATION CONFERENCE PR...3
- JOURNAL OF PHYSICS. CONFERENCE SE...3
- LECTURE NOTES IN ARTIFICIAL INTEL...3
Serie
- LECTURE NOTES IN COMPUTER SCIENCE224
- CEUR WORKSHOP PROCEEDINGS44
- LECTURE NOTES IN ARTIFICIAL INTEL...44
- IEEE NUCLEAR SCIENCE SYMPOSIUM CO...42
- PROCEEDINGS OF SPIE, THE INTERNAT...37
- LEIBNIZ INTERNATIONAL PROCEEDINGS...16
- MATERIALS RESEARCH SOCIETY SYMPOS...16
- IEEE VTS ... VEHICULAR TECHNOLOGY...13
- QUADERNI DI VENEZIA ARTI12
- ADVANCES IN INTELLIGENT SYSTEMS A...10
Keyword
- Venezia50
- Computer Science (all)23
- Spain21
- Abstract Interpretation20
- anaerobic digestion20
- Giappone20
- Security19
- Theoretical Computer Science19
- Computer Networks and Communications18
- Static Analysis18
Lingua
- eng3603
- ita2082
- fre178
- spa72
- rus50
- ger39
- jpn29
- gre22
- grc12
- pol11
Accesso al fulltext
- no fulltext4949
- reserved2304
- open1827
- embargoed44
- partially open35