Logo eprints

Browse by Advisor

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | Date | No Grouping
Number of items: 16.

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]

This list was generated on Sun Nov 27 10:01:24 2022 CET.