Up a level |
Belluccini, Sara (2023) Exploiting Process Algebras and BPM Techniques for Guaranteeing Success of Distributed Activities. Advisor: De Nicola, Prof. Rocco. Coadvisor: Tiezzi, Prof. Francesco . pp. 159. [IMT PhD Thesis]
Morichetta, Andrea (2016) A formal approach to decision support on Mobile Cloud Computing applications. Advisor: De Nicola, Prof. Rocco. Coadvisor: Tiezzi, Prof. Francesco . pp. 145. [IMT PhD Thesis]
Uriarte, Rafael Brundo (2015) Supporting Autonomic Management of Clouds: Service-Level-Agreement, Cloud Monitoring and Similarity Learning. Advisor: De Nicola, Prof. Rocco. Coadvisor: Tiezzi, Prof. Francesco . pp. 208. [IMT PhD Thesis]
Paolini, Michela (2014) Information-theoretic models of confidentiality and privacy. Advisor: Boreale, Prof. Michele. Coadvisor: Tiezzi, Dott. Francesco . pp. 146. [IMT PhD Thesis]
Pampaloni, Francesca (2014) Quantitative models of information flow: tuning the power of the adversary. Advisor: Boreale, Prof. Michele. Coadvisor: Tiezzi, Dott. Francesco . pp. 144. [IMT PhD Thesis]