Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Arnaboldi, L.
38  Ergebnisse:
Buchkapitel (Online) X
Personensuche X
?
1

Enhancing Expressiveness in Stochastic Modelling of Cyber-P..:

, In: 2024 13th Mediterranean Conference on Embedded Computing (MECO),
Metere, Roberto ; Czekster, Ricardo M. ; Arnaboldi, Luca - p. 1-4 , 2024
Link: https://doi.org/10.1109/..
 
?
2

GrOUT: Transparent Scale-Out to Overcome UVM's Oversubscrip..:

, In: 2024 IEEE International Parallel and Distributed Processing Symposium Workshops (IPDPSW),
Dio Lavore, Ian Di ; Maffi, Davide ; Arnaboldi, Marco... - p. 696-705 , 2024
Link: https://doi.org/10.1109/..
 
?
3

Tactics for Account Access Graphs:

, In: Computer Security – ESORICS 2023; Lecture Notes in Computer Science,
Arnaboldi, Luca ; Aspinall, David ; Kolb, Christina. - p. 452-470 , 2024
Link: https://doi.org/10.1007/..
 
?
4

Compiling Higher-Order Specifications to SMT Solvers: How t..:

, In: Proceedings of the 12th ACM SIGPLAN International Conference on Certified Programs and Proofs,
Daggitt, Matthew L. ; Atkey, Robert ; Kokke, Wen.. - p. 102-120 , 2023
Link: https://dl.acm.org/doi/1..
 
?
5

Automating Cryptographic Protocol Language Generation from ..:

, In: 2022 IEEE/ACM 10th International Conference on Formal Methods in Software Engineering (FormaliSE),
Metere, Roberto ; Arnaboldi, Luca - p. 91-101 , 2022
Link: https://doi.org/10.1145/..
 
?
6

Automating cryptographic protocol language generation from ..:

, In: Proceedings of the IEEE/ACM 10th International Conference on Formal Methods in Software Engineering,
Metere, Roberto ; Arnaboldi, Luca - p. 91-101 , 2022
Link: https://dl.acm.org/doi/1..
 
?
7

Towards Interdependent Safety Security Assessments Using Bo..:

, In: Lecture Notes in Computer Science; Computer Safety, Reliability, and Security. SAFECOMP 2022 Workshops,
Arnaboldi, Luca ; Aspinall, David - p. 211-229 , 2022
Link: https://doi.org/10.1007/..
 
?
8

Big Data for Decision Making: Are Museums Ready?:

, In: Management, Participation and Entrepreneurship in the Cultural and Creative Sector,
Agostino, Deborah ; Arnaboldi, Michela ; Carloni, Eleonora - p. 61-78 , 2020
Link: https://doi.org/10.1007/..
 
?
9

The participative turn in Museum: The online facet:

, In: International Conference on Social Media and Society,
Diaz Lema, Melisa ; Arnaboldi, Michela - p. 265-276 , 2020
Link: https://dl.acm.org/doi/1..
 
?
10

Correction to: Risk and Regulation in Euro Area Banks:

, In: Palgrave Macmillan Studies in Banking and Financial Institutions; Risk and Regulation in Euro Area Banks,
Arnaboldi, Francesca - p. C1-C1 , 2020
Link: https://doi.org/10.1007/..
 
?
11

Poster : Towards a Data Centric Approach for the Design ..:

, In: Proceedings of the 2019 ACM SIGSAC Conference on Computer and Communications Security,
Arnaboldi, Luca ; Metere, Roberto - p. 2585-2587 , 2019
Link: https://dl.acm.org/doi/1..
 
?
12

Non-performing Loans in the Euro Area:

, In: Palgrave Macmillan Studies in Banking and Financial Institutions; Risk and Regulation in Euro Area Banks,
Arnaboldi, Francesca - p. 43-66 , 2019
Link: https://doi.org/10.1007/..
 
?
13

Level 3 Assets and Sovereign Exposure:

, In: Palgrave Macmillan Studies in Banking and Financial Institutions; Risk and Regulation in Euro Area Banks,
Arnaboldi, Francesca - p. 67-88 , 2019
Link: https://doi.org/10.1007/..
 
?
14

The Third Pillar of the Banking Union: The European Deposit..:

, In: Palgrave Macmillan Studies in Banking and Financial Institutions; Risk and Regulation in Euro Area Banks,
Arnaboldi, Francesca - p. 109-122 , 2019
Link: https://doi.org/10.1007/..
 
?
15

The Euro Area Banking System: Where Do We Stand?:

, In: Palgrave Macmillan Studies in Banking and Financial Institutions; Risk and Regulation in Euro Area Banks,
Arnaboldi, Francesca - p. 1-19 , 2019
Link: https://doi.org/10.1007/..
 
1-15