Sfoglia per Autore
Knowledge-of-Own-Factivity, the Definition of Surprise, and a Solution to the Surprise Examination Paradox
2023 Aldini, Alessandro; Alexander, Samuel Allen; Graziani, Pierluigi
A hierarchical characterization of ignorance in epistemic Logic
2023 Aldini, Alessandro; Graziani, Pierluigi; Tagliaferri, Mirko
A Rule-Language Tailored for Financial Inclusion and KYC/AML Compliance
2023 Aldini, Alessandro; Moreno, Suzana M. B. Maranhão; Seigneur, Jean-Marc
Branching Bisimulation Semantics Enables Noninterference Analysis of Reversible Systems
2023 Esposito, Andrea; Aldini, Alessandro; Bernardo, Marco
Algoritmi di Image Analysis applicati alle immagini diagnostiche
2022 Amura, Annamaria; Aldini, Alessandro; Landi, Luisa; Pisani, Luigi; Salerno, Emanuele; Veronica Soro, Maria; Tonazzini, Anna; Torre, Mauro; Triolo, Paolo A. M.; Zantedeschi, Giorgia
On the Modeling and Verification of Collective and Cooperative Systems
2022 Aldini, Alessandro
From belief to trust: A quantitative framework based on modal logic
2022 Tagliaferri, Mirko; Aldini, Alessandro
On the modeling and verification of the spread of fake news, algebraically
2022 Aldini, Alessandro
Ask a(n)droid to tell you the odds: probabilistic security-by-contract for mobile devices
2021 Aldini, Alessandro; La Marra, Antonio; Martinelli, Fabio; Saracino, Andrea
Trust Evidence Logic
2021 Aldini, Alessandro; Curzi, Gianluca; Graziani, Pierluigi; Tagliaferri, Mirko
16th International Conference on Availability, Reliability and Security - Welcome Message from the BASS Workshop Organizers
2021 Aldini, Alessandro
Analysis of Diagnostic Images of Artworks and Feature Extraction: Design of a Methodology
2021 Amura, Annamaria; Aldini, Alessandro; Pagnotta, Stefano; Salerno, Emanuele; Tonazzini, Anna; Triolo, Paolo
Reasoning About Ignorance and Beliefs
2021 Aldini, Alessandro; Graziani, Pierluigi; Tagliaferri, Mirko
Proceedings 16th Workshop on Quantitative Aspects of Programming Languages and Systems
2020 Aldini, Alessandro; Wiklicky, Herbert
Special Issue of the Italian Conference on Theoretical Computer Science 2018
2020 Aldini, Alessandro; Bernardo, Marco
Logics to Reason Formally About Trust Computation and Manipulation
2020 Aldini, Alessandro; Tagliaferri, Mirko
Modeling and Verification of the Worth-One-Minute Security Protocols
2020 Remedi, Giorgia; Aldini, Alessandro; Bogliolo, Alessandro; Delpriori, Saverio; Klopfenstein, CUNO LORENZ
A Trust Logic for the Varieties of Trust
2020 Tagliaferri, Mirko; Aldini, Alessandro
Quantitative Aspects of Programming Languages and Systems over the past 2^4 years and beyond
2020 Aldini, Alessandro
"Worth one minute": An anonymous rewarding platform for crowd-sensing systems
2019 Klopfenstein, CUNO LORENZ; Delpriori, Saverio; Aldini, Alessandro; Bogliolo, Alessandro
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Knowledge-of-Own-Factivity, the Definition of Surprise, and a Solution to the Surprise Examination Paradox | 1-gen-2023 | Aldini, Alessandro; Alexander, Samuel Allen; Graziani, Pierluigi | |
A hierarchical characterization of ignorance in epistemic Logic | 1-gen-2023 | Aldini, Alessandro; Graziani, Pierluigi; Tagliaferri, Mirko | |
A Rule-Language Tailored for Financial Inclusion and KYC/AML Compliance | 1-gen-2023 | Aldini, Alessandro; Moreno, Suzana M. B. Maranhão; Seigneur, Jean-Marc | |
Branching Bisimulation Semantics Enables Noninterference Analysis of Reversible Systems | 1-gen-2023 | Esposito, Andrea; Aldini, Alessandro; Bernardo, Marco | |
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 | |
On the Modeling and Verification of Collective and Cooperative Systems | 1-gen-2022 | Aldini, Alessandro | |
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 | |
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 | |
Trust Evidence Logic | 1-gen-2021 | Aldini, Alessandro; Curzi, Gianluca; Graziani, Pierluigi; Tagliaferri, Mirko | |
16th International Conference on Availability, Reliability and Security - Welcome Message from the BASS Workshop Organizers | 1-gen-2021 | 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 | |
Reasoning About Ignorance and Beliefs | 1-gen-2021 | Aldini, Alessandro; Graziani, Pierluigi; Tagliaferri, Mirko | |
Proceedings 16th Workshop on Quantitative Aspects of Programming Languages and Systems | 1-gen-2020 | Aldini, Alessandro; Wiklicky, Herbert | |
Special Issue of the Italian Conference on Theoretical Computer Science 2018 | 1-gen-2020 | Aldini, Alessandro; Bernardo, Marco | |
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 | |
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 |
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