Sfoglia per Autore  ALDINI, ALESSANDRO

opzioni
Mostrati risultati da 1 a 20 di 109
Titolo Data di pubblicazione Autore(i) File
Algoritmi di Image Analysis applicati alle immagini diagnostiche 1-gen-2022 Amura, Annamaria; Aldini, Alessandro; Landi, Luisa; Pisani, Luigi; Salerno, Emanuele; Veronica Soro, Maria; Tonazzini, Anna; Torre, Mauro; Triolo, Paolo A. M.; Zantedeschi, Giorgia
From belief to trust: A quantitative framework based on modal logic 1-gen-2022 Tagliaferri, Mirko; Aldini, Alessandro
On the modeling and verification of the spread of fake news, algebraically 1-gen-2022 Aldini, Alessandro
On the Modeling and Verification of Collective and Cooperative Systems 1-gen-2022 Aldini, Alessandro
Analysis of Diagnostic Images of Artworks and Feature Extraction: Design of a Methodology 1-gen-2021 Amura, Annamaria; Aldini, Alessandro; Pagnotta, Stefano; Salerno, Emanuele; Tonazzini, Anna; Triolo, Paolo
Trust Evidence Logic 1-gen-2021 Aldini, Alessandro; Curzi, Gianluca; Graziani, Pierluigi; Tagliaferri, Mirko
Reasoning About Ignorance and Beliefs 1-gen-2021 Aldini, Alessandro; Graziani, Pierluigi; Tagliaferri, Mirko
Ask a(n)droid to tell you the odds: probabilistic security-by-contract for mobile devices 1-gen-2021 Aldini, Alessandro; La Marra, Antonio; Martinelli, Fabio; Saracino, Andrea
Proceedings 16th Workshop on Quantitative Aspects of Programming Languages and Systems 1-gen-2020 Aldini, Alessandro; Wiklicky, Herbert
Logics to Reason Formally About Trust Computation and Manipulation 1-gen-2020 Aldini, Alessandro; Tagliaferri, Mirko
Modeling and Verification of the Worth-One-Minute Security Protocols 1-gen-2020 Remedi, Giorgia; Aldini, Alessandro; Bogliolo, Alessandro; Delpriori, Saverio; Klopfenstein, CUNO LORENZ
Special Issue of the Italian Conference on Theoretical Computer Science 2018 1-gen-2020 Aldini, Alessandro; Bernardo, Marco
A Trust Logic for the Varieties of Trust 1-gen-2020 Tagliaferri, Mirko; Aldini, Alessandro
Quantitative Aspects of Programming Languages and Systems over the past 2^4 years and beyond 1-gen-2020 Aldini, Alessandro
"Worth one minute": An anonymous rewarding platform for crowd-sensing systems 1-gen-2019 Klopfenstein, CUNO LORENZ; Delpriori, Saverio; Aldini, Alessandro; Bogliolo, Alessandro
PROCEDIMENTO DI SELEZIONE AUTOMATICA DI FOTOGRAFIE DIGITALI DA UN ARCHIVIO PER LA CREAZIONE AUTOMATICA DI UNA SEQUENZA DI FOTO CHE RAPPRESENTA UNA STORIA EMOZIONALE DA STAMPARE E/O CONSERVARE 1-gen-2018 Aldini, Alessandro; Mainetti, Andrea
Procedimento di valutazione automatica della qualità di foto digitali 1-gen-2018 Aldini, Alessandro; Mainetti, Andrea
A Taxonomy of Computational Models for Trust Computing in Decision-Making Procedures 1-gen-2018 Aldini, A; Tagliaferri, M
Italian Conference on Theoretical Computer Science (ICTCS 2018) 1-gen-2018 Aldini, Alessandro; Bernardo, Marco
From Knowledge to Trust: A Logical Framework for Pre-trust Computations 1-gen-2018 Tagliaferri, Mirko; Aldini, Alessandro
Mostrati risultati da 1 a 20 di 109
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