Alessandro Aldini
Università degli Studi di Urbino Carlo Bo
H-index: 20
Europe-Italy
Top articles of Alessandro Aldini
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
A probabilistic modal logic for context-aware trust based on evidence | International Journal of Approximate Reasoning | Alessandro Aldini Gianluca Curzi Pierluigi Graziani Mirko Tagliaferri | 2024/6/1 |
A Hierarchical Characterization of Ignorance in Epistemic Logic | Argumenta | Alessandro Aldini Pierluigi Graziani Mirko Tagliaferri | 2023 |
Noninterference Analysis of Reversible Systems: An Approach Based on Branching Bisimilarity | arXiv preprint arXiv:2311.15670 | Andrea Esposito Alessandro Aldini Marco Bernardo Sabina Rossi | 2023/11/27 |
A Rule-Language Tailored for Financial Inclusion and KYC/AML Compliance | Alessandro Aldini Suzana MB Maranhão Moreno Jean-Marc Seigneur | 2023/8/21 | |
Branching Bisimulation Semantics Enables Noninterference Analysis of Reversible Systems | Andrea Esposito Alessandro Aldini Marco Bernardo | 2023/6/10 | |
Knowledge-of-own-factivity, the definition of surprise, and a solution to the Surprise Examination paradox | Alessandro Aldini Samuel Allen Alexander Pierluigi Graziani | 2022/9/26 | |
On the modeling and verification of the spread of fake news, algebraically | Journal of Logic and Computation | Alessandro Aldini | 2022/9 |
On the Modeling and Verification of Collective and Cooperative Systems | Frontiers in Robotics and AI | Alessandro Aldini | 2022/6/27 |
Algoritmi di Image Analysis applicati alle immagini diagnostiche | KERMES | Annamaria Amura Alessandro Aldini Luisa Landi Luigi Pisani Emanuele Salerno | 2022 |
Analysis of diagnostic images of artworks and feature extraction: design of a methodology | Journal of Imaging | Annamaria Amura Alessandro Aldini Stefano Pagnotta Emanuele Salerno Anna Tonazzini | 2021/3/12 |
Reasoning about ignorance and beliefs | Alessandro Aldini Pierluigi Graziani Mirko Tagliaferri | 2021 | |
Ask a (n) droid to tell you the odds: probabilistic security-by-contract for mobile devices | Soft Computing | Alessandro Aldini Antonio La Marra Fabio Martinelli Andrea Saracino | 2021/2 |
16th International Conference on Availability, Reliability and Security-Welcome Message from the BASS Workshop Organizers | Alessandro Aldini | 2021 | |
Welcome Message from the BASS Workshop Organizers | A Saracino A Aldini F Mercaldo | 2021 | |
Trust evidence logic | Alessandro Aldini Gianluca Curzi Pierluigi Graziani Mirko Tagliaferri | 2021 | |
A trust logic for the varieties of trust | Mirko Tagliaferri Alessandro Aldini | 2020 | |
The Italian Conference on Theoretical Computer Science. | Theor. Comput. Sci. | Alessandro Aldini Marco Bernardo | 2020/5/2 |
Logics to reason formally about trust computation and manipulation | Alessandro Aldini Mirko Tagliaferri | 2020 | |
Quantitative Aspects of Programming Languages and Systems over the past years and beyond | Theoretical Computer Science | Mieke Massink Gethin Norman Herbert Wiklicky | 2014 |
Proceedings 16th Workshop on Quantitative Aspects of Programming Languages and Systems | arXiv preprint arXiv:2001.06163 | Alessandro Aldini Herbert Wiklicky | 2020/1/17 |