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
Branching Bisimulation Semantics Enables Noninterference Analysis of Reversible Systems
2023 Esposito, Andrea; Aldini, Alessandro; Bernardo, Marco
A Rule-Language Tailored for Financial Inclusion and KYC/AML Compliance
2023 Aldini, Alessandro; Moreno, Suzana M. B. Maranhão; Seigneur, Jean-Marc
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
From belief to trust: A quantitative framework based on modal logic
2022 Tagliaferri, Mirko; Aldini, Alessandro
On the Modeling and Verification of Collective and Cooperative Systems
2022 Aldini, Alessandro
On the modeling and verification of the spread of fake news, algebraically
2022 Aldini, Alessandro
Trust Evidence Logic
2021 Aldini, Alessandro; Curzi, Gianluca; Graziani, Pierluigi; Tagliaferri, Mirko
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
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
A Trust Logic for the Varieties of Trust
2020 Tagliaferri, Mirko; Aldini, Alessandro
Modeling and Verification of the Worth-One-Minute Security Protocols
2020 Remedi, Giorgia; Aldini, Alessandro; Bogliolo, Alessandro; Delpriori, Saverio; Klopfenstein, CUNO LORENZ
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 | |
Branching Bisimulation Semantics Enables Noninterference Analysis of Reversible Systems | 1-gen-2023 | Esposito, Andrea; Aldini, Alessandro; Bernardo, Marco | |
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 | |
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 Collective and Cooperative Systems | 1-gen-2022 | Aldini, Alessandro | |
On the modeling and verification of the spread of fake news, algebraically | 1-gen-2022 | Aldini, Alessandro | |
Trust Evidence Logic | 1-gen-2021 | Aldini, Alessandro; Curzi, Gianluca; 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 | |
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 | |
A Trust Logic for the Varieties of Trust | 1-gen-2020 | Tagliaferri, Mirko; Aldini, Alessandro | |
Modeling and Verification of the Worth-One-Minute Security Protocols | 1-gen-2020 | Remedi, Giorgia; Aldini, Alessandro; Bogliolo, Alessandro; Delpriori, Saverio; Klopfenstein, CUNO LORENZ | |
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