 | 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]
Al Waisi, Zainab Ali (2023) Optimized Monitoring and Detection of Internet of Things resources-constraints Cyber Attacks. Advisor: De Nicola, Prof. Rocco. Coadvisor: Soderi, Dr. Simone . pp. 165. [IMT PhD Thesis]
Mercanti, Ivan (2022) Models and applications for the Bitcoin ecosystem. Advisor: De Nicola, Prof. Rocco. Coadvisor: Bistarelli, Prof. Stefano . pp. 215. [IMT PhD Thesis]
Seeber, Jens (2020) Logical completeness for string diagrams. Advisor: De Nicola, Prof. Rocco. Coadvisor: Bonchi, Dr. Filippo . pp. 154. [IMT PhD Thesis]
Maggi, Alessandro (2020) The DReAM framework: a logic-inspired approach to reconfigurable system modeling. Advisor: De Nicola, Prof. Rocco. Coadvisor: Sifakis, Prof. Joseph . pp. 172. [IMT PhD Thesis]
Medić, Doriana (2019) Relative expressiveness of calculi for reversible concurrency. Advisor: De Nicola, Prof. Rocco. Coadvisor: Mezzina, Dott. Claudio Antares . pp. 170. [IMT PhD Thesis]
Venianaki, Maria (2019) Cancer tissue classification from DCE-MRI data using pattern recognition techniques. Advisor: De Nicola, Prof. Rocco. Coadvisor: Salvetti, Prof. Ovidio . pp. 135. [IMT PhD Thesis]
Scoca, Vincenzo (2018) Improving service quality in cloud computing : from definition to deployment. Advisor: De Nicola, Prof. Rocco. Coadvisor: Uriarte, Dott. Rafael Brundo . pp. 110. [IMT PhD Thesis]
Buravlev, Vitaly (2018) Improving the efficiency of tuple spases. Advisor: De Nicola, Prof. Rocco. Coadvisor: Mezzina, Dott. Claudio Antares . pp. 142. [IMT PhD Thesis]
Hoang, Van Tieng (2018) Measuring Web Search Personalization. Advisor: De Nicola, Prof. Rocco. Coadvisor: Petrocchi, Dott. Marinella . pp. 117. [IMT PhD Thesis]
Andric, Marina (2017) Programming Abstractions for Data Sharing in Distributed Spaces. Advisor: De Nicola, Prof. Rocco. Coadvisor: Lluch Lafuente, Dr. Alberto . pp. 171. [IMT PhD Thesis]
Lanciani, Roberta (2017) Stochastic Approximations in Model Checking: A New Scalable Approach to Collective Systems Verification. Advisor: De Nicola, Prof. Rocco. Coadvisor: Bortolussi, Prof. Luca . pp. 123. [IMT PhD Thesis]
Abd Alrahman, Yehia Moustafa (2017) A Foundational Theory for Attribute-based Communication. Advisor: De Nicola, Prof. Rocco. Coadvisor: Loreti, Prof. Michele . pp. 188. [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]
Nenzi, Laura (2016) A logic-based approach to specify and design spatio-temporal behaviours of complex systems. Advisor: De Nicola, Prof. Rocco. Coadvisor: Bortolussi, Prof. Luca . pp. 199. [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]
Nagy, Ahmed Said (2013) Leveraging semantic techniques for social media analysis applied to disaster management. Advisor: De Nicola, Prof. Rocco. pp. 227. [IMT PhD Thesis]
Celestini, Alessandro (2013) On the analysis and evaluation of trust and reputation systems. Advisor: De Nicola, Prof. Rocco. Coadvisor: Boreale, Prof. Michele . pp. 154. [IMT PhD Thesis]
