ALDINI, ALESSANDRO

ALDINI, ALESSANDRO  

Dipartimento di Scienze Pure e Applicate (DiSPeA)  

Mostra records
Risultati 1 - 20 di 109 (tempo di esecuzione: 0.013 secondi).
Titolo Data di pubblicazione Autore(i) File
A Probabilistic Formulation of Imperfect Cryptography 1-gen-2003 Troina, A; Aldini, Alessandro; Gorrieri, R.
A Secure Protocol for Voice-Operated E-Commerce Systems over IP Networks 1-gen-2003 Aldini, Alessandro; Amoroso, A; Roccetti, M.
Alcune note sui Teoremi di Incompletezza di Gödel e la conoscenza delle macchine 1-gen-2016 Aldini, Alessandro; Fano, Vincenzo; Graziani, Pierluigi
An Algebraic Model for Evaluating the Performance of an ATM Switch with Explicit Rate Marking 1-gen-1999 Aldini, Alessandro; Bernardo, Marco; Gorrieri, Roberto
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
An Adaptive Mechanism for Real-time Secure Speech Transmission over the Internet 1-gen-2001 Aldini, Alessandro; Gorrieri, R; Roccetti, M.
An Asynchronous Calculus for Generative-Reactive Probabilistic Systems 1-gen-2000 Aldini, Alessandro; Bravetti, M.
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
Approximate Testing Equivalence Based on Time, Probability, and Observed Behavior 1-gen-2010 Aldini, Alessandro
Approximating Imperfect Cryptography in a Formal Model 1-gen-2004 Troina, A; Aldini, Alessandro; Gorrieri, R.
Approximating Markovian Testing Equivalence 1-gen-2012 Aldini, Alessandro
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
Assessing the Impact of Dynamic Power Management on the Functionality and the Performance of Battery-Powered Appliances 1-gen-2004 Acquaviva, Andrea; Aldini, Alessandro; Bernardo, Marco; Bogliolo, Alessandro; Bontà, Edoardo; Lattanzi, Emanuele
A Calculus for Trust and Reputation Systems 1-gen-2014 Aldini, Alessandro
Classification of Security Properties in a Linda-like Process Algebra 1-gen-2006 Aldini, Alessandro
A Collaborative Framework for Generating Probabilistic Contracts 1-gen-2013 F., Martinelli; A., Saracino; D., Sgandurra; Aldini, Alessandro
Combining Trust and Aggregate Computing 1-gen-2018 Casadei, Roberto; Aldini, Alessandro; Viroli, Mirko
Comparing the QoS of Internet Audio Mechanisms via Formal Methods 1-gen-2001 Aldini, Alessandro; Bernardo, Marco; Gorrieri, Roberto; Roccetti, Marco
Component-Oriented Specification of Performance Measures 1-gen-2006 Aldini, Alessandro; Bernardo, Marco
Component-Oriented Verification of Noninterference 1-gen-2011 Aldini, Alessandro; Bernardo, Marco