Sfoglia per Autore
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
A hierarchical characterization of ignorance in epistemic Logic
2023 Aldini, Alessandro; Graziani, Pierluigi; Tagliaferri, Mirko
Knowledge-of-Own-Factivity, the Definition of Surprise, and a Solution to the Surprise Examination Paradox
2023 Aldini, Alessandro; Alexander, Samuel Allen; Graziani, Pierluigi
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 the spread of fake news, algebraically
2022 Aldini, Alessandro
On the Modeling and Verification of Collective and Cooperative Systems
2022 Aldini, Alessandro
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
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
Proceedings 16th Workshop on Quantitative Aspects of Programming Languages and Systems
2020 Aldini, Alessandro; Wiklicky, Herbert
Logics to Reason Formally About Trust Computation and Manipulation
2020 Aldini, Alessandro; Tagliaferri, Mirko
Special Issue of the Italian Conference on Theoretical Computer Science 2018
2020 Aldini, Alessandro; Bernardo, Marco
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
A Trust Logic for the Varieties of Trust
2020 Tagliaferri, Mirko; 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 |
---|---|---|---|
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 | |
A hierarchical characterization of ignorance in epistemic Logic | 1-gen-2023 | Aldini, Alessandro; Graziani, Pierluigi; Tagliaferri, Mirko | |
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 | |
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 | |
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 | |
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 | |
Special Issue of the Italian Conference on Theoretical Computer Science 2018 | 1-gen-2020 | Aldini, Alessandro; Bernardo, Marco | |
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 | |
A Trust Logic for the Varieties of Trust | 1-gen-2020 | Tagliaferri, Mirko; 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