Quantitative Aspects of Programming Languages and Systems over the past 2^4 years and beyond

by Alessandro Aldini
Published 2020-01-01

A Formal Framework for Modeling Trust and Reputation in Collective Adaptive Systems

by Alessandro Aldini
Published 2016-07-01

Approximate Testing Equivalence Based on Time, Probability, and Observed Behavior

by Alessandro Aldini
Published 2010-06-01

Expected-Delay-Summing Weak Bisimilarity for Markov Automata

by Alessandro Aldini, Marco Bernardo
Published 2015-09-01

Analysis of Diagnostic Images of Artworks and Feature Extraction: Design of a Methodology

by Annamaria Amura, Alessandro Aldini, Stefano Pagnotta, Emanuele Salerno, Anna Tonazzini, Paolo Triolo
Published 2021-03-01