25

Zuppiroli, Sara (2014) Probabilistic Recursion Theory and Implicit Computational Complexity, [Dissertation thesis], Alma Mater Studiorum Università di Bologna. Dottorato di ricerca in Informatica, 25 Ciclo. DOI 10.6092/unibo/amsdottorato/6723.

26

Baldovin, Andrea (2014) Operating System Contribution to Composable Timing Behaviour in High-Integrity Real-Time Systems, [Dissertation thesis], Alma Mater Studiorum Università di Bologna. Dottorato di ricerca in Informatica, 26 Ciclo. DOI 10.6092/unibo/amsdottorato/6597.

Bujari, Armir (2014) Opportunistic Data Gathering and Dissemination in Urban Scenarios , [Dissertation thesis], Alma Mater Studiorum Università di Bologna. Dottorato di ricerca in Informatica, 26 Ciclo. DOI 10.6092/unibo/amsdottorato/6512.

Dardha, Ornela (2014) Type Systems for Distributed Programs: Components and Sessions, [Dissertation thesis], Alma Mater Studiorum Università di Bologna. Dottorato di ricerca in Informatica, 26 Ciclo. DOI 10.6092/unibo/amsdottorato/6441.

Lascu, Tudor Alexandru (2014) Automatic Deployment of Applications in the Cloud, [Dissertation thesis], Alma Mater Studiorum Università di Bologna. Dottorato di ricerca in Informatica, 26 Ciclo. DOI 10.6092/unibo/amsdottorato/6408.

Navarin, Nicolò (2014) Learning with Kernels on Graphs: DAG-based kernels, data streams and RNA function prediction., [Dissertation thesis], Alma Mater Studiorum Università di Bologna. Dottorato di ricerca in Informatica, 26 Ciclo. DOI 10.6092/unibo/amsdottorato/6578.

Nuzzolese, Andrea Giovanni (2014) Knowledge Patterns for the Web: extraction, tranformation and reuse, [Dissertation thesis], Alma Mater Studiorum Università di Bologna. Dottorato di ricerca in Informatica, 26 Ciclo. DOI 10.6092/unibo/amsdottorato/6562.

Pellitta, Giulio (2014) Extending Implicit Computational Complexity and Abstract Machines to Languages with Control, [Dissertation thesis], Alma Mater Studiorum Università di Bologna. Dottorato di ricerca in Informatica, 26 Ciclo. DOI 10.6092/unibo/amsdottorato/6558.