1. A formal framework for modeling trust and reputation in collective adaptive systems;Aldini,2016
2. Design and verification of trusted collective adaptive systems;Aldini;ACM Trans. Model. Comput. Simul.,2018
3. Trust evidence logic;Aldini,2021
4. Logics to reason formally about trust computation and manipulation;Aldini,2020
5. 08421 working group: uncertainty and trust;Aras,2008